Specifying Artifact-Centric Business Process Models in UML.
Montserrat EstañolAnna QueraltMaria-Ribera SanchoErnest TenientePublished in: BMSD (2014)
Keyphrases
- business process models
- artifact centric
- uml activity diagrams
- workflow management systems
- business processes
- business process
- service oriented architecture
- model checking
- control flow
- process model
- business process modeling
- model checker
- business rules
- web services
- formal methods
- business process management
- software engineering
- unified modeling language
- formal specification
- modeling language
- mobile agents
- knowledge based systems
- data model
- case study
- information systems