Show simple item record

2006-04-12Buch DOI: 10.18452/2457
Matching Nondeterministic Services with Operating Guidelines
dc.contributor.authorMassuthe, Peter
dc.contributor.authorSchmidt, Karsten
dc.date.accessioned2017-06-15T17:09:08Z
dc.date.available2017-06-15T17:09:08Z
dc.date.created2006-04-12
dc.date.issued2006-04-12
dc.identifier.issn0863-095X
dc.identifier.urihttp://edoc.hu-berlin.de/18452/3109
dc.description.abstractInterorganizational cooperation is more and more organized by the paradigm of services. The service-oriented architecture (SOA) provides a general framework for service interaction. It describes three roles, service provider, service requester, and service broker, together with the operations publish, find, and bind. We provide a formal method based on nondeterministic automata to model services and their interaction. We suggest operating guidelines as a convenient and intuitive artifact to realize publish. In our approach, the find operation reduces to a matching problem between the requester’s service and operating guidelines. In this paper, matching of deterministic as well as nondeterministic automata with operating guidelines is presented.eng
dc.language.isoger
dc.publisherHumboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
dc.subjectServiceseng
dc.subjectSOAeng
dc.subjectOperating guidelineseng
dc.subjectMatchingeng
dc.subjectFormal Methodseng
dc.subject(Nondeterministic) Automataeng
dc.subject.ddc004 Informatik
dc.titleMatching Nondeterministic Services with Operating Guidelines
dc.typebook
dc.identifier.urnurn:nbn:de:kobv:11-10062517
dc.identifier.doihttp://dx.doi.org/10.18452/2457
dc.subject.dnb28 Informatik, Datenverarbeitung
local.edoc.container-titleInformatik-Berichte
local.edoc.pages12
local.edoc.type-nameBuch
local.edoc.container-typeseries
local.edoc.container-type-nameSchriftenreihe
local.edoc.container-volume2006
local.edoc.container-issue193
local.edoc.container-year2006
local.edoc.container-erstkatid2942054-4

Show simple item record