Implementing Services by Partial State Machines

DOI10.1007/978-3-540-95891-8_24MaRDI QIDQ3599077zbMATH OpenOpenAlexFDO

Authors Walter Dosch, Annette Stümpel

Publication date 3 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-95891-8_24

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Deriving State-Based Implementations of Interactive Components with History Abstractions
• Combining programs and state machines
• A theory of system interaction: components, interfaces, and services
• Services as a Paradigm of Computation
• Reasoning about orchestrations of web services using partial correctness

Cites work

• scientific article; zbMATH DE number 107999 (Why is no real title available?)
• A survey of stream processing
• Deriving State-Based Implementations of Interactive Components with History Abstractions
• Extending the Service Domain of an Interactive Bounded Queue
• On hierarchies of abstract data types
• Specification and Development of Interactive Systems
• Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm
• Web services. Concepts, architectures and applications

Cited in

(1)

• Combining programs and state machines

This page was built for publication: Implementing Services by Partial State Machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3599077)