Extending standard UML semantics to support PADS design

被引：0
|
作者：
Hu, Si-Quan [1 ]
Fan, Zhi-Hua [1 ]
She, Chun-Dong [1 ]
机构：
[1] General Software Lab., Inst. of Software, Chinese Acad. of Sci., Beijing 100080, China
来源：
Jisuanji Yanjiu yu Fazhan/Computer Research and Development | 2004年 / 41卷 / 06期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
UML is proposed as a unified language to both simulation object modeling and PADS software system modeling. This work focuses on extending standard UML semantics to support simulation domain specific concepts including introducing virtual time in UML, and using UML statechart diagram and interaction diagram with virtual time labels and constraints to describe simulation entity functional property. In addition, virtual time synchronization stereotypes are created to describe PADS time synchronization protocols, which separates the functional properties and synchronization properties, thus alleviating the simulation modeling complexity and improving both simulation model reuse and synchronization reuse. A wireless network parallel simulation example is given to illustrate the extensions.
引用
收藏
页码：1030 / 1036
相关论文
共 50 条
  • [21] Extending and shrinking UML
    De Champeaux, D
    COMMUNICATIONS OF THE ACM, 2003, 46 (03) : 11 - 12
  • [22] Software Quality Metrics Design Support with UML
    Bhatti, Shahid Nazir
    IDIMT 2004, PROCEEDINGS, 2004, 12 : 293 - +
  • [23] Applying UML Standard to Design an Application For a Cadastral System
    Carstea, Claudia
    Vasilescu, Anca
    INNOVATION MANAGEMENT AND EDUCATION EXCELLENCE VISION 2020: FROM REGIONAL DEVELOPMENT SUSTAINABILITY TO GLOBAL ECONOMIC GROWTH, VOLS I - VI, 2016, : 1967 - 1974
  • [24] Extending the modeling efficiency of the UML activity diagram for the design of distributed systems
    Fengler, O
    Fengler, W
    Duridanova, V
    INNOVATIVE INTERNET COMPUTING SYSTEMS, 2002, 2346 : 51 - 62
  • [25] Formal semantics of UML 2.0
    School of Computer Science and Technology, Soochow University, Suzhou 215006, China
    不详
    不详
    Nanjing Youdian Daxue Xuebao (Ziran Kexue Ban), 2007, 3 (39-43):
  • [26] Variability in UML language and semantics
    Bernhard Rumpe
    Robert France
    Software & Systems Modeling , 2011, 10
  • [27] Semantics of interactions in UML 2.0
    Störrle, H
    200S IEEE SYMPOSIUM ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, 2003, : 129 - 136
  • [28] Semantics of UML statecharts in PVS
    Aredo, DB
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IX, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: II, 2003, : 77 - 82
  • [29] A Formal Descriptive Semantics of UML
    Shan, Lijun
    Zhu, Hong
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 375 - +
  • [30] A formal semantics for UML interactions
    Knapp, A
    UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 116 - 130
12345