SynchNet: A Petri Net Based Coordination Language for Distributed Objects

Ziaei, Reza; Agha, Gul

doi:10.1007/978-3-540-39815-8_20

Cited by 3 publications

(2 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is worth pointing out that coordination in the ARC model is mostly concerned with synchronization among distributed entities and this echoes the main focus of most existing coordination models [7,26]. For instance, in a battlefield, there are three roles, AirForce, GroundForce, and BackupForce.…”

Section: Coordinatorsmentioning

confidence: 90%

A Coordination Model for Improving Software System Attack-Tolerance and Survivability in Open Hostile Environments

Kwiat

Ren

2007

International Journal of Distributed Sensor Networks

View full text Add to dashboard Cite

Section: Coordinatorsmentioning

confidence: 90%

A Coordination Model for Improving Software System Attack-Tolerance and Survivability in Open Hostile Environments

Kwiat

Ren

2007

International Journal of Distributed Sensor Networks

View full text Add to dashboard Cite

“…The coordination meta language for distributed objects, SynchNet, presented in [42], is inspired by the Actor model and based on Petri Nets. It allows the specification of coordination patterns for automatic generation of distributed code.…”

Section: Related Workmentioning

confidence: 99%

Exogenous coordination of concurrent software components with JavaBIP

et al. 2017

View full text Add to dashboard Cite

SUMMARYA strong separation of concerns is necessary in order to make the design of domain-specific functional components independent from cross-cutting concerns, such as concurrent access to the shared resources of the execution platform. Native coordination mechanisms, such as locks and monitors, allow developers to address these issues. However, such solutions are not modular, they are complex to design, debug and maintain. We present the JavaBIP framework that allows developers to think on a higher level of abstraction and clearly separate the functional and coordination aspects of the system behavior. It implements the principles of the BIP component framework rooted in rigorous operational semantics. It allows the coordination of existing concurrent software components in an exogenous manner, relying exclusively on annotations, component APIs and external specification files. We introduce the annotation and specification syntax of JavaBIP and illustrate its use on realistic examples; present the architecture of our implementation, which is modular and easily extensible; provide and discuss performance evaluation results.

show abstract

A Coordination Model for Improving Software System Attack-tolerance and Survivability in Open Hostile Environments

Kwiat

Ren

IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing -Vol 1 (SUTC'06)

View full text Add to dashboard Cite

SynchNet: A Petri Net Based Coordination Language for Distributed Objects

Cited by 3 publications

References 13 publications

A Coordination Model for Improving Software System Attack-Tolerance and Survivability in Open Hostile Environments

A Coordination Model for Improving Software System Attack-Tolerance and Survivability in Open Hostile Environments

Exogenous coordination of concurrent software components with JavaBIP

A Coordination Model for Improving Software System Attack-tolerance and Survivability in Open Hostile Environments

Contact Info

Product

Resources

About