Expressive Power of the ACLT Reaction Specification Language


Enrico Denti, Antonio Natali, Andrea Omicini

LIA Series 26(DEIS-LIA-97-009),  1997

The notion of programmable coordination medium as a shared communication device whose behaviour can be defined according to the global system needs has indeed an impact over the design of multi-component software systems. in fact, it allows coordination systems to be organised around a high-level inter-component interaction protocol, while the low-level details are delegated to properly programmed communication abstractions. this leads to a shift of (part of) the computational charge of a multi-component system from the communicating components (agents) to the communication device, and raises the issue of the expressive power of a programmable coordination medium.

As an example, this paper discusses the case of ReSpecT, the first-order language used by the ACLT coordination model to specify and define the behaviour of its multiple programmable tuple spaces. Its expressiveness is compared with that of Petri Nets (and of some of the variants and extensions), taken as a reference as one of the most used formalisms for the specification and design of concurrent and distributed systems. In particular, we show that ReSpecT is Turing-powerful. This makes it possible for the designer of a multi-component architecture to freely split the system's computational load between the communicating components and the communication device, so that local and global properties of a coordination system can be respectively embodied into the coordination entities (ACLT agents) and the coordination media (ACLT programmable logic tuple spaces) in the most natural way.

(keywords) Multi-agent systems, Coordination, Tuple Spaces, Petri Nets, Programmable Coordination Media, Turing Equivalence
 @techreport{aclt-techrep97,
Address = {Bologna, Italy},
Author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
Institution = {Department of Electronics, Computer Science and Systems (DEIS), Universit{\`a} di Bologna},
Keywords = {Multi-agent systems, Coordination, Tuple Spaces, Petri Nets, Programmable Coordination Media, Turing Equivalence},
Number = {DEIS-LIA-97-009},
Series = {LIA Series},
Title = {Expressive Power of the {ACLT} Reaction Specification Language},
Type = {DEIS Technical Report},
Volume = 26,
Year = 1997

Publication

— authors

Enrico Denti, Antonio Natali, Andrea Omicini

— status

published

— sort

technical report

Venue

— series

LIA Series

— volume

26

— issue

DEIS-LIA-97-009

— context

DEIS LIA TR

— where

Bologna, Italy

— publication date

1997

BibTeX

— BibTeX ID
aclt-techrep97
— BibTeX category
techreport

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY