A Coalgebraic Semantic Framework for Component-based Development in UML

被引：5
|
作者：
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 条
  • [1] The Semantic Web Framework:: a component-based framework for the development of Semantic Web applications
    Garcia-Castro, Radl
    Gomez-Peres, Asuncion
    Munoz-Garcia, Oscar
    [J]. DEXA 2008: 19TH INTERNATIONAL CONFERENCE ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2008, : 185 - 189
  • [2] Component-based development of dependable systems with UML
    Jürjens, J
    Wagner, S
    [J]. COMPONENT-BASED SOFTWARE DEVELOPMENT FOR EMBEDDED SYSTEMS: AN OVERVIEW OF CURRENT RESEARCH TRENDS, 2005, 3778 : 320 - 344
  • [3] A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams
    Meng, Sun
    Barbosa, Luis S.
    [J]. QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2008, : 17 - +
  • [4] Support Formal Component-based Development with UML Profile
    Li, Dan
    Li, Xiaoshan
    Liu, Zhiming
    Stolz, Volker
    [J]. 2013 22ND AUSTRALASIAN CONFERENCE ON SOFTWARE ENGINEERING (ASWEC), 2013, : 191 - 200
  • [5] Towards a component-based development framework for agents
    Jayatilleke, GB
    Padgham, L
    Winikoff, M
    [J]. MULTIAGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2004, 3187 : 183 - 197
  • [6] A framework for extensible component customization for component-based software development
    Yau, Stephen S.
    Taweponsomkiat, Choksing
    Huang, Dazhi
    [J]. QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2006, : 369 - +
  • [7] Maintaining evolving component-based software with UML
    Ye, W
    Offutt, J
    [J]. SEVENTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 2003, : 133 - 142
  • [8] A Theoretical Framework of Component-Based Software Development Phases
    Sharp, Jason H.
    Ryan, Sherry D.
    [J]. DATA BASE FOR ADVANCES IN INFORMATION SYSTEMS, 2010, 41 (01): : 56 - 75
  • [9] Component-based development framework for ocean information system
    Hu, Keyong
    Guo, Zhongwen
    Jiang, Yongguo
    Feng, Yuan
    Shen, Fei
    [J]. 2012 OCEANS, 2012,
  • [10] A flexible framework for development of component-based distributed systems
    Solberg, A
    Neple, T
    Oldevik, J
    Kvalheim, B
    [J]. DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS II, 1999, 15 : 149 - 162
12345