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 条
  • [41] Component-based DSL development
    Cleenewerck, T
    GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2003, PROCEEDINGS, 2003, 2830 : 245 - 264
  • [42] Development of a component-based integrated modeling framework for urban flood simulation
    Wang, Haocheng
    Yue, Songshan
    Zhang, Zhuo
    Guo, Fei
    Wen, Yongning
    Chen, Min
    Lue, Guonian
    ENVIRONMENTAL MODELLING & SOFTWARE, 2023, 169
  • [43] Framework for component-based development of distributed real-time systems
    Villela, C
    Becker, LB
    Pereira, CE
    SIXTH INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 2001, : 85 - 90
  • [44] AdaBeans: an architecture for component-based development of aerospace applications, using UML as a visual composition language
    Favaro, J
    Savoia, G
    d'Alessandro, M
    DATA SYSTEMS IN AEROSPACE - PROCEEDINGS, 1998, : 41 - 44
  • [45] Component-based development process and component lifecycle
    Crnkovic, I
    Larsson, S
    Chaudron, M
    ITI 2005: Proceedings of the 27th International Conference on Information Technology Interfaces, 2005, : 625 - 630
  • [46] Component-based software development with component variants
    Altunel, Yusuf
    Tolun, Mehmet R.
    PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2007, : 235 - +
  • [47] A compositional semantic theory for synchronous component-based design
    Norton, B
    Lüttgen, G
    Mendler, M
    CONCUR 2003 - CONCURRENCY THEORY, 2003, 2761 : 461 - 476
  • [48] Semantic consistency of component-based architecture model transformation
    Hou, Jin-Kui
    Jilin Daxue Xuebao (Gongxueban)/Journal of Jilin University (Engineering and Technology Edition), 2010, 40 (01): : 238 - 244
  • [49] Domain Ontology Component-based Semantic Information Integration
    Zhu, Hongmei
    Tian, Qijia
    Liang, Yongquan
    Ji, Shujuan
    Sun, Wei
    PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL III, 2009, : 101 - +
  • [50] Semantic Interoperability for Financial Information: a Component-based Approach
    Hu, Bo
    He, Keqing
    Wang, Jian
    PROCEEDINGS OF 2010 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (ICCSIT 2010), VOL 6, 2010, : 228 - 232
12345