Formal semantics for interacting UML subsystems

被引：0
|
作者：
Jürjens, Jan [1 ,2 ]
机构：
[1] Department of Informatics, TU Munich, Germany
[2] Computing Laboratory, University of Oxford, United Kingdom
来源：
IFIP Advances in Information and Communication Technology | 2002年 / 81卷
关键词：
D O I：
10.1007/978-0-387-35496-5_4
中图分类号：
学科分类号：
摘要：
25
引用
收藏
页码：29 / 43
相关论文
共 50 条
  • [1] Interacting subsystems in UML
    Övergaard, G
    Palmkvist, K
    [J]. UML 2000 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: ADVANCING THE STANDARD, 2000, 1939 : 359 - 368
  • [2] Formal semantics of UML 2.0
    School of Computer Science and Technology, Soochow University, Suzhou 215006, China
    不详
    不详
    [J]. Nanjing Youdian Daxue Xuebao (Ziran Kexue Ban), 2007, 3 (39-43):
  • [3] A Formal Descriptive Semantics of UML
    Shan, Lijun
    Zhu, Hong
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 375 - +
  • [4] A formal semantics for UML interactions
    Knapp, A
    [J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 116 - 130
  • [5] 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 - +
  • [6] UML formal semantics: lessons learned
    Broy, Manfred
    Cengarle, Maria Victoria
    [J]. SOFTWARE AND SYSTEMS MODELING, 2011, 10 (04): : 441 - 446
  • [7] A formal semantics of UML-RT
    von der Beeck, Michael
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4199 : 768 - 782
  • [8] UML formal semantics: lessons learned
    Manfred Broy
    María Victoria Cengarle
    [J]. Software & Systems Modeling , 2011, 10 : 441 - 446
  • [9] 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 - +
  • [10] A formal semantics of UML sequence diagram
    Li, XS
    Liu, ZM
    He, JF
    [J]. 2004 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 168 - 177
12345