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