Operational semantics for coordination in Paradigm

L.P.J. Groenewegen, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)

Abstract

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 reasoningab out system dynamics and system comparison.
Original languageEnglish
Title of host publicationCoordination Models and Languages (Proceedings COORDINATION 2002, York, UK, April 8-11, 2002)
EditorsF. Arbab, C. Talcott
Place of PublicationBerlin
PublisherSpringer
Pages191-206
ISBN (Print)3-540-43410-0
DOIs
Publication statusPublished - 2002
Eventconference; York, UK; 2002-04-08; 2002-04-11 -
Duration: 8 Apr 200211 Apr 2002

Publication series

NameLecture Notes in Computer Science
Volume2315
ISSN (Print)0302-9743

Conference

Conferenceconference; York, UK; 2002-04-08; 2002-04-11
Period8/04/0211/04/02
OtherYork, UK

Fingerprint Dive into the research topics of 'Operational semantics for coordination in Paradigm'. Together they form a unique fingerprint.

  • Cite this

    Groenewegen, L. P. J., & Vink, de, E. P. (2002). Operational semantics for coordination in Paradigm. In F. Arbab, & C. Talcott (Eds.), Coordination Models and Languages (Proceedings COORDINATION 2002, York, UK, April 8-11, 2002) (pp. 191-206). (Lecture Notes in Computer Science; Vol. 2315). Springer. https://doi.org/10.1007/3-540-46000-4_20