×
月亮，Young-Joo；亚历山德拉·席尔瓦；克里斯蒂安·克劳斯；法哈德·阿尔巴

一个组合模型，用于推理随机Reo连接器中的端到端QoS。 （英语） Zbl 1412.68065号

科学。计算。程序。 80，A部分，3-24（2014）.
摘要：在本文中，我们为基于信道的协调语言Reo提出了一种组合语义，该语义支持分析服务组合的服务质量（QoS）属性。为此，我们用随机延迟率注释Reo信道，并在连接器边界处显式建模数据到达率，以捕获其与构成其环境的服务的交互。我们提出随机Reo自动机作为Reo自变量的扩展，以便从组合上导出Reo的QoS感知语义。我们进一步提出了随机Reo自动机到连续时间马尔可夫链（CTMC）的转换。这种转换使我们能够使用第三方CTMC验证工具对服务组合进行端到端性能分析。此外，我们还讨论了交互马尔可夫链（IMC）在多大程度上可以作为随机Reo的替代语义模型。我们证明了随机Reo的语义不能使用IMC提供的乘积运算符进行组合指定。

引用于1文件

MSC公司：

2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
68甲15 编程语言理论
65年第68季度 形式语言和自动机
第68季度55 计算理论中的语义学
60年第68季度 规范和验证（程序逻辑、模型检查等）
87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等）

关键词：

协调语言；里奥；连续时间马尔可夫链；服务质量；合成语义模型

软件：

CADP公司；棱镜；分享；里奥
PDF格式BibTeX公司 XML格式引用
\textit{Y.-J.Moon}等人，科学。计算。程序。80，A部分，3--24（2014；Zbl 1412.68065）
全文： 内政部 arXiv公司 链接

参考文献：

[1] Arbab，F.，Reo:基于通道的组件合成协调模型，《计算机科学中的数学结构》，14，3，329-366，（2004）·Zbl 1085.68552号
[2] 拜尔，C。；Sirjani，M。；Arbab，F。；Rutten，J.J.M.M.，通过约束自动机对reo中的组件连接器建模，《科学计算机编程》，61，2，75-113，（2006）·Zbl 1105.68058号
[3] M.Bonsangue，D.Clarke，A.Silva，上下文相关组件连接器模型，《计算机编程科学》（出版）更正证明。doi:10.1016/j.scico.2011.01.006·Zbl 1243.68147号
[4] Arbab，F。；乔西亚，T。；范德梅，R。；孟，S。；Moon，Y.-J。；Verhoef，C.，《从协调到QoS的随机模型》，（coordination，计算机科学讲义，第5521卷，（2009），Springer），268-287
[5] Moon，Y.-J。；席尔瓦，A。；克劳斯，C。；Arbab，F.，《随机reo连接器的组合语义》，（FOCLASA，EPTCS，第30卷，（2010）），93-107
[6] Hermanns，H.（交互式马尔可夫链：量化质量的探索，计算机科学讲义，第2428卷，（2002），Springer）·Zbl 1012.68142号
[7] Stewart，W.J.，《马尔可夫链数值解导论》（1994），普林斯顿大学出版社·Zbl 0821.65099号
[8] 辛顿，A。；Kwiatkowska，M.Z。；诺曼，G。；Parker，D.，PRISM:概率系统自动验证工具，（TACAS，计算机科学讲义，第3920卷，（2006），Springer），441-444
[9] O'Cinneide，C.A.，相位型分布的表征，（随机模型，第6卷，（1990），Taylor&Francis），1-57·Zbl 0701.62021号
[10] Neuts，M.F.，随机模型中的矩阵几何解：一种算法方法，（1981），约翰·霍普金斯大学出版社·Zbl 0469.60002号
[11] 加拉维勒，H。；Mateescu，R。；朗·F。；Serwe，W.，《CADP 2006：构建和分析分布式进程的工具箱》，（CAV，《计算机科学讲义》，第4590卷，（2007），Springer），158-163
[12] 加拉维勒，H。；Hermanns，H.，《关于使用CADP结合功能验证和性能评估》，（FME，计算机科学讲义，第2391卷，（2002），Springer），410-429·Zbl 1064.68523号
[13] Boudali，H。；克劳森，P。；Stoelinga，M.，《基于交互式马尔可夫链的动态故障树组合语义》，（ATVA，《计算机科学讲义》，第4762卷，（2007），Springer），441-456·Zbl 1141.68454号
[14] Boudali，H。；克劳森，P。；Stoelinga，M.，使用输入/输出交互式马尔可夫链进行动态故障树分析，（可靠系统和网络国际会议，（2007年），IEEE计算机学会），708-717
[15] Boudali，H。；克劳森，P。；Stoelinga，M.，动态故障树分析的严格、组合和可扩展框架，IEEE可靠和安全计算事务，7，2，128-143，（2010）
[16] Boudali，H。；克劳森，P。；哈弗科特，B.R。；Kuntz，M。；Stoelinga，M.，《带拱廊的建筑可靠性评估》（DSN，（2008），IEEE计算机学会），512-521
[17] 波扎诺，M。；Cimatti，A。；Roveri，M。；Katoen，J.-P。；Nguyen，V.Y。；Noll，T.，《可靠系统的协同设计：一种基于组件的建模语言》，（MEMOCODE’09：第七届IEEE/ACM国际会议论文集，关于协同设计的形式方法和模型，（2009），IEEE出版社，美国新泽西州皮斯卡塔韦），121-130
[18] 波扎诺，M。；Cimatti，A。；Katoen，J.-P。；Nguyen，V.Y。；诺尔·T。；Roveri，M.，《COMPASS方法：航空航天系统的正确性、建模和性能》（SAFECOMP，《计算机科学讲义》，第5775卷，（2009年），斯普林格出版社），173-186
[19] Hermanns，H。；Katoen，J.-P.，交互马尔可夫链的方式和原因，（组件和对象的形式化方法（FMCO），计算机科学讲义，第6286卷，（2010），Springer-Verlag），311-337·Zbl 1312.68152号
[20] （Calzarossa，M.；Tucci，S.，《复杂系统的性能评估：技术和工具》，性能2002，计算机科学教程，讲稿，第2459卷，（2002），施普林格）·Zbl 1005.68710号
[21] 费尔南德斯，P。；高原，B。；Stewart，W.J.，随机自动机网络中的有效描述子向量乘法，ACM杂志，45，3，381-414，（1998）·Zbl 1065.68578号
[22] 斯图尔特·W·J。；Atif，K。；Plateau，B.，随机自动机网络的数值解，《欧洲运筹学杂志》，86，3，503-525，（1995）·Zbl 0914.90112号
[23] （Haverkort，B.R.；Marie，R.；Rubino，G.；Trivedi，K.S.，《可执行性建模：技术和工具》，（2001），威利出版社）
[24] Sahner，R.A。；特里维迪，K.S。；Puliafito，A.，《计算机系统的性能和可靠性分析：使用SHARPE软件包的基于实例的方法》，（1996年），Kluwer Academic Publishers Norwell，MA，USA·Zbl 0847.68010号
[25] Hillston，J.，《性能建模的组合方法》，（1996），剑桥大学出版社
[26] 贝尔纳多，M。；Gorrieri，R.，《扩展马尔科夫过程代数》，（CONCUR，计算机科学讲义，第1119卷，（1996），Springer），315-330·Zbl 1514.68155号
[27] 伯纳多，M。；Gorrieri，R.，《EMPA教程：具有不确定性、优先级、概率和时间的并发过程理论》，理论计算机科学，202，1-2，1-54，（1998）·Zbl 0902.68075号
[28] 克劳斯，C。；马里卡尔，Z。；拉佐维克，A。；Arbab，F.，《使用高级替换系统对reo中的动态重新配置建模》，《计算机编程科学》，76，1，23-36，（2011年），（第六届协调语言和软件架构基础国际研讨会（FOCLASA'07）论文选集）·Zbl 1211.68052号
[29] 拜尔，C。；Wolf，V.，关于基于信道的组件连接器的随机推理，（COORDINATION，计算机科学讲义，第4038卷，（2006），Springer），1-15
[30] Younes，H.L.S。；Simmons，R.G.，使用连续相型分布求解广义半马尔可夫决策过程，（第19届全国人工智能会议论文集，（2004），加州AAAI出版社），742-748
[31] O.Kanters，《通过Reo中的模拟进行QoS分析》，硕士论文，荷兰阿姆斯特丹Vrije大学，2010年。
[32] 可扩展的协调工具，http://reo.project.cwi.nl/。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。