Analyzing Compatibility of Services via Resource Conformance

Issue title: Concurrency, Specification and Programming

Article type: Research Article

Authors: Lomazova, Irina A. | Romanov, Ivan V.

Affiliations: National Research University Higher School of Economics, Moscow, 101000, Russia. ilomazova@hse.ru; romanov.ekb@gmail.com

Abstract: 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.

DOI: 10.3233/FI-2013-937

Journal: Fundamenta Informaticae, vol. 128, no. 1-2, pp. 129-141, 2013