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

multiagent systemsorchestration languagescoordination modelslanguages process algebra

Mathematics Subject Classification ID

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

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)

• Toward an integration of BPEL in Agapia
• Towards a formal foundation to orchestration languages
• 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)