• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

PAIS Lab seminar: Analyzing Web Service Resource Compatibility // I. A. Lomazova

March 3rd, 2014 — 18:30
HSE Kirpichnaya building, aud. 902

Irina A. Lomazova

Director of the PAIS Lab


Analyzing Web Service Resource Compatibility


In this work we consider modeling of services with workflow modules, which form a Petri net subclass. The service compatibility problem is to answer the question, whether two services fit together, i.e. whether the composed system is correct. We study complementarity of resources, produced/consumed by two services—a necessary condition for the service compatibility. Resources, which are produced/consumed by a service, are represented as a multiset language. We define an algebra of multiset languages and present algorithms for checking conformance of resources for two given well-structured workflow modules.


Slides:  Lomazova 03-03-14.pdf


 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!