Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Ivan V. Romanov"'
Autor:
Ivan V. Romanov, Irina A. Lomazova
Publikováno v:
Fundamenta Informaticae. 128:129-141
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 stud
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b3f695c180a5a2086f572b6eb1ae053a
https://doi.org/10.3233/fi-2013-937
https://doi.org/10.3233/fi-2013-937
Autor:
Ivan V. Romanov, Irina A. Lomazova
Publikováno v:
Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering.
In this work we consider modeling of services with workflow modules, which are a subclass of Petri nets. Service compatibility problem is studied. Quasi-regular expressions are used for checking service compatibility via resource conformance.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a197a275caa9b249940c0023381c396
https://doi.org/10.15514/syrcose-2012-6-20
https://doi.org/10.15514/syrcose-2012-6-20