SynchNet: A Petri net based coordination language for distributed objects

Reza Ziaei, Gul Agha

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the coordination from computational aspects. SynchNet can be used in combination with any object-based language capable of expressing sequential behavior of objects. SynchNet, which is inspired by Petri nets, has a simple syntax and semantics, but is expressive enough to code many of the commonly used coordination patterns. The level of abstraction that it provides allows tools and techniques developed for Petri nets to be readily applied to analysis and verification of the specified coordination patterns.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsFrank Pfenning, Yannis Smaragdakis
PublisherSpringer-Verlag Berlin Heidelberg
Pages324-343
Number of pages20
ISBN (Print)3540201025, 9783540201021
DOIs
StatePublished - 2003

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2830
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'SynchNet: A Petri net based coordination language for distributed objects'. Together they form a unique fingerprint.

  • Cite this

    Ziaei, R., & Agha, G. (2003). SynchNet: A Petri net based coordination language for distributed objects. In F. Pfenning, & Y. Smaragdakis (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 324-343). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2830). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-540-39815-8_20