License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-8247
URL: https://drops.dagstuhl.de/opus/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:DSP:2006:824,
  author =	{Peter Massuthe and Karsten Wolf},
  title =	{An Algorithm for Matching Nondeterministic Services with Operating Guidelines},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  year =	{2006},
  editor =	{Frank Leymann and Wolfgang Reisig and Satish R. Thatte and Wil van der Aalst},
  number =	{06291},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/824},
  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