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 条
  • [41] Assessing the specification of modelling language semantics: a study on UML PSSM
    Elekes, Marton
    Molnar, Vince
    Micskei, Zoltan
    SOFTWARE QUALITY JOURNAL, 2023, 31 (02) : 575 - 617
  • [42] Assessing the specification of modelling language semantics: a study on UML PSSM
    Márton Elekes
    Vince Molnár
    Zoltán Micskei
    Software Quality Journal, 2023, 31 : 575 - 617
  • [43] P-UML A Pattern Design Language with a Formal Semantics
    Bouassida, Nadia
    Ben-Abdallah, Hanene
    Ali, Moez
    ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, 2013, : 197 - 205
  • [44] Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
    Gnesi, S
    Latella, D
    Massink, M
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2002, 51 (01): : 43 - 75
  • [45] Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML
    Engels, G
    Hausmann, JH
    Heckel, R
    Sauer, S
    UML 2000 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: ADVANCING THE STANDARD, 2000, 1939 : 323 - 337
  • [46] Operational semantics for model checking circus
    Woodcock, J
    Cavalcanti, A
    Freitas, L
    FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 237 - 252
  • [47] An animatable operational semantics of the Verilog Hardware Description Language
    Bowen, JP
    He, JF
    Xu, QW
    ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 2000, : 199 - 207
  • [48] Operational semantics of mini CSP-R language
    Zuo, Zhihong
    Gong, Tianfu
    Dianzi Keji Daxue Xuebao/Journal of University of Electronic Science and Technology of China, 1994, 23 (06):
  • [49] Towards a simpler method of operational semantics for language definition
    Derk, MD
    ACM SIGPLAN NOTICES, 2005, 40 (05) : 39 - 44
  • [50] Rule-Based Operational Semantics for an Imperative Language
    Kirchner, Florent
    Sinot, Francois-Regis
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (01) : 35 - 47
12345