Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways.

David Raymond Christiansen Marco Carbone Thomas T. Hildebrandt

Published in: WS-FM (2010)

Keyphrases

formal semantics
modeling language
logical reasoning
logical language
business processes
theorem prover
databases
modelling language
formal language
operational semantics
business process
first order logic
database
er model
ontology languages
data sources
owl dl ontology