Model-checking web services orchestrations using BP-calculus

MaRDI QIDQ2988998zbMATH OpenFDO

Authors Faisal Abouzaid, John Mullins

Publication date 19 May 2017

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066109004423?np=y

zbMATH Keywords

\(\pi\)-calculusprocess algebrasweb servicesBPELorchestration languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Internet topics (68M11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A formal model for BPEL4WS description of Web service composition
• Modeling and model checking web services
• Towards a formal foundation to orchestration languages
• A pi-calculus based semantics for WS-BPEL
• Formal semantics and analysis of control flow in WS-BPEL

Cited in

(16)

• Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
• A formal model for BPEL4WS description of Web service composition
• A WSDL-based type system for asynchronous WS-BPEL processes
• Model transformation and formal verification for semantic web services composition
• A pi-calculus based semantics for WS-BPEL
• Reasoning about orchestrations of web services using partial correctness
• Towards a formal foundation to orchestration languages
• Towards a process calculus for REST: current state of the art
• A formal framework for specifying and verifying microservices based process flows
• An Observational Model for Transactional Calculus of Services Orchestration
• Modeling and model checking web services
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• Engineering a BPEL orchestration engine as a multi-agent system
• UTP Semantics for Web Services
• Requirements-driven verification of web services
• Formal semantics and analysis of control flow in WS-BPEL

Describes a project that uses

Uses Software

• COWS

This page was built for publication: Model-checking web services orchestrations using BP-calculus

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