C WS: A Timed Service-Oriented Calculus

DOI10.1007/978-3-540-75292-9_19MaRDI QIDQ3525091zbMATH OpenOpenAlexFDO

Authors A. Lapadula, Francesco Tiezzi, Rosario Pugliese

Publication date 17 September 2008

Published in Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Calculus for Orchestration of Web Services
• Specifying and Analysing SOC Applications with COWS
• The semantics and verification of timed service choreography
• Towards a formal foundation to orchestration languages
• A core calculus for correlation in orchestration languages

Cited in

(9)

• A WSDL-based type system for asynchronous WS-BPEL processes
• Regulating Data Exchange in Service Oriented Applications
• Specifying and Analysing SOC Applications with COWS
• COWS
• A Calculus for Orchestration of Web Services
• Timed runtime monitoring for multiparty conversations
• Virtually timed ambients: a calculus of nested virtualization
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• A formal approach to the engineering of domain-specific distributed systems

This page was built for publication: C WS: A Timed Service-Oriented Calculus

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