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 条

[31] A Calculus for Multi-language Operational Semantics
Cimini, Matteo
SOFTWARE VERIFICATION, 2022, 13124 : 25 - 42
[32] AN OPERATIONAL SEMANTICS FOR A PARALLEL FUNCTIONAL LANGUAGE WITH CONTINUATIONS
MOREAU, L
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 605 : 415 - 430
[33] Operational semantics for multi-language programs
Matthews, Jacob
Findler, Robert Bruce
ACM SIGPLAN NOTICES, 2007, 42 (01) : 3 - 10
[34] A distributed operational semantics for a parallel functional language
Hidalgo-Herrero, M
Ortega-Mallén, Y
TRENDS IN FUNCTIONAL PROGRAMMING, VOL 2, 2000, : 89 - 102
[35] Operational Semantics for Multi-Language Programs
Matthews, Jacob
Findler, Robert Bruce
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2009, 31 (03):
[36] An operational semantics in UTP for a language of reactive designs
Woodcock, Jim
UNIFYING THEORIES OF PROGRAMMING, 2006, 4010 : 84 - 84
[37] Operational Semantics for Multi-Language Programs
Matthews, Jacob
Findler, Robert Bruce
CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES, 2007, : 3 - 10
[38] COMPOSITIONAL SEMANTICS OF A REAL-TIME PROTOTYPING LANGUAGE
KRAMER, B
LUQI
BERZINS, V
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (05) : 453 - 477
[39] Extending standard UML with model composition semantics
Clarke, S
SCIENCE OF COMPUTER PROGRAMMING, 2002, 44 (01) : 71 - 100
[40] An executable UML with OCL-based action semantics language
Jiang, Ke
Zhang, Lei
Miyake, Shigeru
14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 302 - +

← 1 2 3 4 5 →