Business process verification using a Formal Compositional Approach and Timed Automata.
Luis E. Mendoza MoralesPublished in: CLEI (2013)
Keyphrases
- business process
- timed automata
- model checking
- formal specification
- formal methods
- business processes
- temporal logic
- reachability analysis
- model checker
- formal verification
- business process models
- business rules
- business process modeling
- process model
- process mining
- specification language
- ws bpel
- service oriented architecture
- web services
- virtual organization
- workflow management systems
- theorem prover
- workflow model
- design methodology
- theorem proving
- software development
- expert systems
- case study
- information systems