TY - GEN
T1 - Towards Transformation from UML to Event-B
AU - Siyuan, Hu
AU - Hong, Zhang
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015/11/6
Y1 - 2015/11/6
N2 - UML is one of the most widely used modeling languages for software development. It provides unique metamodels to describe systems in the form of graphics, which makes the whole modeling process visual and easy to handle. However, UML is a semi-formal language. The lack of precise semantics may lead to difficulties in automatic model verification. To address this problem, a general idea is to transform UML models to formal models. Event-B is a formal language with precise semantics and rigorous verification. Current research work has showed the feasibility of transformation from UML to Event-B, and some transformation approaches of class diagrams and state machine diagrams have already been proposed. In this paper, a transformation approach from UML activity diagrams to Event-B models is presented, including the basic mapping relation and transformation of two types of activity flow.
AB - UML is one of the most widely used modeling languages for software development. It provides unique metamodels to describe systems in the form of graphics, which makes the whole modeling process visual and easy to handle. However, UML is a semi-formal language. The lack of precise semantics may lead to difficulties in automatic model verification. To address this problem, a general idea is to transform UML models to formal models. Event-B is a formal language with precise semantics and rigorous verification. Current research work has showed the feasibility of transformation from UML to Event-B, and some transformation approaches of class diagrams and state machine diagrams have already been proposed. In this paper, a transformation approach from UML activity diagrams to Event-B models is presented, including the basic mapping relation and transformation of two types of activity flow.
KW - Event-B
KW - Model transformation
KW - UML
UR - https://www.scopus.com/pages/publications/84963585239
U2 - 10.1109/QRS-C.2015.39
DO - 10.1109/QRS-C.2015.39
M3 - 会议稿件
AN - SCOPUS:84963585239
T3 - Proceedings - 2015 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2015
SP - 188
EP - 189
BT - Proceedings - 2015 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2015
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2015
Y2 - 3 August 2015 through 5 August 2015
ER -