License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.06291.6
URN: urn:nbn:de:0030-drops-8247
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/824/
Go to the corresponding Portal

Massuthe, Peter ; Wolf, Karsten

An Algorithm for Matching Nondeterministic Services with Operating Guidelines

pdf-format:
06291.MassuthePeter.Paper.824.pdf (0.7 MB)

Abstract

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.

BibTeX - Entry

@InProceedings{massuthe_et_al:DagSemProc.06291.6,
  author =	{Massuthe, Peter and Wolf, Karsten},
  title =	{{An Algorithm for Matching Nondeterministic Services with Operating Guidelines}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--19},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6291},
  editor =	{Frank Leymann and Wolfgang Reisig and Satish R. Thatte and Wil van der Aalst},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2006/824},
  URN =		{urn:nbn:de:0030-drops-8247},
  doi =		{10.4230/DagSemProc.06291.6},
  annote =	{Keywords: Services, SOA, Formal Methods, (Nondeterministic) Automata, Operating guidelines, Matching}
}

Keywords: Services, SOA, Formal Methods, (Nondeterministic) Automata, Operating guidelines, Matching
Collection: 06291 - The Role of Business Processes in Service Oriented Architectures
Issue Date: 2006
Date of publication: 24.11.2006

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI