Zur Kurzanzeige

2007-01-01Buch DOI: 10.18452/2475
Behavioral Constraints for Services
dc.contributor.authorLohmann, Niels
dc.contributor.authorMassuthe, Peter
dc.contributor.authorWolf, Karsten
dc.date.accessioned2017-06-15T17:12:39Z
dc.date.available2017-06-15T17:12:39Z
dc.date.created2008-07-04
dc.date.issued2007-01-01
dc.identifier.issn0863-095X
dc.identifier.urihttp://edoc.hu-berlin.de/18452/3127
dc.description.abstractRecently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered correctness criterion is deadlock freedom of the composition of both services. In practice, there are intended and unintended deadlock-freely interacting partners of a service. In this paper, we provide a formal approach to express intended and unintended behavior as behavioral constraints. With such a constraint, unintended partners can be “filtered" yielding a customized operating guideline. Customized operating guidelines can be applied to validate a service and for service discovery.eng
dc.language.isoeng
dc.publisherHumboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004 Informatik
dc.titleBehavioral Constraints for Services
dc.typebook
dc.identifier.urnurn:nbn:de:kobv:11-10089977
dc.identifier.doihttp://dx.doi.org/10.18452/2475
local.edoc.pages16
local.edoc.type-nameBuch
local.edoc.container-typeseries
local.edoc.container-type-nameSchriftenreihe
local.edoc.container-year2007
dc.identifier.zdb2942054-4
bua.series.nameInformatik-Berichte
bua.series.issuenumber2007,214

Zur Kurzanzeige