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

BPELC-DATAformal semanticstimed constraintsWeb services

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)

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

Describes a project that uses

Uses Software

• BPEL2oWFN
• Uppaal
• LOTOS
• CADP

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)