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.
Business process modeling
Component-based systems
Service-oriented computing
Cloud computing
Internet of Things
Large-scale distributed systems
Grid computing
Multi-agent systems
Networked embedded systems
Peer-to-peer systems
Sep 04
2017
Conference Date
Draft paper submission deadline
Draft Paper Acceptance Notification
Final Paper Deadline
Registration deadline
Submit Comment