Compositional Operational Semantics of a UML-Kernel-Model Language

被引：2
|
作者：
Fecher, Harald [1 ]
Kyas, Marcel [1 ]
de Roever, Willem-Paul [1 ]
de Boer, Frank S. [2 ]
机构：
[1] Univ Kiel, Inst Comp Sci & Appl Math, Kiel, Germany
[2] CWI Amsterdam, Amsterdam, Netherlands
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2006年 / 156卷 / 01期
关键词：
structured operational semantics; UML; activity groups; compositionality; state machines; run-to-completion steps; deterministic passing of control;
D O I：
10.1016/j.entcs.2005.08.008
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a newly generated object is active, a new activity group, which is a singly-threaded collection of objects, is generated. Communication of state machines between activity groups differs from the one inside an activity group. We introduce (i) two parallel combinators reflecting this difference, which return a SOS given that their arguments are SOS, (ii) an SOS for each state machine regarded in isolation.
引用
收藏
页码：79 / 96
页数：18
相关论文
共 50 条
  • [1] OPERATIONAL SEMANTICS OF A KERNEL OF THE LANGUAGE ELECTRE
    PERRAUD, J
    ROUX, O
    HUOU, M
    THEORETICAL COMPUTER SCIENCE, 1992, 97 (01) : 83 - 103
  • [2] UML Statecharts Compositional Semantics in LOTOS
    Mrowka, Rafal
    Szmuc, Tomasz
    PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING, 2008, : 459 - 463
  • [3] A compositional semantics of UML-RSDS
    K. Lano
    Software & Systems Modeling, 2009, 8 : 85 - 116
  • [4] A compositional semantics of UML-RSDS
    Lano, K.
    SOFTWARE AND SYSTEMS MODELING, 2009, 8 (01): : 85 - 116
  • [5] Rewrite rules and operational semantics for model checking UML statecharts
    Kwon, G
    UML 2000 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: ADVANCING THE STANDARD, 2000, 1939 : 528 - 540
  • [6] Variability in UML language and semantics
    Bernhard Rumpe
    Robert France
    Software & Systems Modeling , 2011, 10
  • [7] Variability in UML language and semantics
    Rumpe, Bernhard
    France, Robert
    SOFTWARE AND SYSTEMS MODELING, 2011, 10 (04): : 439 - 440
  • [8] An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations
    Messaoudi, Nabil
    Chaoui, Allaoua
    Bettaz, Mohamed
    10TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC 2015) / THE 12TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC 2015) AFFILIATED WORKSHOPS, 2015, 56 : 604 - 611
  • [9] COMPOSITIONAL OPERATIONAL SEMANTICS FOR PROLOG PROGRAMS
    CHENG, MHM
    HORSPOOL, RN
    LEVY, MR
    VANEMDEN, MH
    NEW GENERATION COMPUTING, 1992, 10 (03) : 315 - 328
  • [10] A compositional operational semantics for Java']JavaMT
    Abrahám, E
    de Boer, RS
    de Roever, WP
    Steffen, M
    VERIFICATION: THEORY AND PRACTICE: ESSAYS DEDICATED TO ZHOAR MANNA ON THE OCCASION OF HIS 64TH BIRTHDAY, 2003, 2772 : 290 - 303
12345