第14届协调语言与自适应系统基础国际研讨会会议录
分布式、并行与集群计算
2015-12-23 v1 计算机科学中的逻辑
编程语言
软件工程
摘要
本卷包含 FOCLASA 2015（第14届协调语言与自适应系统基础国际研讨会）的会议录。FOCLASA 2015 作为第26届并发理论国际会议（CONCUR 2015）的卫星活动，于2015年9月5日在西班牙马德里举行。现代软件系统是分布式的、并发的、移动的，且常涉及异构组件和独立服务的组合。服务协调与自适应构成了分布式与面向服务系统的核心特征。协调语言以及对自适应行为建模和推理的形式化方法有助于简化复杂分布式基于服务的系统的开发，支持功能正确性证明、构造即正确系统的自动合成，并提升此类系统的可重用性与可维护性。FOCLASA 研讨会的宗旨是将上述领域的研究人员和实践者聚集在一起，分享并识别共性问题，并在协调语言与自适应系统的背景下设计通用解决方案。
引用
@article{arxiv.1512.06947,
title = {Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems},
author = {José Proença and Massimo Tivoli},
journal= {arXiv preprint arXiv:1512.06947},
year = {2015}
}