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 条
  • [11] An executable formal semantics for UML-RT
    Ernesto Posse
    Juergen Dingel
    [J]. Software & Systems Modeling, 2016, 15 : 179 - 217
  • [12] A formal semantics of UML statecharts by model transition systems
    Varró, D
    [J]. GRAPH TRANSFORMATIONS, PROCEEDINGS, 2002, 2505 : 378 - 392
  • [13] Approaches to an all-encompassing formal semantics for the UML
    Cengarle, Maria Victoria
    [J]. MSVVEIS 2008: MODELLING, SIMULATION, VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS, 2008, : 3 - 4
  • [14] Formal semantics of UML with real-time constructs
    Shankar, S
    Asa, S
    [J]. UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, 2003, 2863 : 60 - 75
  • [15] ON π-CALCULUS SEMANTICS AS A FORMAL BASIS FOR UML ACTIVITY DIAGRAMS
    Lam, Vitus W.
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2008, 18 (04) : 541 - 567
  • [16] Formal semantics and reasoning about UML class diagram
    Szlenk, Marcin
    [J]. DEPCOS-RELCOMEX 2006, 2006, : 51 - 58
  • [17] Understanding UML: A formal semantics of concurrency and communication in real-time UML
    Damm, W
    Josko, B
    Pnueli, A
    Votintseva, A
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2003, 2852 : 71 - 98
  • [18] P-UML A Pattern Design Language with a Formal Semantics
    Bouassida, Nadia
    Ben-Abdallah, Hanene
    Ali, Moez
    [J]. ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, 2013, : 197 - 205
  • [19] A formal semantics of UML StateCharts by means of timed Petri Nets
    Hammal, Y
    [J]. FORMAL TECHNIQUES FOR NEWTOWRKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 38 - 52
  • [20] Executing UML 2 Diagrams in ActiveCharts - A formal Semantics for the Combination of Behavior Specifications in the UML 2
    Kohlmeyer, Jens
    [J]. EUROPEAN SIMULATION AND MODELLING CONFERENCE 2008, 2008, : 94 - 101
12345