PAIS Lab seminar: Analyzing Web Service Resource Compatibility // I. A. Lomazova
March 3rd, 2014 — 18:30HSE 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 и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.