Join the MSE Workshop


The 15th International Conference on Software Engineering and Formal Methods (SEFM 2017) will be held in Trento, Italy, September 4-8, 2017.  The MSE  (“Microservices: Science and Engineering”) Workshop constitutes a forum for scientists and engineers in academia and industry to present and discuss their latest ongoing research as well as radical new research directions that represent challenging innovations, which can advance the status quo and the understanding in the microservices area and its applications, in particular in the IoT where the scaling in the small approach is of major importance. SEFM attendees might be interested in attending this workshop because of the relevance of its themes and goals to the SE. Also industry partners and mobile developers are particularly welcome, thanks to their more practical approach, hopefully bringing some real scenario examples.


Marcello Maria Bersani

Politecnico di Milano, Italy


Antonio Bucchiarone

FBK, Trento, Italy


Nicola Dragoni

Technical University of Denmark (DTU), Denmark


Luca Ferrucci



Manuel Mazzara

Innopolis University, Russia


Fabrizio Montesi

University of Southern Denmark

This workshop aims at bringing together contributions by scientists and practitioners to shed light on the development of scientific concepts, technologies, engineering techniques and tools for a service-based society. In particular, the focus is on Microservices, i.e., the use of services beyond the traditional cross-organizational B2B approach and the implementation of the model inside of applications, scaling in the small the concepts previously seen in the large. In Microservices, each component of a software is a service with the related issues of scalability and distribution of responsibility.

Topics of interest include (but not limited to):

  • Design and implementation of Service-oriented Architectures and Microservices
  • Software engineering techniques for Microservices
  • Security in Microservices
  • Formal models and analyses of Microservice systems
  • Verification techniques for Microservices
  • Coordination models for Microservices
  • Empirical studies on services and Microservices
  • Programming languages for Microservices
  • Static analysis of Microservices
  • Testing of Microservice systems
  • June 15, June 22, 2017: Paper submission deadline
  • July 6, 2017: Notification of acceptance
  • September 4, 2017: Workshop co-located with SEFM 2017

We seek for both full and short papers. Full papers will be submitted as PDF files, using the SPRINGER LNCS proceedings format that it is possible to find here, with a page limit of 15 pages. Short paper should be limited to 8 pages.

All papers will be reviewed by at least 3 technical committee members. Accepted papers will be published by the format for all SEFM Workshop, SPRINGER LNCS Post-Proceedings. You can submit the paper through EasyChair using this link:

  • Larisa Safina, Innopolis University, Russia
  • Damian Andrew Tamburri, Politecnico di Milano, Italy
  • Matteo Camilli, Università degli Studi di Milano, Italy
  • Angelo Spognardi, Technical University of Denmark, Denmark
  • Silvio Ghilardi, Università degli Studi di Milano, Italy
  • Sung-Shik T.Q. Jongmans, Open University of the Netherlands, Netherland
  • Cruz-Filipe Luis, University of Southern Denmark, Denmark
  • Carlo Bellettini, Università degli Studi di Milano, Italy
  • Martin Garriga, Universidad Nacional del Comahue, Argentina
  • Madalina Erascu, West University of Timisoara, Romanian
  • Marisol Garcia-Valls, Universidad Carlos III de Madrid, Spain
  • Md. Ariful Islam, Carnegie Mellon University, Pennsylvania, USA
  • Stéphane Demri, LSV, CNRS and ENS de Cachan, France
  • Soren Debois, University of Copenhagen, Denmark
In order to trigger intriguing discussions during the Workshop, we will plan a final Plenary Discussion Session. After the camera-ready phase, we will invite both authors of accepted papers and no-author registered participants to send to chairs one (or more) challenge or research question (both from a theoretical as well as practical perspective) that they would like to discuss about during a plenary discussion session of about 1 hour wich will be held at the end of the Workshop event day.


The workshop has a joint programme with FAACS.

This page contains the pre-proceedings versions of the papers. Post-proceedings will be published after the workshop in a joint LNCS volume for SEFM co-located events.

Tentative schedule

08:15 - 09:00: Registration

09:00 - 10:00: Opening remarks and keynote speech (chair: Elvinia Riccobene)

Luciano Baresi: Microservices are not Tiny Services: What Does That Mean?

10:00 - 10:30: Coffee break

10:30 - 12:30: Paper session 1: Scalable Architectures (chair: Patrizia Scandurra)

  • Formalizing Monitoring Processes for Large-Scale Distributed Systems using Abstract State Machines [pdf]
    Andreea Buga and Sorana Tania Nemeș (FAACS)

  • Towards a UML Profile for Domain-driven Design of Microservice Architectures [pdf]
    Florian Rademacher, Sabine Sachweh and Albert Zündorf (MSE)

  • Towards a reference dataset of microservice-based applications [pdf]
    Antonio Brogi, Andrea Canciani, Davide Neri, Luca Rinaldi and Jacopo Soldani (MSE)

  • Towards a Taxonomy of Microservices Architectures [pdf]
    Martin Garriga (MSE)

  • Mini-panel

12:30 - 14:00: Lunch

14:00 - 15:00: Keynote speech (chair: Marina Mongiello)

Claudio Guidi: Jolie: a linguistic approach to microservices

15:00 - 16:00: Paper session 2: Testing and Security (chair: Paolo Arcaini)

  • Generalized Oracle for Testing Machine Learning Computer Programs [pdf]
    Shin Nakajima (FAACS)

  • Intercepting Blackhole Attacks in MANETs: An ASM-based Model [pdf]
    Alessandro Bianchi, Sebastiano Pizzutilo and Gennaro Vessio (FAACS)

  • Mini-panel

16:00 - 16:30: Coffee break

16:30 - 18:00: Paper session 3: Modelling and Analysis (chair: Antonio Bucchiarone)

  • A Framework for Modelling Variable Microservices as Software Product Lines [pdf]
    Moh. Afifun Naily, Maya Retno Ayu Setyautami, Radu Muschevici and Ade Azurat (MSE)

  • Design-time to Run-time Verification of Microservice Based Applications [pdf]
    Matteo Camilli, Carlo Bellettini and Lorenzo Capra (FAACS)

  • A Formal Framework for Specifying and Verifying Microservices Based Process Flows [pdf]
    Matteo Camilli, Carlo Bellettini, Lorenzo Capra and Mattia Monga (MSE)

  • Mini-panel

18:00: Closing remarks

Keynote Speakers


Prof. Luciano Baresi

Politecnico di Milano Dipartimento di Elettronica, Informazione e Bioingegneria


Claudio Guidi


Keynote 1 - Luciano Baresi: Microservices are not Tiny Services: What Does That Mean?

One may be tempted to simply consider microservices as a new wave of “traditional” services, where size matters. This view is quite simplistic and the differences between services and microservices are probably more significant than their similarities. The aim of this talk is then to introduce the differences (and similarities) between standard (tiny) services and microservices. The presentation also identifies and discusses some challenges and open issues to pave the ground to a possible research agenda in the area of microservice architectures.

[Keynote Slides]

Keynote 2 - Claudio Guidi: Jolie: a linguistic approach to microservices

Microservices are usually considered te be technology agnostic, thus they are approached in terms of architectures or models to be applied on distributed systems. Neverthless, their basic mechanisms can be crystalized within a unique programming language by offering a new mindset for developers and engineers, In the past years we dealt with such an objective starting from the theoretical foundations of service oriented computing. In this presentatiion I’ll show our experience and our results in approaching microservices with a specific programming language called Jolie.

[Keynote Slides]


MSE is a workshop at SEFM 2017, the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017) that will be held in Trento, Italy, September 4-8, 2017

Fondazione Bruno Kessler

Via Sommarive, 18, 38123 Povo, Trento - Italy

more information