Modeling and Formally Checking Workflow Properties Using UML and OCL.
Jens BrüningMartin GogollaPeter ForbrigPublished in: BIR (2010)
Keyphrases
- modeling language
- sequence diagrams
- metamodel
- uml diagrams
- unified modeling language
- uml class diagrams
- uml profile
- petri net
- business process modeling
- constraint language
- software design
- class diagrams
- class diagram
- database design
- tool support
- control flow
- scientific workflows
- relational databases
- business process
- business processes
- software development
- software engineering
- object oriented