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.

TitelSOFSEM 2009: Theory and Practice of Computer Science
Band5404 LNCS
Herausgeber (Verlag)Springer Verlag
ISBN (Print)978-3-540-95890-1
ISBN (elektronisch)978-3-540-95891-8
PublikationsstatusVeröffentlicht - 23.07.2009
Veranstaltung35th Conference on Current Trends in Theory and Practice of Computer Science
- Spindleruv Mlyn, Tschechische Republik
Dauer: 24.01.200930.01.2009
Konferenznummer: 76539


Untersuchen Sie die Forschungsthemen von „Implementing Services by Partial State Machines“. Zusammen bilden sie einen einzigartigen Fingerprint.