Engineering a BPEL orchestration engine as a multi-agent system

DOI10.1016/J.SCICO.2007.01.008zbMATH Open1121.68084OpenAlexW2053781420WikidataQ58194524 ScholiaQ58194524MaRDI QIDQ2373644FDOQ2373644

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

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

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)

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)