Rocco De Nicola, IMT School for Advanced Studies Lucca, Italy
Title:
Programming Collective Adaptive Systems by Relying on Attribute-based Communication
Abstract:
Collective adaptive systems (CAS) are new emerging computational systems consisting
of a large number of interacting components and featuring complex behaviour.
These systems are usually distributed, heterogeneous, decentralised and interdependent,
and are operating in dynamic and possibly unpredictable environments. Understanding
and designing CAS and, most of all, modelling the interactions of their components,
is a difficult but important endeavour. We propose a language-based approach for
programming the interactions in CAS by relying on attribute-based communication
and on a calculus we call AbC. An AbC system consists of a set of parallel
components each of which is equipped with a set of attributes. Communication
among components takes place in an implicit multicast fashion, and links are
dynamically established by taking into account ``connections'' as determined by
predicates over their attributes. We introduce syntax and semantics of AbC, and
show how its linguistic primitives can be used to program complex and sophisticated \
variant of the well-known problems. We also illustrate the expressive power of
attribute-based communication by showing how classical communication paradigms
such as group-based, publish/subscribe-based and channel-based communication can
be naturally modelled with AbC and argue that the general concept of
attribute-based communication can be exploited to provide a unifying framework
to encompass different communication models and interaction patterns.
|
Giovanna Di Marzo Serugendo, University of Geneva, Switzerland
Title:
First and Second-Order Emergence - From Bio-Inspired Design Patterns to Reliable Self-Composing Spatial Services
Abstract:
Ubiquitous and context-aware sensors are increasing in number and aim at providing
comfort and better life quality. They are spatially distributed and their computation
capacity are still under-exploited. "Spatial Services" are a new generation of services
exploiting IoT and spatially distributed data. They result from collective and decentralised
interactions of multiple computing entities. They rely on a logic and chemical-based
coordination model. Spatial services provide innovation capabilities for the software
industry, connected objects manufacturers and edge computing industry. This talk
discusses first-order and higher-order emergence, the corresponding bio-inspired
mechanisms, and how from this inspiration we can build actual reliable self-composing
spatial services.
|
Martin Wirsing, LMU Munich, Germany
Title: Towards Formally Designing Collective Adaptive Systems
Abstract:
Many modern software systems are distributed and consist of interacting
entities that have to cope at runtime with dynamically changing environments and possibly
also with new requirements. We call such systems ensembles or – in case the entities
are collaborating - collective adaptive systems. Examples are robot swarms and also
socio-technical systems such as smart city or smart healthcare applications.
As the interactions between the participants of an ensemble may lead to unexpected
reactions and as unforeseen functionalities may be needed in order to react correctly
to changes of the environment, conventional software development techniques and
approaches – be they agile or waterfall - might not provide adequate support. Novel
rigorous engineering techniques are needed where mathematical as well as artificial
intelligence techniques and foundational play a prominent role.
This talk presents a systematic approach for designing ensembles including an ensemble
engineering life cycle, an ensemble specification method based on dynamic logic and
two complementary approaches to adaptation: role-based adaptation modelling and
online planning using reinforcement learning.
|