output

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