Title: FOCLELA
Date: 2019-11-13 10:20
Authors: Michael Guravage
Category: workshops
Summary: Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and standalone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical and practical approaches to modelling and reasoning about (self-)adaptive behaviour help to simplify the development of complex distributed systems, enable their validation and evaluation, and improve interoperability, reusability and maintainability of such systems. The goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general novel solutions.

##### FOCLELA

### OBJECTIVES AND SCOPE

Nowadays software systems are distributed, concurrent, mobile, and
often involve the composition of heterogeneous components and
standalone (micro)services. Service coordination, service
orchestration and self-adaptation constitute the core characteristics
of distributed and service-oriented systems. Theoretical and practical
approaches to modelling and reasoning about (self-)adaptive behaviour
help to simplify the development of complex distributed systems,
enable their validation and evaluation, and improve interoperability,
reusability and maintainability of such systems. The goal of the
FOCLASA workshop is to gather researchers and practitioners of the
aforementioned fields, to share and identify common problems, and to
devise general novel solutions.

### Topics

Topics of interest include (but are not limited to) both theoretical
and practical solutions for what follows:

* Cloud/fog/edge computing and large-scale distributed systems
* Business processes and concurrent system modelling
* Peer-to-peer and multi-agent systems, and blockchains
* Languages and models for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis
* Dynamic software architectures, self-adaptive, self-monitoring and self-organizing systems
* Coordination, orchestration, composition and adaptation of components, services or microservices
* Quality-of-service observation, storage, history-based analysis in self-adaptive systems