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.Thetransformation 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.

Original languageEnglish
Title of host publicationSOFSEM 2009: Theory and Practice of Computer Science
Number of pages14
Volume5404 LNCS
PublisherSpringer Verlag
Publication date23.07.2009
ISBN (Print)978-3-540-95890-1
ISBN (Electronic)978-3-540-95891-8
Publication statusPublished - 23.07.2009
Event35th Conference on Current Trends in Theory and Practice of Computer Science
- Spindleruv Mlyn, Czech Republic
Duration: 24.01.200930.01.2009
Conference number: 76539


Dive into the research topics of 'Implementing Services by Partial State Machines'. Together they form a unique fingerprint.

Cite this