A Guarded Workflow Language and Its Formal Semantics.
Chen-Wei WangJim DaviesJames WelchPublished in: TASE (2010)
Keyphrases
- formal semantics
- logical language
- formal language
- operational semantics
- modelling language
- modeling language
- speech acts
- first order logic
- er model
- theorem prover
- logical reasoning
- business process
- ontology languages
- open source
- probability distribution
- natural language
- machine learning
- query answering
- petri net
- business processes
- case study