Title :
Research of formal modelling based on UML´package and B
Author_Institution :
Dept. of Software Eng., Shenzhen Inst. of Inf. Technol., Shenzhen, China
Abstract :
This paper analyzes the difficulties of conversion between UML and B, and proposes a system of formal modelling to overcome the difficulties and get a simply proving obligation. Then, an instance is realized for describing the whole process.
Keywords :
Unified Modeling Language; formal verification; B method; UML; formal modelling; Ecosystems; Electronic mail; Information technology; Object oriented modeling; Packaging; Paper technology; Power system modeling; Prototypes; Software engineering; Unified modeling language; B; Modelling; Package; UML;
Conference_Titel :
E-Health Networking, Digital Ecosystems and Technologies (EDT), 2010 International Conference on
Conference_Location :
Shenzhen
Print_ISBN :
978-1-4244-5514-0
DOI :
10.1109/EDT.2010.5496561
