Operational semantics for coordination in paradigm

被引：0
|
作者：
Groenewegen, L [1 ]
de Vink, E
机构：
[1] Leiden Univ, LIACS, Leiden, Netherlands
[2] Tech Univ Eindhoven, Dept Math & Comp Sci, NL-5600 MB Eindhoven, Netherlands
来源：
COORDINATION MODELS AND LANGUAGES, PROCEEDINGS | 2002年 / 2315卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Paradigm is the modeling language of SOCCA regarding communication, coordination and cooperation. A transition system or STD-based operational semantics for Paradigm is proposed and illustrated with basic producer-consumer examples. The proposed semantics for Paradigm, in contrast to other approaches, provides a sound basis for reasoning about system dynamics and system comparison.
引用
收藏
页码：191 / 206
页数：16
相关论文
共 50 条
  • [31] Modular structural operational semantics
    Mosses, PD
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 195 - 228
  • [32] Trust structuresDenotational and operational semantics
    Karl Krukow
    Mogens Nielsen
    International Journal of Information Security, 2007, 6 : 153 - 181
  • [33] An operational semantics for timed RAISE
    Yong, X
    George, C
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1008 - 1027
  • [34] Category theory for operational semantics
    Lenisa, M
    Power, J
    Watanabe, H
    THEORETICAL COMPUTER SCIENCE, 2004, 327 (1-2) : 135 - 154
  • [35] An Operational Semantics for Java']JavaScript
    Maffeis, Sergio
    Mitchell, John C.
    Taly, Ankur
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 5356 : 307 - +
  • [36] The origins of structural operational semantics
    Plotkin, GD
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 3 - 15
  • [37] ALGEBRAIC OPERATIONAL SEMANTICS AND OCCAM
    GUREVICH, Y
    MOSS, LS
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 176 - 192
  • [38] Mechanized operational semantics of WSL
    Zhang, XY
    Munro, M
    Harman, M
    Hu, L
    SCAM 2002: SECOND IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS MANIPULATION, PROCEEDINGS, 2002, : 73 - 82
  • [39] A Dynamic Operational Semantics for JVML
    Belblidia, Nadia
    Debbabi, Mourad
    JOURNAL OF OBJECT TECHNOLOGY, 2007, 6 (03): : 71 - 100
  • [40] OPERATIONAL AND DENOTATIONAL SEMANTICS OF PROLOG
    ARBAB, B
    BERRY, DM
    JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04): : 309 - 329
12345