Formal semantics and transformation of BPMN models.

Toufik Messaoud Maarouk Elkamel Merah Sara Ghaoui Nihed Rahabi

Published in: Int. J. Bus. Process. Integr. Manag. (2019)

Keyphrases

formal semantics
modelling language
probabilistic model
model driven
business processes
operational semantics
machine learning
information systems
relational databases
software engineering
business process
process model
ontology languages