Open Systems Laboratory at Illinois

Synchnet: a petri net based coordination language for distributed objects

By Reza Ziaei and Gul Agha. In GPCE, volume 2830 of Lecture Notes in Computer Science, 324–343. Springer, 2003.

Full Text:
Download PDF
Publisher Link:
http://dx.doi.org/10.1007/978-3-540-39815-8_20

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.

BibTeX

@inproceedings{conf/gpce/ZiaeiA03,
    author = "Ziaei, Reza and Agha, Gul",
    editor = "Pfenning, Frank and Smaragdakis, Yannis",
    title = "SynchNet: A Petri Net Based Coordination Language for
             Distributed Objects",
    booktitle = "GPCE",
    crossref = "conf/gpce/2003",
    ee = "http://dx.doi.org/10.1007/978-3-540-39815-8_20",
    keywords = "multi-agent systems, software engineering,
                programming languages",
    pages = "324-343",
    year = "2003",
}

@proceedings{conf/gpce/2003,
    editor = "Pfenning, Frank and Smaragdakis, Yannis",
    title = "Generative Programming and Component Engineering, Second
             International Conference, GPCE 2003, Erfurt, Germany, September
             22-25, 2003, Proceedings",
    isbn = "3-540-20102-5",
    publisher = "Springer",
    series = "Lecture Notes in Computer Science",
    volume = "2830",
    year = "2003",
}