A perspective on service orchestration

DOI10.1016/J.SCICO.2008.09.019MaRDI QIDQ2389337zbMATHOpenAlexFDO

Authors Marco A. Barbosa, L. S. Barbosa

Publication date 15 July 2009

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1822/20270

zbMATH Keywords

servicesReoexogenous coordinationsoftware connectors

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Services as a Paradigm of Computation
• Service oriented computing from a process algebraic perspective
• Verification of context-dependent channel-based service models
• Event based choreography
• From StPowla processes to SRML models

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4047683 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1330438 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 1942459 (Why is no real title available?)
• scientific article; zbMATH DE number 2087388 (Why is no real title available?)
• scientific article; zbMATH DE number 1863173 (Why is no real title available?)
• A calculus for modeling software components.
• A coinductive calculus of component connectors.
• An exercise on transition systems
• Bisimulation through probabilistic testing
• Connector colouring. I: Synchronisation and context dependency
• Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
• Formal Methods for Components and Objects
• Formalizing web service choreographies
• Modeling component connectors in Reo by constraint automata
• Process Calculi à la Bird-Meertens
• Reo: a channel-based coordination model for component composition
• State-based components made generic
• The \(\pi\)-calculus: A theory of mobile processes
• Theoretical Aspects of Computing - ICTAC 2004
• Universal coalgebra: A theory of systems
• Web services. Concepts, architectures and applications

Cited in

(13)

• Models for trustworthy service and process oriented systems
• An architecture and supporting environment of service-oriented computing based-on context awareness
• A model of context-dependent component connectors
• Event based choreography
• A collaborative approach to construction of complex service oriented systems
• Service oriented computing from a process algebraic perspective
• Services as a Paradigm of Computation
• Concurrent objects à la carte
• Objects, Agents, and Features
• Verification of context-dependent channel-based service models
• DSOL: a declarative approach to self-adaptive service orchestrations
• From StPowla processes to SRML models
• Dynamic error handling in service oriented applications

Describes a project that uses

Uses Software

• PICCOLA

This page was built for publication: A perspective on service orchestration

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