DocumentCode
519527
Title
Research of formal modelling based on UML´package and B
Author
Jianhui, Zhang
Author_Institution
Dept. of Software Eng., Shenzhen Inst. of Inf. Technol., Shenzhen, China
Volume
1
fYear
2010
fDate
17-18 April 2010
Firstpage
361
Lastpage
365
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;
fLanguage
English
Publisher
ieee
Conference_Titel
E-Health Networking, Digital Ecosystems and Technologies (EDT), 2010 International Conference on
Conference_Location
Shenzhen
Print_ISBN
978-1-4244-5514-0
Type
conf
DOI
10.1109/EDT.2010.5496561
Filename
5496561
Link To Document