Automating correctness verification of artifact-centric business process models.
Diana BorregoRafael M. GascaMaría Teresa Gómez LópezPublished in: Inf. Softw. Technol. (2015)
Keyphrases
- business process models
- artifact centric
- model checking
- model checker
- business processes
- business process
- workflow management systems
- temporal logic
- formal verification
- process model
- service oriented architecture
- control flow
- formal specification
- formal methods
- business rules
- information systems
- databases
- fine grained
- software engineering
- database
- case study
- artificial intelligence