A Framework for Formalizing UML Models with Formal Language Rcos
Jing Yang · 2009
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.