Существующие методы объектного анализа и проектирования систем, использующие Unified Modeling Language (UML) в качестве средства графического представления спецификаций требований, спецификаций анализа и конструирования, способствуют сокращению времени разработки систем и повышению качества результатов. Примерами известных CASE-средств, поддерживающих такие методы, являются Rational Rose, Platinum Paradigm Plus.

Вместе с тем, подобные средства реализуют преимущественно традиционное проектирование систем сверху-вниз. Современные же технологии технически позволяют конструировать интероперабельные распределенные системы, в которых дистанционные, уже существующие неоднородные компоненты могут совместно работать для решения задач. К таким технологиям относится прежде всего CORBA, рассматриваемая совместно с WWW и Java, а также DCOM фирмы Microsoft. Проектирование подобных систем требует методов конструирования систем из компонентов (возможно, распределенных). Известные средства DCOM ActiveX и SunSoft JavaBeans являются графическими методами конструирования программ из готовых компонентов. Они ориентированы на неполные спецификации компонентов и предварительное, детальное знание программистом возможностей готовых компонентов.

В докладе предлагается новый подход к проектированию интероперабельных информационных систем на основе повторного использования существующих компонентов (метод СИНТЕЗ). Основными отличительными особенностями этого метода от других методов Объектного Анализа и Проектирования (ОАП) являются:

• наличие репозитория (возможно, распределенного) полных спецификаций существующих компонентов;
• поиск в репозитории компонентов, релевантных спецификации требований, на основе интеграции онтологических контекстов приложения и компонентов;
• выявление фрагментов компонентов, которые могли бы служить уточнением (refinement) соответствующих фрагментов спецификации требований;
• применение специальных методов композиции таких повторно используемых фрагментов в спецификацию, конкретизирующую спецификацию требований;
• доказательство правильности построенной конкретизации с использованием формальных методов;
• конструирование реализации информационной системы в среде CORBA как интероперабельной совокупности адаптеров (wrappers) над существующими компонентами в Internet (Intranet).

Прототип средств поддержки метода написан на языке Java (версия 1.2) как расширение существующих CASE средств. В конкретной реализации используется Platinum Paradigm Plus (версия 3.52). Для поддержки репозитория метаобъектов используется объектно-ориентированная база данных PSE ObjectStore. Для формального доказательства правильности спецификации требований компонентами используется B-Toolkit. В качестве брокера объектных заявок используется JavaIDL.

В докладе рассматриваются основные особенности метода СИНТЕЗ и его реализации в прототипе.