• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book chapter

Analyzing Web Service Resource Compatibility

P. 239-250.
Lomazova I. A., Romanov I.

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

In book

Analyzing Web Service Resource Compatibility
Edited by: L. Popova-Zeugmann. Vol. 2. Iss. 225. Berlin: Humboldt University of Berlin, 2012.