VIATRA - Visual automated transformations for formal verification and validation of UML models

Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2002, Pages 267-270

  Csertan G ^a   Huszerl, G ^a   Majzik, I ^a   Pap, Z ^a   Pataricza, A ^a   Varro D ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; AUTOMATION; BENCHMARKING; MODELING LANGUAGES; SOFTWARE ENGINEERING; UNIFIED MODELING LANGUAGE; VISUAL LANGUAGES;

AUTOMATED MODEL TRANSFORMATIONS; AUTOMATED TRANSFORMATIONS; BENCHMARK APPLICATIONS; DESIGN GOAL; GRAPH TRANSFORMATION; METAMODELING; TRANSFORMATION BASED; VERIFICATION-AND-VALIDATION;

FORMAL VERIFICATION;

EID: 84982914631     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2002.1115027     Document Type: Conference Paper

References (11)

1. S. Bensalem, V. Ganesh, Y. Lakhnech, C. Munoz, S. Owre, H. Rueß, J. Rushby, V. Rusu, H. Saïdi, N. Shankar, E. Singerman, and A. Tiwari. An overview of SAL. In C. M. Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187-196, 2000.
2. A. Bondavalli, M. Dal Cin, D. Latella, I. Majzik, A. Pataricza, and G. Savoia. Dependability analysis in the early phases of UML based system design. International Journal of Computer Systems - Science & Engineering, 16(5):265-275, 2001.
3. G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
4. D. Latella, I. Majzik, and M. Massink. Automatic verification of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing, 11(6):637-664, 1999.
5. N. G. Leveson. SAFEWARE: System Safety and Computers. Addison Wesley, 1995.
6. Object Management Group. Meta Object Facility Version 1.3, September 1999.
7. Z. Pap, I. Majzik, and A. Pataricza. Checking general safety criteria on UML statecharts. In U. Voges, editor, Computer Safety, Reliability and Security (Proc. 20th Int. Conf., SAFECOMP-2001), volume 2187 of LNCS, pages 46-55. Springer, 2001.
8. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations, volume 1: Foundations. World Scientific, 1997.
9. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999.
10. D. Varró. Automatic program generation for and by model transformation systems. In H.-J. Kreowski, editor, Proc. AGT 2002: Workshop on Applied Graph Transformation, 2002.
11. D. Varró, G. Varró, and A. Pataricza. Designing the automatic transformation of visual languages. Science of Computer Programming, 44(2002):205-227, 2002.