8th IPM International Conference on
Fundamentals of Software Engineering
(FSEN 2019)
1 - 3 May, 2019
Tehran, Iran


Topics of Interest

Paper Submission


Important Dates

Keynote Speakers


Accepted Papers


Poster Competition




Travel Info


Contact Us

FSEN Homepage

In cooperation with:

FSEN'05  |  FSEN'07  |  FSEN'09  |  FSEN'11  |  FSEN'13  |  FSEN'15  |  FSEN'17  |  FSEN Homepage

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.

© 2014 Copyright, School of Computer Science, IPM