KIT | KIT-Bibliothek | Impressum | Datenschutz

Counter-constrained finite state machines: modelling component protocols with resource-dependencies

Reussner, Ralf

Abstract:


This report deals with the specification of software component
protocols (i.e., the set of service call sequences). The
contribution of this report is twofold: (a) We discuss specific
requirements of real-world protocols, especially in the presence
of components wich make use of limited resources. (b) We define
counter-constrained finite state machines (CC-FSMs), a novel
extension of finite state machines, specifically created to
model protocols having dependencies between services due to
their access to shared resources. We provide a theoretical
framework for reasoning and analysing CC-FSMs. Opposed to finite
state machines and other approaches, CC-FSMs combine two
valuable properties: (a) CC-FSMs are powerful enough to model
realistic component protocols with resource allocation, usage,
and de-allocation dependencies between methods (as occurring in
common abstract datatypes such as stacks or queues) and (b)
CC-FSMs have a decidabile equivalence- and inclusion problem as
proved in this report by providing algorithms for efficient
checking equivalence and inclusion. These algorithms directly
lead to efficient checks for component interoperability and
... mehr


Volltext §
DOI: 10.5445/IR/4992002
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buch
Publikationsjahr 2002
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA49920029
KITopen-ID: 4992002
Erscheinungsvermerk Karlsruhe 2002. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 2002,6.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page