DocumentCode
3209008
Title
A Framework for Formalizing UML Models with Formal Language Rcos
Author
Yang, Jing
Author_Institution
Coll. of Comput. Sci. & Inf., Guizhou Univ., Guiyang, China
fYear
2009
fDate
17-19 Dec. 2009
Firstpage
408
Lastpage
416
Abstract
In this article, the formal object-oriented specification notation (Rcos) is used to formally combine some UML models. From the combination we can study the consistency conditions among a number of related UML models. The refinement calculus for Rcos will then allow us to transform these related models to preserve the consistency and functionality of the models.
Keywords
Unified Modeling Language; formal languages; formal specification; object-oriented methods; program verification; refinement calculus; UML models; formal language RCOS; formal object-oriented specification notation; model functionality; refinement calculus; Calculus; Computer science; Educational institutions; Formal languages; Object oriented modeling; Production; Refining; Software design; Specification languages; Unified modeling language; Object-orientation; Rcos; UML; model integration; model refinement;
fLanguage
English
Publisher
ieee
Conference_Titel
Frontier of Computer Science and Technology, 2009. FCST '09. Fourth International Conference on
Conference_Location
Shanghai
Print_ISBN
978-0-7695-3932-4
Electronic_ISBN
978-1-4244-5467-9
Type
conf
DOI
10.1109/FCST.2009.72
Filename
5392887
Link To Document