Mathematical theory of domains
Mathematical theory of domains
Why interaction is more powerful than algorithms
Communications of the ACM
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Functional Rephrasing of the Assumption/Commitment Specification Style
Formal Methods in System Design
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Service-Oriented Architecture: Concepts, Technology, and Design
Service-Oriented Architecture: Concepts, Technology, and Design
ACM Transactions on Software Engineering and Methodology (TOSEM)
On Irregular Behaviours of Interactive Stacks
ITNG '07 Proceedings of the International Conference on Information Technology
Finite State Automata As Conceptual Model For E-Services
Journal of Integrated Design & Process Science
Conceptual modeling of web service conversations
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Deriving state-based implementations of interactive components with history abstractions
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Transforming stream processing functions into state transition machines
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
| Hi-index | 0.00 |
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.