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 条
  • [21] A Bidirectional Framework for Model Synchronization in Component-Based Software Development
    Chen, Luxi
    Huang, Linpeng
    Li, Chen
    Zan, Tao
    2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2013, : 313 - 319
  • [22] RE-UML: An extension to UML for specifying Component-Based Software System
    Mahmood, Sajjad
    Lai, Richard
    ASWEC 2009: 20TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2009, : 220 - +
  • [23] cMass - a component-based development framework for mass spectrometry application
    Yu Yu
    Zhao Bin
    Cheng Yongqiang
    Cui Xiao
    Li Hui
    PROCEEDINGS OF 2015 IEEE 12TH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS (ICEMI), VOL. 3, 2015, : 1376 - 1380
  • [24] Development of production planning system for shipbuilding using component-based development framework
    Cho, Sungwon
    Lee, Jong Moo
    Woo, Jong Hun
    INTERNATIONAL JOURNAL OF NAVAL ARCHITECTURE AND OCEAN ENGINEERING, 2021, 13 : 405 - 430
  • [25] Component-based framework for subsurface simulations
    Palmer, B. J.
    Fang, Yilin
    Hammond, Glenn
    Gurumoorthi, Vidhya
    SCIDAC 2007: SCIENTIFIC DISCOVERY THROUGH ADVANCED COMPUTING, 2007, 78
  • [26] A component-based framework for recognition systems
    Middendorf, M
    Peust, C
    Schacht, J
    READING AND LEARNING, 2004, 2956 : 153 - 165
  • [27] A component-based framework and reusability in Garment
    Zhang, NX
    Liu, Y
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 411 - 418
  • [28] A framework for component-based CNC machines
    Michaloski, J
    Birla, S
    Weinert, G
    Yen, CJ
    SENSORS AND CONTROLS FOR INTELLIGENT MACHINING, AGILE MANUFACTURING, AND MECHATRONICS, 1998, 3518 : 132 - 143
  • [29] Component-based layered integrated framework
    Yu, L
    Guo, YC
    Lin, SX
    Lin, ZK
    PROCEEDINGS OF FOURTH INTERNATIONAL WORKSHOP ON CSCW IN DESIGN, 1999, : 473 - 476
  • [30] On the Formalization of UML Activities for Component-Based Protocol Design Specifications
    Kaliappan, Prabhu Shankar
    Koenig, Hartmut
    SOFSEM 2012: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2012, 7147 : 479 - 491
12345