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