Title :
A Framework for Formalizing UML Models with Formal Language Rcos
Author_Institution :
Coll. of Comput. Sci. & Inf., Guizhou Univ., Guiyang, China
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;
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
DOI :
10.1109/FCST.2009.72
