A Relative Timed Semantics for BPMN.
Peter Y. H. WongJeremy GibbonsPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- business process models
- business processes
- business process
- formal semantics
- petri net
- neural network
- semantic representation
- argumentation semantics
- logic programming
- model driven
- process model
- model theoretic
- operational semantics
- specification language
- business rules
- conceptual model
- database
- logic programs
- description logics
- case study
- genetic algorithm
- databases