Artifact-Centric Business Process Models in UML: Specification and Reasoning.
Montserrat EstañolPublished in: BPM (Demos) (2017)
Keyphrases
- business process models
- uml activity diagrams
- artifact centric
- business process
- business processes
- control flow
- specification language
- uml class diagrams
- formal methods
- business rules
- uml diagrams
- state machine
- workflow management systems
- process model
- model checking
- sequence diagrams
- modeling language
- formal specification
- knowledge representation
- metamodel
- constraint language
- business process modeling
- production rules
- model checker
- class diagrams
- object oriented
- activity diagrams
- knowledge base
- temporal logic
- software systems
- software engineering