Published: 13th November 2014|
|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|
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