A Coalgebraic Semantic Framework for Component-based Development in UML

被引：6
|
作者：
Meng, Sun [1 ]
Aichernig, Bernhard K. [2 ]
Barbosa, Luis S. [3 ]
Zhang Naixiao [1 ]
机构：
[1] Peking Univ, Sch Math Sci, LMAM, Beijing, Peoples R China
[2] United Nations Univ, Int Inst Software Technol, Macau, Peoples R China
[3] Minho Univ, Dept Informat, Braga, Portugal
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 122卷
基金：
中国国家自然科学基金;
关键词：
Unified modeling language; refinement; UML; coalgebras;
D O I：
10.1016/j.entcs.2004.06.051
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper introduces a generic semantic framework for component-based development, expressed in the unified modelling language UML. The principles of a coalgebraic semantics for class, object and statechart diagrams as well as for use cases, are developed. It is also discussed how to formalize the refinement steps in the development process based upon a suitable notion of behavior refinement. In this way, a formal basis for component-based development in UML is studied, which allows the construction of more complex and specific systems from independent components.
引用
收藏
页码：229 / 245
页数：17
相关论文
共 50 条
  • [31] Component-based integration testing from UML interaction diagrams
    Machado, Patricia D. L.
    Figueiredo, Jorge C. A.
    Lima, Emerson F. A.
    Barbosa, Ana E. V.
    Lima, Helton S.
    2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 2944 - 2951
  • [32] Challenges of component-based development
    Crnkovic, I
    Larsson, M
    JOURNAL OF SYSTEMS AND SOFTWARE, 2002, 61 (03) : 201 - 212
  • [33] Building UML-based use case sub-tool for component-based software development
    Eassa, FE
    Abulnaja, OA
    ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2001, : 454 - 456
  • [34] Component-Based Software Development
    Sharma, Virendra Kumar
    Gupta, Narendra Prakash
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2010, 10 (11): : 132 - 134
  • [35] The future of component-based development
    Meyer, B
    TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS, 2000, : 5 - 5
  • [36] Component-based software development
    Capretz, LF
    Capretz, MAM
    Li, DH
    IECON'01: 27TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, 2001, : 1834 - 1837
  • [37] Component-Based Tool Development
    Kienle, Holger M.
    2008 FRONTIERS OF SOFTWARE MAINTENANCE, 2008, : 87 - 98
  • [38] The economics of component-based development
    Dué, RT
    INFORMATION SYSTEMS MANAGEMENT, 2000, 17 (01) : 92 - 95
  • [39] A development framework for component-based agent-oriented business services
    Nguyen, Tai
    Kolp, Manuel
    Penserini, Loris
    International Journal of Agent-Oriented Software Engineering, 2009, 3 (2-3) : 328 - 367
  • [40] On Automating Component-based Development
    Velasco Elizondo, Perla
    2009 6TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING, COMPUTING SCIENCE AND AUTOMATION CONTROL (CCE 2009), 2009, : 451 - 456
12345