Modeling and validating Mondex scenarios described in UML and OCL with USE.

Mirco Kuhlmann Martin Gogolla

Published in: Formal Aspects Comput. (2008)

Keyphrases

modeling language
sequence diagrams
metamodel
uml class diagrams
uml diagrams
uml profile
tool support
business process modeling
unified modeling language
constraint language
model driven engineering
class diagram
real time
software systems
bayesian networks
real world
conceptual modeling
uml models