UML . ..pdfVIP

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software, Vol.17, No.6, June 2006, pp .1411−1422 http://www.j DOI: 10. 1360/jos171411 Tel/Fax : +86-10 © 2006 by Journal of Software. All rights reserved. ∗ 模型驱动架构中模型构造与集成策略 1+ 1 2 刘 静 , 何积丰 , 缪淮扣 1(华东师范大学 软件学院,上海 200062) 2(上海大学 计算机科学与工程学院,上海 200072) A Strategy for Model Construction and Integration in MDA 1+ 1 2 LIU Jing , HE Ji-Feng , MIAO Huai-Kou 1(Software Engineering Institute, East China Normal University, Shanghai 200062, China) 2(School of Computer Science and Technology, Shanghai University, Shanghai 200072, China) + Corresponding author: Phn: +86-21 E-mail: jifeng@, Liu J, He JF, Miao HK. A strategy for model construction and integration in MDA. Journal of Softwar e, 2006,17(6):1411−1422. /1000-9825/17/1411.htm Abstract: At the core of MDD (model driven development) are the concepts of model and its transformation and refinement. Unified modeling language (UML) is selected by object management group (OMG) as a standard modeling language and model driven architecture (MDA) is constructed on it. However, UML models are not precisely described, especially in semantics. Thus the models developed in different phases or constructed in different views are not easily to be integrated together in MDA. In this paper, based on Hoare and He’s unifying theories of programming (UTP), a method is proposed to combine the refinement calculus of object systems (rCOS) with UML is proposed to increase the precision and transformation