Artifact-Centric Business Process Models in UML.
Montserrat EstañolAnna QueraltMaria-Ribera SanchoErnest TenientePublished in: Business Process Management Workshops (2012)
Keyphrases
- business process models
- uml activity diagrams
- artifact centric
- workflow management systems
- business processes
- business process
- service oriented architecture
- model checking
- control flow
- process model
- business process modeling
- business rules
- model checker
- modeling language
- formal methods
- business process management
- case study
- web services
- information systems
- formal specification
- formal verification
- software systems
- software development
- specification language
- metamodel
- object oriented