We study services modeled as open workflow nets (oWFN) and describe their behavior as service automata. Based on arbitrary finite-state service automata, we introduce the concept of an operating guideline, generalizing the work of [1,2] which was restricted to acyclic services. An operating guideline gives complete information about how to properly interact (in this paper: deadlock-freely and with limited communication) with an oWFN N. It can be executed, thus forming a properly interacting partner of N, or it can be used to support service discovery. An operating guideline for N is a particular service automaton S that is enriched with Boolean annotations. S interacts properly with the service automaton Prov, representing the behavior of N, and is able to simulate every other service that interacts properly with Prov. The attached annotations give complete information about whether or not a simulated service interacts properly with Prov, too. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Lohmann, N., Massuthe, P., & Wolf, K. (2007). Operating guidelines for finite-state services. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4546 LNCS, pp. 321–341). Springer Verlag. https://doi.org/10.1007/978-3-540-73094-1_20
Mendeley helps you to discover research relevant for your work.