随机Reo连接器的组合语义
软件工程
2010-07-30 v1 性能
摘要
本文为基于通道的协调语言Reo提出了一种组合语义，该语义能够分析服务组合的服务质量（QoS）属性。为此，我们为Reo通道标注了随机延迟率，并显式建模了连接器边界处的数据到达率，以捕获其与构成环境的服务之间的交互。我们提出了随机Reo自动机作为Reo自动机的扩展，以便组合地推导出Reo的QoS感知语义。此外，我们还给出了从随机Reo自动机到连续时间马尔可夫链（CTMC）的转换。这种转换使我们能够使用第三方CTMC验证工具对服务组合进行端到端的性能分析。
引用
@article{arxiv.1007.5094,
title = {A Compositional Semantics for Stochastic Reo Connectors},
author = {Young-Joo Moon and Alexandra Silva and Christian Krause and Farhad Arbab},
journal= {arXiv preprint arXiv:1007.5094},
year = {2010}
}
备注
In Proceedings FOCLASA 2010, arXiv:1007.4993