@inproceedings{cba69703b93d44b7bee1269d149d775b,
title = "A Method Based on Meta-model for the Translation from UML into Event-B",
abstract = "UML model has become the standard in the field of modeling. However, UML is a kind of semi-formal language that lacks precise semantic description. In addition, UML models cannot be verified formally. The problem above could be solved through the translation from UML model into a formal model that could then be verified formally. However, the traditional translation is on the layer of model which can't realize the automatic translation and the rules of translation are complex. To address this need, we propose a method based on meta-model for the translation from UML into Event-B. We created the rules of translation on the layer of meta-model and realized automated translation on the layer of model. To do this, the meta-models of UML and Event-B were created by meta-modeling. Next, the translation rules were constructed by ATL. Finally, a representative case study is presented to illustrate the feasibility and effectiveness of this method.",
keywords = "ATL, Event-B, UML, meta-model, model translation",
author = "Weixuan Sun and Hong Zhang and Chao Feng and Yangzhen Fu",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 2nd IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016 ; Conference date: 01-08-2016 Through 03-08-2016",
year = "2016",
month = sep,
day = "21",
doi = "10.1109/QRS-C.2016.41",
language = "英语",
series = "Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "271--277",
booktitle = "Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016",
address = "美国",
}