Integrating UML/OCL Derived Properties into Validation and Verification Processes.
Frank HilkenMarcel SchusterKarsten SohrMartin GogollaPublished in: OCL@MoDELS (2016)
Keyphrases
- metamodel
- modeling language
- uml class diagrams
- formal methods
- tool support
- object oriented
- sequence diagrams
- specification language
- model checking
- uml diagrams
- model based testing
- unified modeling language
- desirable properties
- test cases
- conceptual modeling
- description logics
- uml models
- class diagram
- databases
- constraint language
- state machine
- software systems
- database design
- computational models
- software architecture