Verification and Validation of UML Artifact-Centric Business Process Models.
Montserrat EstañolMaria-Ribera SanchoErnest TenientePublished in: CAiSE (2015)
Keyphrases
- business process models
- artifact centric
- model checking
- uml activity diagrams
- model checker
- business processes
- formal methods
- workflow management systems
- business process
- temporal logic
- formal verification
- process model
- service oriented architecture
- formal specification
- control flow
- software development
- business process management
- modeling language
- real world
- software engineering
- object oriented
- business rules
- metamodel
- web services