Implementing Services by Partial State Machines

Autor:	Walter Dosch, A. Stümpel
Rok vydání:	2009
Předmět:	Service (business) Transformation (function) Finite-state machine Exploit Computer science Bounded function Distributed computing Component (UML) State (computer science) Formal methods
Zdroj:	Lecture Notes in Computer Science ISBN: 9783540958901 SOFSEM
DOI:	10.1007/978-3-540-95891-8_24
Popis:	In the service-oriented approach to software engineering, interactive components offer contracted services through public interfaces. Over time a component receives a stream of service requests and generates a stream of responses. In general, a component is only prepared to serve a subset of possible requests in each situation -- services are partial behaviours. On the specification level, we model services by stream functions defined on a restricted service domain. For the state-based implementation of services we introduce partial state machines. We present a transformation how to systematically implement a service by a partial state machine. The transformation exploits history abstractions to relate service histories with machine states. We illustrate the formal method with three characteristic applications, viz. an interactive stack, a bounded buffer and a server with registration.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ea966c2a91c078e351ade863272571cc https://doi.org/10.1007/978-3-540-95891-8_24 Zobrazit plný text záznamu