Verification of xUML Specifications in the context of MDA

This paper deals with the application of verification techniques in the context of MDA. The main emphasis is on the UML profile xUML and on TLA based verification and specification methods.

[1]  Heiko Krumm,et al.  A framework for the hazard analysis of chemical plants , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[2]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[3]  Heiko Krumm,et al.  Constraint-oriented formal modelling of OO-systems , 1999, DAIS.

[4]  L'ubor Sesera,et al.  Analysis Patterns , 2000, SOFSEM.