2026-07-21T14:16:30Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:824 2024-03-06T11:06:58Z ddc:004 open_access

An Algorithm for Matching Nondeterministic Services with Operating Guidelines Massuthe, Peter Wolf, Karsten Services SOA Formal Methods (Nondeterministic) Automata Operating guidelines Matching Interorganizational cooperation is more and more organized by the paradigm of services. Service-oriented architectures (SOA) provide a general framework for service interaction. SOA describe three roles of services, the service provider, the service requester, and the service broker, together with the three operations publish, find, and bind. We provide a formal method based on nondeterministic automata to model services and their interaction. In this paper, we restrict ourselves to finite and acyclic automata. We suggest operating guidelines as a convenient and intuitive artifact to realize the publish operation. In our approach, the find operation reduces to a matching problem between the requester's service and the published operating guidelines. If matching services are actually bound together, our approach guarantees deadlock-free communication. In this paper, matching of deterministic as well as nondeterministic automata with operating guidelines is presented. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Peter Massuthe and Karsten Wolf 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 6291, The Role of Business Processes in Service Oriented Architectures (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.06291.6 urn:nbn:de:0030-drops-8247 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06291.6 eng https://creativecommons.org/licenses/by/4.0/legalcode