Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models.
Khanh-Hoang DoanMartin GogollaFrank HilkenPublished in: STAF Workshops (2016)
Keyphrases
- metamodel
- development process
- modeling language
- process model
- model driven
- conceptual models
- probabilistic model
- prior knowledge
- constraint language
- complex systems
- software development
- software engineering
- data model
- business process
- requirements engineering
- tool support
- sequence diagrams
- case study
- uml diagrams
- class diagram
- uml models