UML formal semantics: lessons learned

被引：0
|
作者：
Manfred Broy
María Victoria Cengarle
机构：
[1] Technische Universität München,Software and Systems Engineering
来源：
Software & Systems Modeling | 2011年 / 10卷
关键词：
Formal semantics; Compositional semantics; Multiple system views; All-encompassing UML semantics; Formal model-driven system development;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The article below presents the insights gained during a number of years of research dedicated to the formalisation of the Unified Modeling Language.
引用
收藏
页码：441 / 446
页数：5
相关论文
共 50 条
  • [1] UML formal semantics: lessons learned
    Broy, Manfred
    Cengarle, Maria Victoria
    [J]. SOFTWARE AND SYSTEMS MODELING, 2011, 10 (04): : 441 - 446
  • [2] A Formal Descriptive Semantics of UML
    Shan, Lijun
    Zhu, Hong
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 375 - +
  • [3] A formal semantics for UML interactions
    Knapp, A
    [J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 116 - 130
  • [4] 2nd UML 2 semantics symposium:: Formal semantics for UML
    Broy, Manfred
    Crane, Michelle L.
    Dingel, Juergen
    Hartman, Alan
    Rumpe, Bernhard
    Selic, Bran
    [J]. MODELS IN SOFTWARE ENGINEERING, 2007, 4364 : 318 - +
  • [5] A formal semantics of UML-RT
    von der Beeck, Michael
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4199 : 768 - 782
  • [6] UML Statecharts' PTL Formal Semantics
    Zhang, PengFei
    Duan, ZhenHua
    Tian, Cong
    [J]. 2009 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL 1, PROCEEDINGS, 2009, : 381 - +
  • [7] A formal semantics of UML sequence diagram
    Li, XS
    Liu, ZM
    He, JF
    [J]. 2004 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 168 - 177
  • [8] The Formal Semantics of an UML Activity Diagram
    梁义芝
    王延章
    刘云飞
    [J]. Advances in Manufacturing, 2004, (03) : 322 - 327
  • [9] Formal Action Semantics for a UML Action Language
    Yang, Mikai
    Michaelson, Greg J.
    Pooley, Rob J.
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (21) : 3608 - 3624
  • [10] An executable formal semantics for UML-RT
    Posse, Ernesto
    Dingel, Juergen
    [J]. SOFTWARE AND SYSTEMS MODELING, 2016, 15 (01): : 179 - 217
12345