FOCLASA 2017

15th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems

September 5, 2017

Associated with SEFM 2017, in Trento (Italy), September 4-8, 2017

Photo by © Franco Visitainer / CC-BY-SA-3.0

Modern software systems are distributed, concurrent, mobile, and often involve composition of heterogeneous components and stand-alone services. Service coordination and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Coordination languages and formal approaches to modelling and reasoning about self-adaptive behaviour help to simplify the development of complex distributed service-based systems, enable functional correctness proofs and improve reusability and maintainability of such systems. FOCLASA 2017 is a workshop colocated with the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017). The goal of FOCLASA is to put together researchers and practitioners to share and identify common problems, and to devise general solutions in the context of coordination languages and self-adaptive systems




Topics of interest

Theoretical models and frameworks for component and service coordination, service composition, service adaptation and concurrent system modeling.

Applications and usability studies for the aforementioned theoretical models, interaction and coordination challenges in various application domains.

Languages and specification protocols for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis.

Formal methods for self-adaptive systems, stochastic modeling and analysis, reasoning under uncertainty, and runtime synthesis.

Models and architectures for Software-as-a-Service (SaaS) cloud systems; dynamic software architectures, such as self-adaptive and self-organizing systems.

Service composition and coordination for Future Internet applications, service orchestration and choreographies, related theories and methods, and possible model-driven development approaches.

Tools and environments for the development of concurrent and customizable self- monitoring, self-adaptive and self-organizing applications.

Algorithms, mathematical models and realization frameworks for quality-of-service observation, storage, history-based analysis in self-adaptive systems (queuing models, load balancing, fault-tolerance analysis, machine learning systems).

In particular, practice, experience and methodologies from the following areas are solicited as well:

  • Business process modeling
  • Cloud computing
  • Service-oriented computing
  • Component-based systems
  • Grid computing
  • Peer-to-peer systems
  • Multi-agent systems
  • Networked embedded systems
  • Large-scale distributed systems
  • Internet of Things

Survey works analysing and comparing literature on the topics of FOCLASA



Call for papers

Submissions must describe authors' original research work and their results. Description of work-in-progress with concrete results is also encouraged. The contributions should not exceed 15 pages in LNCS style and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site:

EasyChair FOCLASA 2017

All submissions will be reviewed by an international program committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Concurrent submission to other venues (conferences, workshops or journal) and submission of papers under consideration elsewhere is not allowed.

All accepted papers will be included in the LNCS Workshop Proceedings of SEFM 2017, to be published by Springer after the workshop. Additionally, and following the tradition of past editions, a special issue of Science in Computer Programming (SCP, Elsevier) will be devoted to the best papers accepted at FOCLASA 2017. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue.

Important dates

June 16, 2017 (Extended)

Deadline for paper submission

July 7, 2017

Notifications

July 28, 2017

Final Versions

September 5, 2017

Workshop in Trento

Photo by © Matteo Ianeselli / Wikimedia Commons / CC-BY-3.0 & GFDL

Program

ICSOC 2017 will have an outstanding program. You can already see the list of accepted papers by clicking on the following link.

Accepted papers

From the 16 full submissions received, 7 papers have been accepted to the workshop. These are as follows:

  • An initial user study comparing the readability of a graphical coordination model with Event-B notation

    Eva Kühn and Sophie Therese Radschek

  • Combining trust and aggregate computing

    Roberto Casadei, Alessandro Aldini and Mirko Viroli

  • From (incomplete) TOSCA specs to running apps, with Docker

    Antonio Brogi, Davide Neri, Luca Rinaldi and Jacopo Soldani

  • Lightweight preprocessing for agent-based simulation of smart mobility initiatives

    Jacopo de Berardinis, Giorgio Forcina, Carlo Castagnari, Ali Jafari and Marjan Sirjani

  • Towards the performance analysis of elastic systems with e-Motions

    Patrícia Araújo de Oliveira, Francisco Durán and Ernesto Pimentel

  • Reasoning about Sensing Uncertainty in Decision-Making for Self-Adaptation

    Javier Cámara Moreno, Wenxin Peng, David Garlan and Bradley Schmerl

  • Using Coq for Formal Modeling and Verification of Timed Connectors

    Weijiang Hong, Saqib Nawaz, Xiyue Zhang, Yi Li and Meng Sun



Program Committee Chairs

Carlos Canal

University of Málaga, Spain

Gwen Salaun

University of Grenoble Alpes, France

Steering Committee

Farhad Arbab

CWI, The Netherlands

Antonio Brogi

University of Pisa, Italy

Carlos Canal

University of Málaga, Spain

Jean-Marie Jacquet

University of Namur, Belgium

Ernesto Pimentel

University of Málaga, Spain

Gwen Salaun

University of Grenoble Alpes, France

Web Chair


Alejandro Perez Vereda

University of Málaga, Spain

Publicity Chair


Gianluca Barbon

University of Grenoble Alpes, France

Program Committee


Pedro Alvarez, Universidad de Zaragoza, Spain

Farhad Arbab, CWI, The Netherlands

Simon Bliudze, EPFL, Switzerland

Radu Calinescu, University of York, UK

Javier Camara, Carnegie Mellon University, USA

Flavio De Paoli, University of Milano, Italy

Schahram Dustdar, TU Wien, Austria

Jean-Marie Jacquet, University of Namur, Belgium

Nima Kaviani, IBM, USA

Alberto Lluch Lafuente, Technical University of Denmark

Sun Meng, Peking University, China

Hernan C. Melgratti, University of Buenos Aires, Argentina

Mohammad Mousavi, Halmstad University, Sweden

Marc Oriol, Universitat Politècnica de Catalunya, Spain

Pascal Poizat, Université Paris Ouest, France

Jose Proenca, INESC TEC & Universidade do Minho, Portugal

Michael Sheng, University of Adelaide, Australia

Marjan Sirjani, Reykjavik University, Iceland

Carolyn Talcott, SRI International, USA

Massimo Tivoli, University of L'Aquila, Italy

Lina Ye, CentraleSupélec, France

Gianluigi Zavattaro, University of Bologna, Italy



Past Editions



Contact us

For any further information please contact foclasa@lcc.uma.es.