Anzeige der Dokumente 1-2 von 2
Model validation and verification options in a contemporary UML and OCL analysis tool
Modern systems and their architectures are getting more complex than ever. Development strategies, like model-driven engineering (MDE), help to abstract architectures and provide a promising way to deal with the complexity. Thus, the importance for the underlying models to be correct arises. Today's validation and ...
Towards a catalog of structural and behavioral verification tasks for UML/OCL models
Verification tasks for UML and OCL models can be classified into structural and behavioral tasks. For both task categories a variety of partly automatic solving approaches exist. But up to now, different interpretations of central notions as, for example, `consistency' or `reachability' can be found in current approaches ...