kierberg.com

Niels Lohmann, Peter Massuthe, and Karsten Wolf. Operating guidelines for finite-state services. In Jetty Kleijn and Alex Yakovlev, editors, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25–29, 2007, Proceedings, volume 4546 of Lecture Notes in Computer Science, pages 321–341. Springer-Verlag, June 2007. ISBN 978-3-540-73093-4, DOI 10.1007/978-3-540-73094-1_20.

an operating guideline

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

Download

• Paper (PDF-Dokument, 20 Seiten, 344 KB)

Links

• Paper bei Springer (SpringerLink)
• BibTeX-Eintrag bei DBLP
• Website der ICATPN 2007