Formal modeling and analysis of business process timed constraints

DOI10.1007/978-3-319-16577-6_7MaRDI QIDQ5348540zbMATH OpenOpenAlexFDO

Authors Imed Eddine Chama, Nabil Belala, Djamel Eddine Saidouni

Publication date 18 August 2017

Published in Formalisms for Reuse and Systems Integration (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-16577-6_7

zbMATH Keywords

formal semanticsBPELWeb servicesC-DATAtimed constraints

Mathematics Subject Classification ID

Internet topics (68M11) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Formalisations and applications of BPMN
• A relative timed semantics for BPMN
• Verification of time-aware business processes using constrained Horn clauses
• Semantics and controllability of time-aware business processes
• BPMN -- a logical model and property analysis

Cites work

• Model-checking in dense real-time
• Uppaal in a nutshell

Cited in

(6)

• Formalisations and applications of BPMN
• Semantics and controllability of time-aware business processes
• GSM+T: a timed artifact-centric process model
• A relative timed semantics for BPMN
• Time-bounded statistical analysis of resource-constrained business processes with distributed probabilistic systems
• Verification of time-aware business processes using constrained Horn clauses

Describes a project that uses

Uses Software

• BPEL2oWFN
• CADP
• Uppaal
• LOTOS

This page was built for publication: Formal modeling and analysis of business process timed constraints

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