Formal modeling and analysis of business process timed constraints

DOI10.1007/978-3-319-16577-6_7zbMATH Open1368.68044OpenAlexW1018567092MaRDI QIDQ5348540FDOQ5348540

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

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

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)

Cites Work

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

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

Uses Software

• LOTOS
• Uppaal
• CADP
• BPEL2oWFN

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)