微信服务号

微信订阅号

2025年3月24日 17:36 星期一
首页 > 过刊浏览>2006年第17卷第6期 >1411-1422
PDF HTML阅读 XML下载 导出引用 引用提醒
模型驱动架构中模型构造与集成策略
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant No.60373032 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant Nos.2002CB312001, 2005CB321904 (国家重点基础研究发展规划(973)); the Natural Science Foundation of Shanghai of China under Grant No.05ZR14052 (上海市自然科学基金)


A Strategy for Model Construction and Integration in MDA
Author:
  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [32]
    • |
  • 相似文献 [20]
    • |
  • 引证文献
    • | |
  • 文章评论
    摘要:

    模型驱动式开发是以模型构造、模型转换和精化为核心的.对象管理组织OMG选择将统一建模语言UML作为标准建模语言,并将其作为模型驱动架构MDA的支持平台.但UML模型缺乏严格的语义,不同视角和不同开发阶段的模型很难集成,所以目前MDA中各种模型之间是脱节的.基于统一程序设计理论UTP,将对象精化演算系统rCOS与UML结合起来,提高了UML模型的精确性与模型转换能力.建立模型驱动式开发中不同层次、不同视角的相关模型并将它们集成起来,建立了一个统一的模型系统.

    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 ability of the models. Models at different abstract levels and different views are constructed and integrated together to form a unified modeling system.

    参考文献
    [1]Mellor S J,Balcer MJ.Executable UML:A Foundation for Model-Driven Architecture.Addison-Wesley,2002.
    [2]Hemme-Unge K,Flor T,Vogler G.Model driven architecture development approach for pervasive computing.In:Proc.of the OOPSLA 2003.New York:ACM,2003.314-315.
    [3]Favre L.Foundations for MDA-based forward engineering.Journal of Object Technology,2005,4(1):129-153.
    [4]Frankel DS.Model Driven Architecture:Applying MDA to Enterprise Computing.John Wiley & Son,2003.
    [5]MDA.Specifications.2005.http://www.omg.org/mda/specs.htm#MDAGuide
    [6]Medvidovic N,Rosenblum DS,Redmiles DF,Robbins JE.Modeling software architectures in the unified modeling language.ACM Trans.on Software Engineering and Methodology,2002,11(1):3-57.
    [7]Object Management Group.Unified modeling language specification.ver2.0.2004.http://www.omg.org/technology/documents/
    [8]Garlan D,Kompanek A.Reconciling the needs of architectural description with object modeling notations.In:Evans A,Kent S,Selic B,eds.Proc.of the 3rd Int'l Conf.on the UML.LNCS 1939,Berlin:Springer-Verlag,2000.498-513.
    [9]Giese H,Vilbig A.Separation of non-orthogonal concerns in software architecture and design.In:Choren R,Garcia A,Lucena C,Romanovsky A,eds.Software and System Modeling (SoSyM).LNCS 3390,Berlin:Springer-Verlag,2005.272-289.
    [10]Paige RF.Integrating a program design calculus and a subset of UML.The Computer Journal,1999,42(2):82-99.
    [11]Amálio N,Stepney S,Polack F.Formal proof from UML models.In:Davies J,et al.eds.Proc.of the ICFEM 2004.LNCS 3308,Berlin:Springer-Verlag,2004.418-433.
    [12]Kim SK,Carrington D,Duke R.A metamodel-based transformation between UML and object-Z.In:Proc.of the IEEE Symp.on Human-Centric Computing Languages and Environments (HCC 2001).Stresa:IEEE Computer Society,2001.112-119.
    [13]Kim SK,Carrington D.Using integrated metamodeling to define OO design patterns with object-Z and UML.In:Proc.of the 11th Asia-Pacific Software Engineering Conf.(APSEC 2004).Los Alamitos:IEEE Computer Society,2004.257-264.
    [14]Liu Z,He J,Li X.rCOS:Refinement of component and object systems.In:de Boer FS,Bonsangue MM,Graf S,de Roever WP,eds.Proc.of the 3rd Int'l Symp.on Formal Methods for Components and Objects (FMCO 2004),Revised Lectures.LNCS 3657,Berlin:Springer-Verlag,2005.183-221.
    [15]He J,Liu Z,Li X,Qin S.A relational model for object-oriented designs.In:Chin WN,ed.Proc.of the 2nd Asian Symp.on Programming Languages and Systems (APLAS 2004).LNCS 3302,Berlin:Springer-Verlag,2004.415-426.
    [16]He J,Liu Z,Li X.Towards a refinement calculus for object-oriented systems.In:Wang Y,ed.Proc.of the ICCI 2002 as a Keynote talk.Alberta:IEEE Computer Society,2002.69-76.
    [17]Liu Z,He J,Liu J,Li X.Unifying views of UML.Electronic Notes in Theoretical Computer Science,2004,101C:95-127.
    [18]Liu Z,He J,Li X,Chen Y.A relational model for formal object-oriented requirement analysis in UML.In:Dong JS,Woodcock J,eds.Proc.of the ICFEM 2003.LNCS 2885,Berlin:Springer-Verlag,2003.641-661.
    [19]Liu J,Liu Z,He J,Li X.Linking UML models of design and requirement.In:Strooper P,ed.Proc.of the Australian Software Engineering Conf.Melboune:IEEE Computer Society Press,2004.329-338.
    [20]Li X,Liu Z,He J.Consistency checking of UML requirements.In:Shafer DF,ed.Proc.of the ICECCS 2005.Los Alamitos:IEEE Computer Society Press,2005.411-420.
    [21]Liu J,Miao H,Gao X.A specification-based software construction framework for reuse.In:George C,Miao H,eds.Proc of the ICFEM2002.LNCS 2495,Berlin:Springer-Verlag,2002.69-79.
    [22]Hoare C,He J.Unifying Theories of Programming.Prentice-Hall International,1998.
    [23]Liu Z,Li X,He J.Using transition system to unify UML models.In:George C,Miao H,eds.Proc.of the ICFEM 2002.LNCS 2495,Berlin:Springer-Verlag,2002.535-547.
    [24]Luckham DC,Vera J.An event-based architecture definition language.IEEE Trans.on Software Engneering,1995,21(9):717-734.
    [25]Medvidovic N,Taylor RN.A classification and comparison framework for software architecture description languages.IEEE Trans.on Software Engineering,2000,26(1):70-93.
    [26]Mei H,Chen F,Feng YD,Yang J.ABC:An architecture based,component oriented approach to software development.Journal ofSoftware,2003,14(4):721-732 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/14/721.htm
    [27]Taylor RN,Medvidovic N,Anderson KM,Dubrow DL.A component and message-based architectural style for GUI software.IEEE Trans.on Software Engineering,1996,22(6):390-406.
    [28]Zhao HQ,Wang GR.An abstract model of software architecture.Chinese Journal of Computers,2002,25(7):730-736 (in Chinese with English abstract).
    [29]Liu Z,He J,Li X.Contract oriented development of component software.IFIP WCC-TCS.Toulouse:Kluwer,2004.355-372.
    [26]梅宏,陈锋,冯耀东,杨杰.ABC:基于体系结构、面向构件的软件开发方法.软件学报,2003,14(4):721-732.http://wwwjos.org.cn/1000-9825/14/721.htm
    [28]赵会群,王国仁.软件体系结构抽象模型.计算机学报,2002,25(7):730-736. [1]构件合并是将相互匹配的接口连接起来,既要匹配两个接口之间语法,又要匹配语义,参见文献
    [29].
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

刘静,何积丰,缪淮扣.模型驱动架构中模型构造与集成策略.软件学报,2006,17(6):1411-1422

复制
分享
文章指标
  • 点击次数:8632
  • 下载次数: 8667
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2006-01-18
  • 最后修改日期:2006-03-28
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19728431位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号