КОЛЛЕКЦИЯ CASE-TOOLS ДЛЯ СБОРКИ ВАРИАБЕЛЬНЫХ СИСТЕМ ИЗ ГОТОВЫХ ПРОГРАММНЫХ РЕСУРСОВ

В работе рассмотрены коллекции CASE-инструментов и средств, включающих системные AppFab и прикладные (Application Fabric) фабрики, специальные фабрики программ (Дж.Гринфильда, Г.Ленца, М.Фаулера, С.Авдошина и др.), продуктовые (Product Line /Product Family) и технологические линии. Все они обеспечивают построение ПС и ИС из многоразовых компонентов и reuses. Представлен отечественный вариант метода сборки, модели вариабельности, обеспечивающие взаимодействие и изменяемость систем и их семейств.\ud Рассмотрены формальные аспекты создания КПИ, описания их паспортов в языке WSDL и интерфейсов в языке IDL. Они конфигурируются в изменяемую структуру систем для выполнения на современных системных платформах. Представлена коллекция технологий ИТК для поддержки процессов разработки КПИ, систем и их семейств, взаимодействиющих между собой и способных вносить изменения в готовую систему

ИСПОЛЬЗОВАНИЕ ДЕСКРИПТИВНОЙ ЛОГИКИ ДЛЯ РЕШЕНИЯ ЗАДАЧ ВЕБ-СЕРВИСОВ

В докладе рассмотрены следующие вопросы:\ud Формализованное описание Web-сервиса\ud Поиск и обнаружение (discovery) Web- сервиса \ud Выбор (Selection) Web- сервисов. \ud Построение композитного выполнимого сервиса\ud Верификация результирующего композитного сервиса. \u

РОЗРОБКА ТЕОРЕТИЧНИХ ОСНОВ ТА ПРИКЛАДНИХ ПИТАНЬ ПОБУДОВИ СЕРВІС-ОРІЄНТОВАНИХ ПРИКЛАДНИХ ПРОГРАМНИХ СИСТЕМ У СЕМАНТИЧНОМУ ВЕБ-СЕРЕДОВИЩІ

ПРОБЛЕМАТИКА: моделювання та специфікація веб-сервісів (WS) для WS-BPEL на функціональному та процесному рівнях;\ud анотація WS на функціональному та процесному рівні (апарат DL). Онтологія прикладної області - на базі DL;\ud верифікація WS та SWS (Model checking підхід);\ud виявлення, селекція WS (на функціональному та процесному рівнях);\ud композиція сервісів (підхід на основі АІ-планування);\ud моніторинг і аналіз виконання WS;\ud специфікація вимог до композиції (для control i data flow) мови CTL, EAGLE;\ud еволюція WS;\ud інтеграція виявлення, селекції, композиції та моніторингу і аналізу WS.\u

АВТОМАТИЗОВАНЕ КОМПОЗУВАННЯ WEB-СЕРВІСІВ ЗА ДОПОМОГОЮ ПЛАНУВАННЯ АСИХРОННИХ ДОМЕНІВ

У доповіді розглянуто проблему автоматизованого композування сервісів на функціональному й процесному рівнях (для досяжних вимог і скінченої множини станів) формально поставлено й вирішено як ПРОБЛЕМУ ПЛАНУВАННЯ недетермінованого, частково спостережного, асихронного домену. А також обговорюється новітній підхід до планування таких доменів та доведено його коректність і повноту\u

ЗНАНИЕ-ОРИЕНТИРОВАННЫЕ СРЕДСТВА ПОДДЕРЖКИ СЕМАНТИЧЕСКОГО ПОИСКА В WEB

В данной работе рассмотрены основные аспекты, связанные с семантическим поиском информации в открытой среде Web; проанализированы особенности как информационных ресурсов, доступ к которым обеспечивает Web, так и средства представления и пополнения знаний, используемые при поиске. Обосновывается важность обработки и обнаружения знаний для создания современных прикладных программных продуктов. Рассматриваются архитектура и возможности интеллектуальной поисково-рекомендующей системы МАИПС, которая базируется на применении онтологий и тезаурусов для персонификации поиска

КАУЗАЛЬНІ МЕРЕЖІ: АНАЛІЗ, СИНТЕЗ ТА ВИВЕДЕННЯ З СТАТИСТИЧНИХ ДАНИХ

The dissertation is devoted to the theory of causal nets and graphical models of probabilistic dependencies, as well as to the methods of model inference from data. We have considered an acyclic digraph structure (ADG) dependency models, and we take a constraint-based approach to model reconstruction. In aim to overcome the problems of graphical model induction we propose new methodological means and methods of model’s analysis, synthesis and inference from data. The key idea to improve inductive inference of model’s structure comes from systematic exploitation of Markov properties and topological restrictions of causal nets and of their subclasses. Introducing and intensive utilization of the concept of locally-minimal d-separator has allowed us developing several rules of minimal separation and their empirical counterparts – separational rules of inductive inference acceleration (SIIA-rules). These rules are deduced from the criterion of d-separation and acyclic property of digraph. The rules perform such functions as: recognition of edge presence (absence), recognition of some variables as non members (obligate members) of supposed separator. Utilization of SIIA-rules in inference algorithms can radically reduce a searching space during model’s skeleton identification. \ud \ud ***\ud Дисертація присвячена дослідженню теорії каузальних мереж та інших моделей систем ймовірнісних залежностей, а також розробці методології виведення таких моделей з статистичних даних (зокрема, за відсутності апріорних знань). Для подолання проблем відомих методів відтворення каузальних мереж та структур залежностей (спричинених складним перебором) запропоновано нові методологічні засоби аналізу, синтезу та виведення з даних. Ідея розроблених у дисертації засобів та методів полягає у систематичному використанні поняття локально-мінімального сепаратора та імплікацій марковських властивостей цих моделей, а також у систематичному врахуванні «топологічних» обмежень відповідних підкласів моделей залежностей. Це дозволяє суттєво звузити (обмежити) простір пошуку адекватної моделі або навіть звести виведення моделі до верифікації відносно невеликого набору певних статистичних паттернів та свідчень

Адаптивность BPEL при выполнении Workflow

Workflow приложение – система которая полностью определяет и выполняет workflow посредством запуска программных компонент в порядке, который задан логикой workflo

ON PERSPECTIVES OF CAUSAL NETWORKS RECONSTRUCTION BY INDEPENDENCE-BASED METHODS

We concern in independence-based approach to recovery a causal nets and dependency structures from data. It is demonstrated how an efficiency of independence-based methods can be enhanced by means of reducing a search space during model inference. Such search-space reducing is attainable by using separation rules of inductive inference acceleration, which reflect (convey) the necessary requirements on bodies of separators required. The necessary requirements on separator’s body follow from graphical properties of locally-minimal d-separators in digraph. We examine to what extent the efficiency of the acceleration rules may be depreciated in cases when temporal order of variables is known. Experimental results on efficiency of new version of our algorithm (Razor-1.2) are presented.\ud \ud Keywords: Inference of causal networks from data, independence-based algorithms,locally-minimal d-separator, conditional independence.\ud \u

МОДЕЛИРОВАНИЕ БИЗНЕС ПРОЦЕССОВ И WORKFLOW

Понятие workflow и соответствующие технологии зародилось в славные 90. В то время как у нас в стране воевали бандиты на западе воевали ERPишники. Предриятия оснащались системами автоматизации своей деятельности различной архитектуры и от различных производителей. Очень быстро возникла необходимость автоматизации не только внутренней деятельности предприятий но и взаимодействия друг с другом (B2B) . Но разные системы от разных производителей опирались на разные концепции в основном схожие друг с другом но различающиеся в деталях терминологии и реализации и как следствие плохо стыковалось друг с другом. Чтобы упорядочить этот процесс и как то договориться была создана коалиция по управлению workflow которая призвана выработать общий взгляд на эту проблему , терминологию и стандарты. Основным результатом работы этой организации явилось создание workflow reference model(1995) основные положения которой предлагается рассмотреть.\u