Logo eprints

A Foundational Theory for Attribute-based Communication

Abd Alrahman, Yehia Moustafa (2017) A Foundational Theory for Attribute-based Communication. Advisor: De Nicola, Prof. Rocco. Coadvisor: Loreti, Prof. Michele . pp. 188. [IMT PhD Thesis]

[img]
Preview
Text
AbdAlrahman_phdthesis.pdf - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (4MB) | Preview

Abstract

In open systems, i.e. systems operating in unpredictable environments and with components that may join or leave at any time, behaviors can arise as side effects of intensive components interaction. Finding ways to understand and design these systems and, most of all, to model the interactions of their components, is a difficult but important endeavor. To tackle these issues, we present AbC, a calculus for attributebased communication. An AbC system consists of a set of parallel agents each of which is equipped with a set of attributes. Communication takes place in an implicit multicast fashion, and interactions among agents are dynamically established by taking into account 'connections' as determined by predicates over the attributes of agents. First, the syntax and the semantics of the calculus are presented, then expressiveness and effectiveness of AbC are demonstrated both in terms of modeling scenarios featuring collaboration, reconfiguration, and adaptation and of the possibility of encoding channelbased interactions and other interaction patterns. Behavioral equivalences for AbC are introduced for establishing formal relationships between different descriptions of the same system. A Java run-time environment has been developed to support programming of the above mentioned class of systems by relying on the communication primitives of the AbC calculus. The impact of centralized and decentralized implementations for the underlying communication infrastructure, that mediates the interaction between components, has been studied.

Item Type: IMT PhD Thesis
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
PhD Course: Computer Decision and System Science
Identification Number: 10.6092/imtlucca/e-theses/214
Date Deposited: 23 Mar 2017 12:36
URI: http://e-theses.imtlucca.it/id/eprint/214

Actions (login required, only for staff repository)

View Item View Item