A perspective on service orchestration
From MaRDI portal
Publication:2389337
DOI10.1016/J.SCICO.2008.09.019zbMATH Open1167.68361OpenAlexW2142963937MaRDI QIDQ2389337FDOQ2389337
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
Recommendations
Cites Work
- Reo: a channel-based coordination model for component composition
- Universal coalgebra: A theory of systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bisimulation through probabilistic testing
- Web services. Concepts, architectures and applications
- Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
- Title not available (Why is that?)
- The \(\pi\)-calculus: A theory of mobile processes
- Formalizing web service choreographies
- Formal Methods for Components and Objects
- Connector colouring. I: Synchronisation and context dependency
- Modeling component connectors in Reo by constraint automata
- Title not available (Why is that?)
- A coinductive calculus of component connectors.
- Title not available (Why is that?)
- An exercise on transition systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- State-based components made generic
- Title not available (Why is that?)
- A calculus for modeling software components.
- Process Calculi à la Bird-Meertens
- Theoretical Aspects of Computing - ICTAC 2004
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
Uses Software
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)