From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification.
Frank HilkenPhilipp NiemannMartin GogollaRobert WillePublished in: ICMT (2015)
Keyphrases
- metamodel
- uml class diagrams
- conceptual models
- statistical models
- class diagrams
- development process
- model driven
- uml models
- computational models
- software engineering
- modeling language
- high level
- software systems
- conceptual modeling
- generic model
- sequence diagrams
- uml diagrams
- model selection
- model validation
- probabilistic model