Toward an integration of BPEL in Agapia

zbMATH Open1265.68022MaRDI QIDQ4902292FDOQ4902292

Authors: Gh. Ştefănescu, Monica Tătărâm 

Publication date: 14 January 2013

Recommendations

• Trustworthy Global Computing
• Towards a formal foundation to orchestration languages
• A probabilistic BPEL-like language
• Engineering a BPEL orchestration engine as a multi-agent system
• FM 2005: Formal Methods

zbMATH Keywords

programming languageinteractive computation(WS-)BPELAgapia

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Uses Software

• Agapia

This page was built for publication: Toward an integration of BPEL in Agapia

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