Verifiable UML Artifact-Centric Business Process Models (Extended Version).
Diego CalvaneseMarco MontaliMontserrat EstañolErnest TenientePublished in: CoRR (2014)
Keyphrases
- business process models
- uml activity diagrams
- business process
- business processes
- artifact centric
- process model
- metamodel
- software systems
- model checking
- databases
- modeling language
- business process management
- expert systems
- software engineering
- formal methods
- sequence diagrams
- uml diagrams
- object oriented
- uml models
- knowledge base