Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives

Ciatto, Giovanni; Mariani, Stefano; Louvel, Maxime; Omicini, Andrea; Zambonelli, Franco

doi:10.1007/978-3-319-92408-3_3

Cited by 14 publications

(9 citation statements)

References 88 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While X-Klaim is based on the mainstream Java technology, LuaTS relies on Lua. Finally, we refer to [18] for a recent survey of coordination tools, including both those based on Linda and the ones relying on different coordination models.…”

Section: Discussionmentioning

confidence: 99%

X-Klaim Is Back

Bettini

Merelli

Tiezzi

2019

Models, Languages, and Tools for Concurrent and Distributed Programming

View full text Add to dashboard Cite

Klaim is a coordination language specifically designed to model and program distributed systems consisting of mobile components interacting through multiple distributed tuple spaces. The Klaim's theoretical foundations provided a solid ground for the implementation of the Klaim's programming model. To practically program Klaim-based applications, the X-Klaim programming language has been proposed. It extends Klaim with enriched primitives and standard control flow constructs, and is compiled in Java to be executed. However, due to the limits of X-Klaim in terms of usability and the aging of the technology at the basis of its compiler, X-Klaim has been progressively neglected. Motivated by the success that Klaim has gained, the popularity that still has in teaching distributed computing, and its possible future exploitations in the development of modern ICT systems, in this paper we propose a renewed and enhanced version of X-Klaim. The new implementation, coming together with an Eclipse-based IDE tooling, relies on recent powerful frameworks for the development of programming languages.

show abstract

Section: Discussionmentioning

confidence: 99%

X-Klaim Is Back

Bettini

Merelli

Tiezzi

2019

Models, Languages, and Tools for Concurrent and Distributed Programming

View full text Add to dashboard Cite

show abstract

“…[26], [19]. 3SOA does not impose any formalism or language, but it works best with "control-driven" coordination models [27]. In control-driven, or otherwise known as "task-oriented" coordination models, the state of coordination is defined in terms of the coordinated activities involved by the actors, i.e., the computational part of the system is viewed as black boxes with clearly defined input/output interfaces.…”

Section: A 3soa Abstract Coordination Languagesmentioning

confidence: 99%

A Service-Oriented Approach for Sensing in the Internet of Things: Intelligent Transportation Systems and Privacy Use Cases

et al. 2021

View full text Add to dashboard Cite

This paper presents a Sensing-as-a-Service run-time Service Oriented Architecture (SOA), called 3SOA, for the development of Internet of Things (IoT) applications. 3SOA aims to allow interoperability among various IoT platforms and support service-oriented modelling at high levels of abstraction where fundamental SOA theories and techniques are fully integrated into a practical software engineering approach. 3SOA abstracts the dependencies of the middleware programming model from the application logic. This abstraction allows the development efforts to focus on writing the application logic independently from hardware platforms, middleware, and languages in which applications are programmed. To achieve this result, IoT objects are treated as independent entities that may interact with each other using a well-defined message exchange sequence. Each object is defined by the services it provides and the coordination protocol it supports. Objects are then able to coordinate their resources to address the global objectives of the system. To practically validate our proposals, we demonstrate an intelligent transportation system and data privacy functional prototypes as proof of concepts. The use cases show that 3SOA and the presented abstraction language allow the amalgamation of macroprogramming and node-centric programming to develop real-time and efficient applications over IoT.

show abstract

“…In [31], many implementations of Linda-based models, including Klaim-based ones, to coordinate the interactions among system components are described and their efficiency is assessed. Instead, [32] is a recent survey of coordination techniques for distributed and mobile systems, including those based on Linda and those relying on different coordination models. For references on network-aware programming and relation with Klaim we refer the interested reader to [6,33].…”

Section: Related Workmentioning

confidence: 99%

A Formal Approach to the Engineering of Domain-Specific Distributed Systems

Nicola

Ferrari

Pugliese

et al. 2018

Lecture Notes in Computer Science

View full text Add to dashboard Cite

We review some results regarding specification, programming and verification of different classes of distributed systems which stemmed from the research of the Concurrency and Mobility Group at University of Firenze. More specifically, we examine the distinguishing features of network-aware programming, service-oriented computing, autonomic computing, and collective adaptive systems programming. We then present an overview of four different languages, namely Klaim, Cows, Scel and AbC. For each language, we discuss design choices, present syntax and semantics, show how the different formalisms can be used to model and program a travel booking scenario, and describe programming environments and verification techniques.

show abstract

Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives

Cited by 14 publications

References 88 publications

X-Klaim Is Back

X-Klaim Is Back

A Service-Oriented Approach for Sensing in the Internet of Things: Intelligent Transportation Systems and Privacy Use Cases

A Formal Approach to the Engineering of Domain-Specific Distributed Systems

Contact Info

Product

Resources

About