A Calculus for Orchestration of Web Services

DOI10.1007/978-3-540-71316-6_4MaRDI QIDQ5756484zbMATH OpenOpenAlexFDO

Authors A. Lapadula, Francesco Tiezzi, Rosario Pugliese

Publication date 4 September 2007

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71316-6_4

Mathematics Subject Classification ID

Internet topics (68M11) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• C WS: A Timed Service-Oriented Calculus
• A core calculus for correlation in orchestration languages
• Specifying and Analysing SOC Applications with COWS
• Towards a formal foundation to orchestration languages
• A pi-calculus based semantics for WS-BPEL

Cited in

(43)

• Assisting the design of a groupware system - Model checking usability aspects of thinkteam
• A barred operational semantics for a subset of WS-CDL with time restrictions
• COWS
• Replacement freeness: a criterion for separating process calculi
• A formal approach to the engineering of domain-specific distributed systems
• Engineering a BPEL orchestration engine as a multi-agent system
• Communicating by compatibility
• Session types for safe web service orchestration
• \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
• Towards a formal foundation to orchestration languages
• Event-Based Service Coordination
• What Do Semantics Matter When the Meat Is Overcooked?
• Regulating Data Exchange in Service Oriented Applications
• Relational Analysis of Correlation
• C WS: A Timed Service-Oriented Calculus
• On the expressive power of process interruption and compensation
• A formal model for service-oriented interactions
• On the analysis of compensation correctness
• Reasoning about orchestrations of web services using partial correctness
• A calculus of quality for robustness against unreliable communication
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• From EU projects to a family of model checkers. From Kandinsky to KandISTI
• The evolution of Jolie. From orchestrations to adaptable choreographies
• Enabling synchronous and asynchronous communications in CSP for SOC
• A WSDL-based type system for asynchronous WS-BPEL processes
• The Conversation Calculus: A Model of Service-Oriented Computation
• Property specifications for workflow modelling
• Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
• An Observational Model for Transactional Calculus of Services Orchestration
• CaSPiS: a calculus of sessions, pipelines and services
• Global escape in multiparty sessions
• Foundations of Software Science and Computation Structures
• An accessible verification environment for UML models of services
• \textsf{CaPiTo}: Protocol stacks for services
• Failure-divergence semantics and refinement of long running transactions
• The stream-based service-centred calculus: a foundation for service-oriented programming
• A core calculus for correlation in orchestration languages
• A pi-calculus based semantics for WS-BPEL
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• Towards a process calculus for REST: current state of the art
• Parametric synchronizations in mobile nominal calculi
• From StPowla processes to SRML models
• Event based choreography

Describes a project that uses

Uses Software

• BPEL2PN
• PIPER

This page was built for publication: A Calculus for Orchestration of Web Services

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