×
Dokter，Kasper公司；宋世宗曼；法哈德·阿尔巴；西蒙·布利兹

合并与征服：关联BIP和Reo。 （英语） Zbl 1353.68201号

J.日志。阿尔盖布。方法计划。 86，第1期，134-156（2017）.
概要：协调语言简化了并发系统的设计和开发。特别是，外部协调语言，如BIP和Reo，使系统设计者能够显式地表达系统中组件之间的交互。外部协调语言之间的形式关系是对其基本概念进行坚实比较和巩固的基础。本文通过定义语义模型之间的转换，在BI（P）（即不带优先级的BIP）和Reo之间建立了形式化关系。我们表明，这些转换保留了所有可以用通用语义表示的属性。我们使用这些转换来定义数据敏感的BIP体系结构及其组成。

引用于1文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

协调；正式翻译；正确性证明；BIP公司；里奥

软件：

里奥；mCRL2型
PDF格式BibTeX公司 XML格式引用
\textit{K.Dokter}等人，J.Log。阿尔盖布。方法程序。86，第1号，134--156（2017；Zbl 1353.68201）
全文： 内政部 链接

参考文献：

[1] 巴苏，A。；博兹加，M。；Sifakis，J.，《BIP中异构实时组件建模》（SEFM Proc.（2006），ACM），3-12
[2] Bliudze，S。；Sifakis，J.，《连接器代数：BIP中的结构化交互》（EMSOFT（2007），ACM），11-20
[3] Arbab，F.，Reo：基于渠道的组件组合协调模型，数学。结构。计算。科学。，14, 3, 329-366 (2004) ·Zbl 1085.68552号
[4] Arbab，F.，Puff，魔法协议，（Talcott Festschrift，《计算科学讲义》，第7000卷（2011），Springer），169-206
[5] 帕帕佐普洛斯，G.A。；Arbab，F.，《使用协调范式的组件配置和动态重新配置》，Future Gener。计算。系统。，17, 8, 1023-1038 (2001) ·Zbl 1032.68053号
[6] BIP工具集（2016年4月）
[7] Reo工具集（2016年4月）
[8] Jongmans，S.-S.T.Q。；Arbab，F.，《Reo的三十种语义形式概述》，Sci。Ann.计算。科学。，22, 1, 201-251 (2012) ·Zbl 1424.68105号
[9] 阿蒂，P。；Baranov，E。；Bliudze，S。；Jaber，M。；Sifakis，J.，《架构可组合性的一般框架》（SEFM Proc.of SEFM，Proc.of Compute Sci.，vol.8702（2014），Springer），128-143
[10] Bliudze，S。；西法基斯，J。；博兹加，M。；Jaber，M.，BIP中的体系结构内部化，（美国建筑学会会议记录（2014）），169-178
[11] 克拉克，D。；科斯塔·D·。；Arbab，F.，连接器着色I：同步和上下文依赖，科学。计算。程序。，66, 3, 205-225 (2007) ·Zbl 1121.68015号
[12] 琼曼，S.-S.TQ。；克劳斯，C。；Arbab，F.，《将Reo中的上下文敏感性编码为非文本敏感性语义模型》，（《协调程序》，《计算科学讲义》（2011），施普林格：施普林格-柏林，海德堡），31-48
[13] Dokter，K。；琼曼，S.-S.TQ。；Arbab，F。；Bliudze，S.，《BIP与Reo的关系》，（ICE Proc.of ICE Proc，Electron.Proc.Theor.Compute Sci.（2015）），3-20·Zbl 1433.68093号
[14] 拜尔，C。；Sirjani，M。；Arbab，F。；Rutten，J.，通过约束自动机在Reo中建模组件连接器，科学。计算。程序。，61, 2, 75-113 (2006) ·Zbl 1105.68058号
[15] 科勒，C。；Clarke，D.，《分解端口自动机》（SAC Proc.of SAC（2009），ACM），1369-1373
[16] 拜尔，C。；Klein，J。；Klüppelholz，S.，策略和控制器用Reo连接器的合成，Fundam。通知。，130, 1, 1-20 (2014) ·Zbl 1286.68067号
[17] Milner，R.，《通信与并发》，第84卷（1989年），Prentice-Hall公司·Zbl 0683.68008号
[18] Gadducci，F。；Montanari，U.，瓷砖模型，（证明、语言和交互（2000），麻省理工学院出版社），133-166
[19] Arbab，F。；布鲁尼，R。；克拉克，D。；拉内斯，我。；Montanari，U.，Tiles for Reo，（WADT Proc.of WADT.Proc.，计算科学讲义，第5486卷（2009），施普林格：施普林格柏林，海德堡），37-55·Zbl 1253.68090号
[20] 布鲁尼，R。；梅尔格拉蒂，H。；Montanari，U.，连接器代数、Petri网和BIP，（PSI Proc.of PSI Proc，《计算科学讲义》，第7162卷（2011），Springer），19-38·Zbl 1336.68006号
[21] Krause，C.，《Reo连接器和Petri网的集成结构和语义》（ICE Proc.of ICE，Electron.Proc.Theor.Compute.Sci.（2009）），57-69·Zbl 1454.68077号
[22] 帕帕佐普洛斯，G.A。；Arbab，F.，协调模型和语言，高级计算。，46, 329-400 (1998)
[23] 普伦萨，J。；Clarke，D.，Orc和Reo比较的协调模型，Electron。注释Theor。计算。科学。，194, 4, 57-76 (2008) ·Zbl 1277.68201号
[24] M.Y.Chkouri。；罗伯特·A。；博兹加，M。；Sifakis，J.，《将AADL转换为BIP——实时系统验证应用》，（《模型Proc.of MODELS.Proc.of MODELS》，《计算科学讲义》，第5421卷（2009年），施普林格出版社），5-19
[25] 塔尔科特，C。；Sirjani，M。；Ren，S.，比较三种协调模式：Reo、ARC和PBRD，Sci。计算。程序。，76, 1, 3-22 (2011) ·Zbl 1211.68056号
[26] Valiant，L.G.，并行计算的桥接模型，Commun。ACM，33，8，103-111（1990）
[27] Barros，T。；阿穆尔·布利法（Ameur-Boulifa，R.）。；Cansado，A。；Henrio，L。；Madelaine，E.，分布式分形成分的行为模型，Ann.Télécommon。，64, 1-2, 25-43 (2009)
[28] 温斯克尔，G。；Nielsen，M.，并发模型，（计算机科学逻辑手册，第4卷（1995），牛津大学出版社），1-148·Zbl 0876.68001号
[29] Bergstra，J.A。；Klop，J.W.，用抽象交流过程的代数，Theor。计算。科学。，3777-121（1985年）·Zbl 0579.68016号
[30] 北卡罗来纳州科卡什。；克劳斯，C。；de Vink，E.P.，Reo+mcrl2：服务组合中模型检查数据流的框架，Form.Asp。计算。，24, 2, 187-216 (2012) ·Zbl 1259.68129号
[31] 克兰恩，S。；Groote，J.F。；Keiren，J.J.A。；Stappers，F.P.M.公司。；德文克，E.P。；韦瑟林克，W。；Willemse，T.A.C.，《mcrl2工具集及其最新进展概述》，（《TACAS程序》，《TACAS.程序》，计算科学讲义（2013），施普林格），199-213·Zbl 1381.68198号
[32] Jongmans，S.-S.T.Q.，自动化理论协议编程（2016），莱顿大学博士论文
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。