В BPEL Designer встроены функциональные возможности проверки достоверности кода BPEL, позволяющие разработчикам создавать правильно согласованный, корректный и соответствующий стандартам код. Код проверяется на ошибки, и если проверка достоверности завершается неуспешно, выдается уведомление.
Критерии проверки достоверности
В средстве проверки правильности к BPEL применяются следующие критерии:
Соответствие схеме BPEL 2.0.
Дополнительные сведения об использовании схем BPEL, отличающихся от спецификации BPEL 2.0 приведены в разделе Устранение проблем.
Соответствие правилам статического анализа, определенным в спецификации WS-BPEL 2.0.
Наличие нарушенных ссылок.
Наличие конструкций, допустимых в спецификации BPEL 2.0, но еще не поддерживаемых механизмом служб BPEL компании Sun.
Типы проверки достоверности
Проектировщик BPEL Designer обеспечивает два типа проверки достоверности:
Проверка достоверности в реальном времени
Этот тип проверки достоверности вызывается автоматически и не требует явных действий пользователя. Проверяется только текущий файл. Проверка достоверности выполняется в соответствии со всеми упомянутыми выше критериями, кроме проверки соответствия схеме BPEL 2.0.
Явная проверка достоверности
Этот тип проверки достоверности требует явного вызова процесса проверки достоверности со стороны пользователя. Проверяются также все импортированные файлы XSD и WSDL. Проверка достоверности выполняется в соответствии со всеми упомянутыми выше критериями.
Для вызова явной проверки достоверности необходимо выполнить следующие действия:
В окне "Source" щелкните исходный код правой кнопкой мыши и выберите "Validate XML" в контекстном меню (Alt-Shift-F9).
В режиме проектирования нажмите кнопку "Validate XML" (Alt-Shift-F9) на панели инструментов редактора.
Уведомления
Пользователь уведомляется об ошибках или успешности проверки достоверности в окне "Output", режиме проектирования и в окне "Navigator".
Окно "Output"
Результаты проверки достоверности выводятся в окне "Output", если проверка достоверности была вызвана явным образом. В случае сбоя проверки достоверности в окне "Output" указываются ошибки и/или предупреждения:
Если проверка достоверности проходит успешно, предупреждения или ошибки в окне "Output" не указываются.
Режим проектирования
В режиме проектирования выводятся результаты проверки достоверности в реальном времени или явно вызванной проверки в окнах-выносках на диаграмме и в полосе ошибок.
Красный крест рядом с элементом на диаграмме означает, что элемент не прошел проверку достоверности, и в выходных данных указаны ошибки. Желтый треугольник с восклицательным знаком означает, что элемент не прошел проверку достоверности, и в выходных данных указаны предупреждения. При одновременном наличии ошибок и предупреждений в режиме проектирования также выводится красный крест. При щелчке креста или треугольника выводится окно-выноска со списком ошибок и/или предупреждений:
В окне-выноске выводятся сообщения, связанные с проверкой достоверности в соответствии со всеми упомянутыми выше критериями. Сообщения, связанные с проверкой достоверности в реальном времени, постоянно обновляются.
В режиме проектирования результаты проверки достоверности также выводятся в полосе ошибок, т.е. в полосе справа от полосы прокрутки, содержащей красные метки, соответствующие элементам, которые не прошли проверку достоверности. На полосе ошибок представлена вся диаграмма, а не только часть, отображаемая в настоящее время. Наличие ошибок в процессе BPEL заметно без необходимости прокрутки всей диаграммы. Дважды щелкните красный маркер для перехода к элементу, вызывающему проблемы. Если ошибки не обнаружены, квадрат в полосе ошибок имеет зеленый цвет.
Окно "Navigator"
В окне "Navigator" выводятся как результаты проверки достоверности в реальном времени, так и результаты явной проверки достоверности; если элемент не проходит проверку, к его значку добавляется красный крест или желтый треугольник. Например, на снимке экрана, приведенном ниже, действие получения AirlineReserved не прошло проверку достоверности, и в выходных данных указаны ошибки.
Быстрое исправление
Быстрое исправление позволяет частично автоматизировать исправление ошибок, обнаруженных при проверке достоверности.
Использование средства быстрого исправления:
Откройте окно "Source" для процесса.
Нажмите кнопку "Validate XML" на панели инструментов или щелкните правой кнопкой мыши исходный код и выберите "Validate XML" (Alt-Shift-F9). В окне "Output" выводится результат проверки достоверности. Если в выходных данных содержатся ошибки или предупреждения, их можно попытаться разрешить с помощью быстрого исправления.
Нажмите кнопку "Quick Fix" на панели инструментов. Результат быстрого исправления показан на вкладке "Quick Fix" окна "Output". В этом окне отражены все изменения, выполняемые средством быстрого исправления (если есть).
В настоящее время в средстве быстрого исправления реализована поддержка автоматического исправления ошибочного написания имен переменных.
