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

Ciatto, Giovanni; Mariani, Stefano; Serugendo, Giovanna Di Marzo; Louvel, Maxime; Omicini, Andrea; Zambonelli, Franco

doi:10.1016/j.jlamp.2020.100531

Cited by 6 publications

(8 citation statements)

References 140 publications

(162 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is worth to be mentioned that the current version of TuCSoN is the result of many years of active development by many different people pursuing different goals-as demonstrated by the multiple variants of TuCSoN and ReSpecT described in this section. Thus, as discussed in Ciatto et al [79], the TuSoW project [78] can be considered a notable rebooting attempt for TuCSoN, focusing on supporting modern mainstream technologies and platforms.…”

Section: Tucson (1999) and Respect (2001)mentioning

confidence: 99%

Logic-based technologies for multi-agent systems: a systematic literature review

Calegari

Ciatto

Mascardi

et al. 2020

Auton Agent Multi-Agent Syst

Self Cite

View full text Add to dashboard Cite

Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes them be identified with the whole AI by many non-computer-scientists and non-technical media, symbolic approaches are getting more and more attention as those that could make AI amenable to human understanding. Given the recurring cycles in the AI history, we expect that a revamp of technologies often tagged as “classical AI”—in particular, logic-based ones—will take place in the next few years. On the other hand, agents and multi-agent systems (MAS) have been at the core of the design of intelligent systems since their very beginning, and their long-term connection with logic-based technologies, which characterised their early days, might open new ways to engineer explainable intelligent systems. This is why understanding the current status of logic-based technologies for MAS is nowadays of paramount importance. Accordingly, this paper aims at providing a comprehensive view of those technologies by making them the subject of a systematic literature review (SLR). The resulting technologies are discussed and evaluated from two different perspectives: the MAS and the logic-based ones.

show abstract

Section: Tucson (1999) and Respect (2001)mentioning

confidence: 99%

Logic-based technologies for multi-agent systems: a systematic literature review

Calegari

Ciatto

Mascardi

et al. 2020

Auton Agent Multi-Agent Syst

Self Cite

View full text Add to dashboard Cite

show abstract

“…Linda [15] is the archetypal tuple-based coordination model [22], inspiring and influencing a huge number of coordination models and technologies throughout the years [5]. The main elements of Linda are tuples, templates, tuple spaces, and communication primitives.…”

Section: Linda and Tusowmentioning

confidence: 99%

“…Several variants of Linda have been proposed throughout the years, either extending the set of communication primitives, adding features such as mobility or access control [21,8], enabling distribution of multiple tuple spaces on a network of interconnected computers [12,19], and much more [23]. Nevertheless, only a few have been developed as a technology [5]-and, among these, some have already been exploited for service composition, as already discussed in the related works section above.…”

Section: Linda and Tusowmentioning

confidence: 99%

“…Nevertheless, most of them solve it only partially: to the best of our knowledge, most of the existing solutions to the dynamic service composition challenge present limitations-e.g., syntax-based composition. Other approaches, although well-designed and sound at a conceptual level, are either discontinued or based on obsolete technologies [5].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Engineering Semantic Self-composition of Services Through Tuple-Based Coordination

Caselli

Ciatto

Serugendo

et al. 2020

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Self Cite

View full text Add to dashboard Cite

Service self-composition is a well-understood research area focusing on service-based applications providing new services by automatically combining pre-existing ones. In this paper we focus on tuplebased coordination, and propose a solution leveraging logic tuples and tuple spaces to support semantic self-composition for services. A fullstack description of the solution is provided, ranging from a theoretical formalisation to a technologically valuable design and implementation.

show abstract

“…11 Coordination in tuple space is done in a decoupled manner. 12 During coordination between agents or hosts, different types of faults may occur, which include, that is, permanent faults, transient faults, and intermittent faults. Permanent faults remain in the system until and unless the faulty part is completely removed or replaced.…”

mentioning

confidence: 99%

A Fault‐tolerant model for tuple space coordination in distributed environments

Kirti,

Maurya,

Yadav

2023

Concurrency and Computation

View full text Add to dashboard Cite

SummaryIn distributed systems, tuple space is one of the coordination models that significantly maximizes system performance against failure due to its space and time decoupling features. With the growing popularity of distributed computing and increasing complexity in the network, host and link failure occurs frequently, resulting in poor system performance. This article proposes a fault‐tolerant model named Tuple Space Replication (TSR) for tuple space coordination in distributed environments. The model introduces a multi‐agent system that consists of multiple hosts. Each host in a multi‐agent system comprises an agent space with a tuple space for coordination. In this model, we introduce three novel fault‐tolerant algorithms for tuple space primitives to provide coordination among hosts with tolerance to multiple links and hosts failure. The first algorithm is given for out() operation to insert tuples in the tuple space. The second algorithm is presented for rdp() operation to read any tuple from the tuple space. The third algorithm is given for inp() operation to delete or withdraw tuples from the tuple space. These algorithms use less number of messages to ensure consistency in the system. The message complexity of the proposed algorithms is analyzed and found O(n) for out(), O(1) for rdp(), and O(n) for inp() operations which is comparable and better than existing works, where n is the number of hosts. The testbed experiment reveals that the proposed TSR model gives performance improvement up to 88%, 70.94%, and 63.80% for out(), rdp(), and inp() operations compared to existing models such as FT‐SHE, LBTS, DEPSPACE, and E‐DEPSPACE.

show abstract

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

Cited by 6 publications

References 140 publications

Logic-based technologies for multi-agent systems: a systematic literature review

Logic-based technologies for multi-agent systems: a systematic literature review

Engineering Semantic Self-composition of Services Through Tuple-Based Coordination

A Fault‐tolerant model for tuple space coordination in distributed environments

Contact Info

Product

Resources

About