关于BIP框架表达性的注记
分布式、并行与集群计算
2016-08-11 v1 计算机科学中的逻辑
编程语言
软件工程
摘要
我们扩展了先前关于基于组件的框架概念的代数形式化，以正式定义两种形式的完全表达性：强和弱。我们早先的结果表明BIP（行为-交互-优先级）框架不具备强完全表达性。在本文中，我们通过放宽施加在优先级模型上的约束，展示了BIP具有该概念的弱形式，并提供了关于经典BIP及若干变体的弱和强完全表达性的详细结果。
引用
@article{arxiv.1608.03125,
title = {A Note on the Expressiveness of BIP},
author = {Eduard Baranov and Simon Bliudze},
journal= {arXiv preprint arXiv:1608.03125},
year = {2016}
}
备注
In Proceedings EXPRESS/SOS 2016, arXiv:1608.02692