BIP与Reo的关联
编程语言
2015-08-21 v1
摘要
协调语言简化了并发系统的设计与开发。特别地，外生协调语言（如BIP与Reo）使系统设计者能够显式表达系统中各组件间的交互。在本文中，我们通过定义BI(P)（即无优先级层的BIP）与Reo的语义模型间的变换，建立两者之间的形式关系。我们证明这些变换保持了在公共语义中可表达的所有性质。该形式关系构成了对这两种语言背后基本协调概念进行可靠比较与巩固的基础。此外，该基础提供了翻译，使得任一种语言的用户都能受益于另一种语言的工具链。
引用
@article{arxiv.1508.04848,
title = {Relating BIP and Reo},
author = {Kasper Dokter and Sung-Shik Jongmans and Farhad Arbab and Simon Bliudze},
journal= {arXiv preprint arXiv:1508.04848},
year = {2015}
}
备注
In Proceedings ICE 2015, arXiv:1508.04595