A Direct Formal Semantics for BPMN Time-related Constructs.

Sara Houhou Souheib Baarir Pascal Poizat Philippe Quéinnec

Published in: ENASE (2021)

Keyphrases

formal semantics
logical language
operational semantics
business process
modeling language
er model
logical reasoning
modelling language
theorem prover
speech acts
first order logic
formal language
business processes
case study
ontology languages
information systems
databases