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 条
  • [1] Operational semantics for declarative multi-paradigm languages
    Albert, E
    Hanus, M
    Huch, F
    Oliver, J
    Vidal, G
    JOURNAL OF SYMBOLIC COMPUTATION, 2005, 40 (01) : 795 - 829
  • [2] An operational semantics for DFM, a formal notation for modelling asynchronous web services coordination
    Yang, JT
    Cîrstea, C
    Henderson, P
    QSIC 2005: Fifth International Conference on Quality Software, Proceedings, 2005, : 446 - 451
  • [3] Operational semantics for DyLPs
    Banti, F
    Alferes, JJ
    Brogi, A
    PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3808 : 43 - 54
  • [4] ALGEBRAIC OPERATIONAL SEMANTICS
    GUREVICH, Y
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 1 - 2
  • [5] Operational semantics for Verilog
    Dimitrov, J
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 161 - 168
  • [6] An operational semantics for skeletons
    Aldinucci, M
    Danelutto, M
    PARALLEL COMPUTING: SOFTWARE TECHNOLOGY, ALGORITHMS, ARCHITECTURES AND APPLICATIONS, 2004, 13 : 63 - 70
  • [7] An operational semantics for ZCCS
    Galloway, AJ
    Stoddart, WJ
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 272 - 282
  • [8] Enhanced operational semantics
    Degano, P
    Priami, C
    ACM COMPUTING SURVEYS, 1996, 28 (02) : 352 - 354
  • [9] An operational semantics for stateflow
    Hamon, G
    Rushby, J
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 229 - 243
  • [10] An operational semantics for Scheme
    Matthews, Jacob
    Findler, Robert Bruce
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2008, 18 (47-86) : 47 - 86
12345