Verifiable UML Artifact-Centric Business Process Models.
Diego CalvaneseMarco MontaliMontserrat EstañolErnest TenientePublished in: CIKM (2014)
Keyphrases
- business process models
- uml activity diagrams
- artifact centric
- business processes
- workflow management systems
- business process
- service oriented architecture
- model checking
- control flow
- process model
- formal methods
- model checker
- business process modeling
- business process management
- formal specification
- modeling language
- metamodel
- formal verification
- web services
- databases
- business rules
- database
- uml diagrams
- uml class diagrams
- unified modeling language
- class diagrams
- uml models
- information systems