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 条
  • [21] OCL4X: An action semantics language for UML model execution
    Ke, Jiang
    Lei, Zhang
    Miyake, Shigeru
    COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 633 - +
  • [22] Compositional relational reasoning via operational game semantics
    Jaber, Guilhem
    Murawski, Andrzej S.
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [23] COALGEBRAIC OPERATIONAL SEMANTICS FOR AN IMPERATIVE LANGUAGE
    Steingartner, William
    Novitzka, Valerie
    Schreiner, Wolfgang
    COMPUTING AND INFORMATICS, 2019, 38 (05) : 1181 - 1209
  • [24] Enhancing UML extensions with operational semantics behaviored profiles with templates
    Cuccuru, Arnaud
    Mraidha, Chokri
    Terrier, Francois
    Gerard, Sebastien
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4735 : 271 - +
  • [25] A SYNTAX AND SEMANTICS OF A LANGUAGE FOR OPERATIONAL PROCEDURES
    Parise, Giuseppe
    Hesla, Erling
    Parise, Luigi
    2011 IEEE INDUSTRY APPLICATIONS SOCIETY ANNUAL MEETING (IAS), 2011,
  • [26] A Syntax and Semantics of a Language for Operational Procedures
    Parise, Giuseppe
    Hesla, Erling
    Parise, Luigi
    IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, 2013, 49 (01) : 250 - 255
  • [27] Compositional semantics for UML 2.0 sequence diagrams using Petri nets
    Eichner, C
    Fleischhack, H
    Meyer, R
    Schrimpf, U
    Stehno, C
    SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 133 - 148
  • [28] A denotational semantics of a concatenative/compositional programming language
    Mihelic, Jurij
    Steingartner, William
    Novitzka, Valerie
    ACTA POLYTECHNICA HUNGARICA, 2021, 18 (04) : 231 - 250
  • [29] An action language for UML: Proposal for a precise execution semantics
    Mellor, SJ
    Tockey, SR
    Arthaud, R
    Leblanc, P
    UNIFIED MODELING LANGUAGE: UML'98: BEYOND THE NOTATION, 1999, 1618 : 307 - 318
  • [30] Integration of an action language via UML Action Semantics
    Heitz, Claudius
    Thiemann, Peter
    Woelfle, Thomas
    TRENDS IN ENTERPRISE APPLICATION ARCHITECTURE, 2007, 4473 : 172 - +
12345