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.