Towards Transformation from UML to Event-B

Proceedings - 2015 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2015

Volumn , Issue , 2015, Pages 188-189

  Siyuan, Hu ^a   Hong, Zhang ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

Event B; Model transformation; UML

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL LANGUAGES; FORMAL METHODS; MODELING LANGUAGES; SEMANTICS; SOFTWARE DESIGN; SOFTWARE RELIABILITY; UNIFIED MODELING LANGUAGE;

AUTOMATIC MODELING; EVENT-B; MAPPING RELATION; MODEL TRANSFORMATION; MODELING PROCESS; SEMI-FORMAL LANGUAGES; STATE MACHINE DIAGRAMS; UML ACTIVITY DIAGRAMS;

C (PROGRAMMING LANGUAGE);

EID: 84963585239     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QRS-C.2015.39     Document Type: Conference Paper

References (5)

1. Booch G, Rumbaugh J, Jacobson I. The unified modeling language user guide[J]. The Addison-Wesley object technology series, 2005, 26(308):420-423.
2. Bernardi S, Merseguer J, Petriu D C. Dependability modeling and analysis of software systems specified with UML[J]. Acm Computing Surveys, 2012, 45(1):7-7.
3. Gulan S, Johr S, Kretschmer R, et al. Graphical modelling meets formal methods[C]. Industrial Informatics (INDIN), 2013 11th IEEE International Conference on. IEEE, 2013:716-721.
4. Kim S K, Carrington D. Formalizing the UML class diagram using Object-Z[J]. Lecture Notes in Computer Science, 1999, 1723:83-98.
5. Lano K, Clark D, Androutsopoulos K. Uml To B: Formal Verification Of Object-Oriented Models[J]. Lecture Notes in Computer Science, 2004:187-206.