The Spacetub Models and Framework

Tolksdorf, Robert; Rojec-Goldmann, Gregor

doi:10.1007/3-540-46000-4_32

Cited by 3 publications

(3 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Both X-Klaim and Klava are distributed by means of the Klaim Project home page 24 , providing well detailed documentation. For what concerns X-Klaim, its C++ source code (dating back to 2004, date of the last edit, visible right below the title) is publicly available along with a self-configuring script meant to ease compilation.…”

Section: Klaim-⋆mentioning

confidence: 99%

Twenty years of coordination technologies: COORDINATION contribution to the state of art

Ciatto

Mariani

Serugendo

et al. 2020

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

Section: Klaim-⋆mentioning

confidence: 99%

Twenty years of coordination technologies: COORDINATION contribution to the state of art

Ciatto

Mariani

Serugendo

et al. 2020

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

“…SPACETUB [18] is a simulation environment for Linda-style languages, rather than an actual production environment. Each language is modeled in UML, and interpreted by the modeled class whose methods are the primitives of the language under consideration.…”

Section: Runtime Systemsmentioning

confidence: 99%

CoorSet: A Development Environment for Associatively Coordinated Components

Kane

Browne

2004

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract.A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented. The previous associative broadcast coordination model is extended to incorporate more complex specifications for interactions including multiple message interactions and fault-tolerance by replication. The runtime system is extended to facilitate construction and application of distributed implementation of coordination systems. An interface definition language based on the extended coordination model and a compiler for the language are defined and described. Three example applications, a generalized readers/writers problem including replication, a "greedy reuse" algorithm and a distributed computation Google pageranks are presented.

show abstract

“…An overview of shared dataspace coordination models is given in [24]. Some work that studies different semantics has been done in [4,5,7,6], on which we based the style of our operational semantics.…”

Section: Introductionmentioning

confidence: 99%

Verification of Distributed Dataspace Architectures

Orzan

Pol

2004

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract.The space calculus is introduced as a language to model distributed dataspace systems, i.e. distributed applications that use a shared (but possibly distributed) dataspace to coordinate. The publish-subscribe and the global dataspace are particular instances of our model. We give the syntax and operational semantics of this language and provide tool support for functional and performance analysis of its expressions. Functional behaviour can be checked by an automatic translation to μCRL and the use of a model checker. Performance analysis can be done using an automatically generated distributed C prototype.

show abstract

The Spacetub Models and Framework

Cited by 3 publications

References 24 publications

Twenty years of coordination technologies: COORDINATION contribution to the state of art

Twenty years of coordination technologies: COORDINATION contribution to the state of art

CoorSet: A Development Environment for Associatively Coordinated Components

Verification of Distributed Dataspace Architectures

Contact Info

Product

Resources

About