微信服务号

微信订阅号

2025-5-18- 2
Home > Archive>Volume 17, Issue 6, 2006 >1411-1422
PDF HTML XML Export Cite reminder
A Strategy for Model Construction and Integration in MDA
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [32]
    • |
  • Related [20]
    • |
  • Cited by
    • | |
  • Comments
    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.

    Reference
    [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].
    Cited by
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:January 18,2006
  • Revised:March 28,2006
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063