From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification.

Frank Hilken Philipp Niemann Martin Gogolla Robert Wille

Published 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