BPMN Formalization and Verification using Maude.
Nissreen A. S. El-SaberArtur BoronatPublished in: BM-FA (2014)
Keyphrases
- business processes
- business process
- formal specification
- model checking
- model driven
- formal analysis
- formal model
- process model
- operational semantics
- business process modeling
- face verification
- formal methods
- asynchronous circuits
- formal verification
- verification method
- concurrent systems
- business process models
- false acceptance rate
- neural network
- signature verification
- expert systems
- multi agent
- decision making
- artificial intelligence
- real time
- equational theories