2nd UML 2 semantics symposium:: Formal semantics for UML

被引：0
|
作者：
Broy, Manfred
Crane, Michelle L. [1 ]
Dingel, Juergen [1 ]
Hartman, Alan [2 ]
Rumpe, Bernhard [3 ]
Selic, Bran [4 ]
机构：
[1] Queens Univ, Kingston, ON K7L 3N6, Canada
[2] IBM Res, Haifa, Israel
[3] Tech Univ, Braunschweig, Germany
[4] IBM Rational Software, Kanata, ON, Canada
来源：
MODELS IN SOFTWARE ENGINEERING | 2007年 / 4364卷
关键词：
UML; formal semantics;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The purpose of this symposium, held in conjunction with MoDELS 2006, was to present the current state of research of the UML 2 Semantics Project. Equally important to receiving feedback from an audience of experts was the opportunity to invite researchers in the field to discuss their own work related to a formal semantics for the Unified Modeling Language. This symposium is a follow-on to our first workshop, held in conjunction with ECMDA 2005.
引用
收藏
页码：318 / +
页数：2
相关论文
共 50 条
  • [1] 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):
  • [2] A formal semantics for UML interactions
    Knapp, A
    [J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 116 - 130
  • [3] A Formal Descriptive Semantics of UML
    Shan, Lijun
    Zhu, Hong
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 375 - +
  • [4] 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
  • [5] UML formal semantics: lessons learned
    Broy, Manfred
    Cengarle, Maria Victoria
    [J]. SOFTWARE AND SYSTEMS MODELING, 2011, 10 (04): : 441 - 446
  • [6] A formal semantics of UML-RT
    von der Beeck, Michael
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4199 : 768 - 782
  • [7] Formal semantics for interacting UML subsystems
    Jürjens, Jan
    [J]. IFIP Advances in Information and Communication Technology, 2002, 81 : 29 - 43
  • [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