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 条
  • [21] Deriving operational semantics from denotational semantics for Verilog
    Zhu, HB
    Bowen, JP
    He, JF
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 177 - 184
  • [22] Linking Operational Semantics and Algebraic Semantics for Wireless Networks
    Wu, Xiaofeng
    Zhu, Huibiao
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2013, 8144 : 380 - 396
  • [23] Representing and reasoning with operational semantics
    Miller, Dale
    AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 4 - 20
  • [24] Operational semantics oriented specification
    Bachmann, P
    KUWAIT JOURNAL OF SCIENCE & ENGINEERING, 1997, 24 (01): : 1 - 20
  • [25] An operational semantics for weak PSL
    Claessen, K
    Mårtensson, J
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2004, 3312 : 337 - 351
  • [26] Operational semantics for MSC'96
    Mauw, S.
    Reniers, M.A.
    Computer Networks, 1999, 31 (17): : 1785 - 1799
  • [27] Inductive assertions and operational semantics
    J. Strother Moore
    International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 359 - 371
  • [28] A formal operational semantics for SOFL
    Ho-Stuart, C
    Liu, SY
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 52 - 61
  • [29] Structural operational semantics for AKL
    Haridi, Seif
    Janson, Sverker
    Palamidessi, Catuscia
    Future Generation Computer Systems, 1992, 8 (04) : 409 - 421
  • [30] Operational semantics of rewriting with priorities
    van de Pol, J
    THEORETICAL COMPUTER SCIENCE, 1998, 200 (1-2) : 289 - 312