Toward an integration of BPEL in Agapia

MaRDI QIDQ4902292zbMATH OpenFDO

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

Publication date 14 January 2013

zbMATH Keywords

programming languageinteractive computation(WS-)BPELAgapia

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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

Describes a project that uses

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)