Toward a Verification of Time-Centric Business Process Models.

Saoussen Cheikhrouhou Slim Kallel Mohamed Jmaiel

Published in: WETICE (2014)

Keyphrases

business process models
business processes
business process
process model
uml activity diagrams
model checking
formal verification
formal methods
databases
case study
natural language
knowledge representation
control flow
model checker