Semantics and controllability of time-aware business processes

DOI10.3233/FI-2019-1783MaRDI QIDQ5377319zbMATH OpenFDO

Authors Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti

Publication date 24 May 2019

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2019-1783

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of organizations, manpower planning in operations research (90B70)

Recommendations

• Verification of time-aware business processes using constrained Horn clauses
• Formal modeling and analysis of business process timed constraints
• Dynamic controllability via timed game automata
• Determining temporal agreements in cross-organizational business processes
• Handling contingency in temporal constraint networks: from consistency to controllabilities

Cited in

(6)

• Determining temporal agreements in cross-organizational business processes
• Verification of time-aware business processes using constrained Horn clauses
• Compliance in business processes with incomplete information and time constraints: a general framework based on abductive reasoning
• GSM+T: a timed artifact-centric process model
• Formal modeling and analysis of business process timed constraints
• Analysis and Transformation of Constrained Horn Clauses for Program Verification

This page was built for publication: Semantics and controllability of time-aware business processes

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