Engineering a BPEL orchestration engine as a multi-agent system

DOI10.1016/J.SCICO.2007.01.008MaRDI QIDQ2373644zbMATH OpenOpenAlexWikidataFDO

Authors Mirko Viroli, Enrico Denti, Alessandro Ricci

Publication date 16 July 2007

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2007.01.008

zbMATH Keywords

coordination modelslanguages process algebramultiagent systemsorchestration languages

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Towards a formal foundation to orchestration languages
• A pi-calculus based semantics for WS-BPEL
• Model-checking web services orchestrations using BP-calculus
• A core calculus for correlation in orchestration languages
• A Calculus for Orchestration of Web Services

Cited in

(3)

• Towards a formal foundation to orchestration languages
• Toward an integration of BPEL in Agapia
• simpA: an agent-oriented approach for programming concurrent applications on top of Java

This page was built for publication: Engineering a BPEL orchestration engine as a multi-agent system

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