Conformance checking in UML artifact-centric business process models.
Montserrat EstañolJorge Munoz-GamaJosep CarmonaErnest TenientePublished in: Softw. Syst. Model. (2019)
Keyphrases
- business process models
- uml activity diagrams
- artifact centric
- business processes
- business process
- workflow management systems
- service oriented architecture
- model checking
- process model
- control flow
- business process modeling
- formal methods
- model checker
- metamodel
- uml models
- web services
- temporal logic
- business process management
- unified modeling language
- uml diagrams
- modeling language
- service oriented computing
- database
- data flow
- software development
- object oriented
- case study
- databases