A core calculus for correlation in orchestration languages

DOI10.1016/J.JLAP.2006.05.006MaRDI QIDQ861302zbMATHOpenAlexDBLPWikidataFDO

Authors Mirko Viroli

Publication date 9 January 2007

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2006.05.006

zbMATH Keywords

process algebrasweb servicesorchestration languages

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• Towards a formal foundation to orchestration languages
• Automata, Languages and Programming
• A calculus of coroutines
• A Calculus for Orchestration of Web Services
• Oracle Semantics for Concurrent Separation Logic
• Fundamental Approaches to Software Engineering
• A Language for Task Orchestration and Its Semantic Properties
• Orchestration combinators in Apla+ language

Cites work

• scientific article; zbMATH DE number 2089395 (Why is no real title available?)
• scientific article; zbMATH DE number 2089402 (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?)
• A calculus for long-running transactions.
• A syntactic approach to type soundness
• Coordination Models and Languages
• Fundamental Approaches to Software Engineering
• Mobile ambients
• The origins of structural operational semantics
• Towards a formal foundation to orchestration languages

Cited in

(10)

• Towards a formal foundation to orchestration languages
• A Calculus for Orchestration of Web Services
• C WS: A Timed Service-Oriented Calculus
• Session types for safe web service orchestration
• Engineering a BPEL orchestration engine as a multi-agent system
• A pi-calculus based semantics for WS-BPEL
• Prototyping concurrent systems with agents and artifacts: framework and core calculus
• simpA: an agent-oriented approach for programming concurrent applications on top of Java
• Behaviour, Interaction and Dynamics
• An Observational Model for Transactional Calculus of Services Orchestration

Describes a project that uses

Uses Software

• Featherweight Java

This page was built for publication: A core calculus for correlation in orchestration languages

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