Published: 13th November 2014
DOI: 10.4204/EPTCS.168
ISSN: 2075-2180

EPTCS 168

Proceedings First Workshop on
Logics and Model-checking for Self-* Systems
Bertinoro, Italy, 12th September 2014

Edited by: Marcello Maria Bersani, Davide Bresolin, Luca Ferrucci and Manuel Mazzara

Preface
Marcello M. Bersani, Davide Bresolin, Luca Ferrucci and Manuel Mazzara
Invited Paper: Monotonic Abstraction Techniques: from Parametric to Software Model Checking
Francesco Alberti, Silvio Ghilardi and Natasha Sharygina
1
Invited Paper: Choreographies and Behavioural Contracts on the Way to Dynamic Updates
Mario Bravetti and Gianluigi Zavattaro
12
An Approach to Model Checking of Multi-agent Data Analysis
Natalia Garanina, Eugene Bodin and Elena Sidorova
32
A Language Support for Exhaustive Fault-Injection in Message-Passing System Models
Masaya Suzuki and Takuo Watanabe
45

Preface

The 1st workshop on Logics and Model Checking for Self*-systems (MOD*) has been held in Bertinoro on the 12th of September 2014 and was affiliated with iFM 2014. The event was devised for gathering people from various areas related to verification and, specifically, those ones belonging to Logic, Model-checking and Self*-systems. To cope with changing of the requirements and emergent behaviors, system designers need ad-hoc paradigms and technologies to define suitable reconfigurability mechanism that allow systems to work correctly with respect to the new settlement. The workshop focused on demonstrating the applicability of Formal Methods in practical contexts, in particular in the field of the analysis of Self-adaptive, Self-reconfiguring and Self-organizing systems.

The main topics discussed in the papers that were accepted for publication are the following: fault-handling mechanisms dealing with unexpected termination of processes and random loss of messages in adaptive distributed systems and verification of multi-agent systems. All the papers involved emerging techniques and state-of-the-art approaches and tools and turned out to be original contributes linking the areas of Logic, Model-checking and Software Engineering together.

The organizers gratefully acknowledge all the PC members for their precious work in revising the submissions, the iFM organizers for offering the opportunity to organize MOD* as workshop affiliated with the main conference and, finally, all the partecipants for making the first edition of MOD* a successful event.

It was also a pleasure to invite three remarkable speakers, Mario Bravetti (Università di Bologna, Bologna, Italy), Silvio Ghilardi (Università Statale di Milano, Milan, Italy) and Jean-Bernard Stefani (INRIA, Grenoble-Rhône-Alpes, shared with FACS 2014), who participated to the workshop with valuable contributions. The organizers acknowledge them for their useful presence.

Marcello M. Bersani
Davide Bresolin
Luca Ferrucci
Manuel Mazzara

Program Committee

Organizing Committee