Services as a Paradigm of Computation

DOI10.1007/978-3-540-75221-9_25MaRDI QIDQ3526949zbMATH OpenOpenAlexFDO

Authors Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl

Publication date 25 September 2008

Published in Formal Methods and Hybrid Real-Time Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75221-9_25

zbMATH Keywords

models of computationopen workflow netsservicesSOA

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A perspective on service orchestration
• Service oriented computing from a process algebraic perspective
• Approaching simple and powerful service-computing¹
• A Logic-Programming Semantics of Services
• The Conversation Calculus: A Model of Service-Oriented Computation

Cited in

(20)

• Dependability certification of services: a model-based approach
• A perspective on service orchestration
• Guaranteeing weak termination in service discovery
• Service-oriented logic programming
• An architecture and supporting environment of service-oriented computing based-on context awareness
• Approaching simple and powerful service-computing¹
• High Assurance Services Computing
• Implementing Services by Partial State Machines
• scientific article; zbMATH DE number 1946774 (Why is no real title available?)
• scientific article; zbMATH DE number 2065565 (Why is no real title available?)
• scientific article; zbMATH DE number 2080796 (Why is no real title available?)
• scientific article; zbMATH DE number 2087596 (Why is no real title available?)
• scientific article; zbMATH DE number 1860615 (Why is no real title available?)
• scientific article; zbMATH DE number 1869814 (Why is no real title available?)
• Concurrent objects à la carte
• Logical foundations of services
• The Conversation Calculus: A Model of Service-Oriented Computation
• Computational Science – ICCS 2005
• Service-oriented systems engineering: modeling services and layered architectures
• Service oriented computing from a process algebraic perspective

This page was built for publication: Services as a Paradigm of Computation

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