Zur Kurzanzeige

2006-01-01Buch DOI: 10.18452/2474
Operating Guidelines for Finite-State Services
dc.contributor.authorLohmann, Niels
dc.contributor.authorMassuthe, Peter
dc.contributor.authorWolf, Karsten
dc.date.accessioned2017-06-15T17:12:27Z
dc.date.available2017-06-15T17:12:27Z
dc.date.created2008-07-04
dc.date.issued2006-01-01none
dc.identifier.urihttp://edoc.hu-berlin.de/18452/3126
dc.description.abstractWe introduce the concept of an operating guideline for an arbitrary finite-state service P, extending the work of [1, 2] which was restricted to acyclic services. An operating guideline gives complete information about how to correctly (in this paper: deadlock-free) communicate with P. It can further be executed or used for service discovery. An operating guideline for P is a particular service S that is enriched with annotations. S communicates deadlock-free with P and is able to simulate every other service that communicates deadlock-free with P. The attached annotations give complete information about whether or not a simulated service is deadlock-free, too.eng
dc.language.isoeng
dc.publisherHumboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
dc.relation.ispartofseriesInformatik-Berichte - 210, ISSN:0863-095X
dc.subject.ddc004 Informatik
dc.titleOperating Guidelines for Finite-State Services
dc.typebook
dc.identifier.urnurn:nbn:de:kobv:11-10089939
dc.identifier.doihttp://dx.doi.org/10.18452/2474
local.edoc.container-titleInformatik-Berichte
local.edoc.container-titleInformatik-Berichte
local.edoc.container-issn0863-095X
local.edoc.pages17
local.z-edoc.journal-periodikumAusgabe210,
local.edoc.type-nameBuch
local.edoc.container-typeseries
local.edoc.container-type-nameSchriftenreihe
local.edoc.container-volume2006
local.edoc.container-issue210
local.edoc.container-year2006
local.edoc.container-erstkatid2942054-4

Zur Kurzanzeige