×
保罗·阿蒂;爱德华·巴拉诺夫;西蒙，布利兹;穆罕默德·贾比尔;约瑟夫·西法基斯

体系结构可组合性的通用框架。 （英语） Zbl 1342.68029号

正式Asp。计算。 28，第2期，207-231（2016）.

引用于6文件

MSC公司：

2007年8月 计算机体系结构的数学问题
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

体系结构可组合性;基于组件的框架;安全;活泼;BIP公司

软件：

大都市;托勒密;里奥
PDF格式BibTeX公司 XML格式引用
\textit{P.Attie}等人，正式Asp。计算。28，第2号，207--231（2016；Zbl 1342.68029）
全文： DOI程序

参考文献：

[1] Attie PC、Bensalem S、Bozga M、Jaber M、Sifakis J、Zaraket FA（2013）《BIP中死锁预防的抽象框架》。包含：FMOODS/FORTE，第161-177页
[2] 阿蒂，P。；Baranov，E。；Bliudze，S。；Jaber，M。；Sifakis，J。；Giannakopoulou，D.（编辑）；Salaün，G.（编辑），《建筑可组合性的一般框架》，128-143（2014），瑞士
[3] Attie PC、Baranov E、Bliudze S、Jaber M、Sifakis J（2014）《架构可组合性的一般框架》。技术报告EPFL-Report-196536，EPFL IC IIF RiSD。http://infoscience.epfl.ch/record/196536 ·Zbl 1342.68029号
[4] Abadi M，Leslie L（1993）《作曲规范》。ACM传输程序语言系统15（1）：73-132·数字对象标识代码：10.1145/151646.151649
[5] Arbab F（2004）Reo：基于渠道的组件组合协调模型。数学结构计算科学14（3）：329-366·Zbl 1085.68552号 ·doi:10.1017/S0960129504004153
[6] Basu A，Bensalem S，Bozga M，Combaz J，Jaber M，Nguyen T-H，Sifakis J（2011）使用BIP框架进行严格的基于组件的系统设计。软件IEEE 28（3）：41-48·doi:10.1109/MS.2011.27
[7] Bernardo M，Ciancarini P，Donatiello L（2000）《关于用过程代数形式化建筑类型》。在：SIGSOFT FSE，第140-148页
[8] Balasubramanian K、Gokhale AS、Karsai G、Sztipanovits J、Neema S（2006）《使用模型驱动设计环境开发应用程序》。IEEE计算39（2）：33-40·doi:10.1009/MC.2006.54
[9] Bruni R，Lanese I，Montanari U（2006）无状态连接符的基本代数。计算机科学理论366（1）：98-120·Zbl 1153.68331号 ·doi:10.1016/j.tcs.2006.07.005
[10] Bliudze S，Sifakis J（2007）BIP中连接器-结构相互作用的代数。收录：2007年萨尔茨堡EMSOFT会议记录，ACM SigBED，第11-20页·Zbl 1390.68031号
[11] Bliudze S，Sifakis J（2010）《连接器代数的因果语义》。形式方法系统设计36（2）：167-194·Zbl 1207.68203号 ·文件编号：10.1007/s10703-010-0091-z
[12] Bliudze，S。；Sifakis，J。；Sven，A.（编辑）；Ethan，J.（编辑），《从基于组件的系统构建的胶约束合成胶操作符》，51-67（2011），柏林/海德堡·doi:10.1007/978-3-642-22045-64
[13] Balarin F、Watanabe Y、Hsieh H、Lavagno L、Passerone C、Sangiovanni-Vincentelli A（2003）《大都会：集成电子系统设计环境》。IEEE计算36（4）：45-52·doi:10.1109/MC.2003.1193228
[14] Calder M、Kolberg M、Magill EH、Reiff-Marganiec S（2003）《功能交互：批判性回顾和深思熟虑的预测》。计算净值41（1）：115-141·Zbl 1047.68502号 ·doi:10.1016/S1389-1286（02）00352-3
[15] D’Souza D，Gopinathan M（2008）《冲突容忍特性》。包含：CAV，LNCS，第5123卷。施普林格，第227-239页·Zbl 1155.68432号
[16] Decker G、Puhlmann F、Weske M（2006）《规范服务交互》。内容：业务流程管理，第414-419页·Zbl 1207.68203号
[17] Eker J、Janneck JW、Lee EA、Liu J、Liu X、Ludvig J、Neuendorffer S、Sachs S、Xiong Y（2003）《治理异质性：托勒密方法》。IEEE 91（1）会议记录：127-144·doi:10.1109/JPROC.2002.805829
[18] Francez N，Forman IR（1996）交互过程：协调分布式编程的多方方法。ACM出版社/Addison Wesley出版社，纽约·Zbl 0851.68031号
[19] Fiadeiro JL（2004）《软件工程分类》，Springer-Verlag·兹比尔1138.68365
[20] Hay JD，Atlee JM（2000）《构建功能和解决交互》。SIGSOFT软件工程注释25（6）：110-119·doi:10.1145/357474.355061
[21] Hoare CAR（1985）通信顺序过程。普伦蒂斯·霍尔计算机科学国际系列。普伦蒂斯·霍尔·Zbl 0637.68007号
[22] Liskov B，Guttag J（2000）《java程序开发》。艾迪森·韦斯利·Zbl 0644.68001号
[23] Li Z，Jin Y，Han J（2006）web服务交互的运行时监视和验证框架。包含：ASWEC，第70-79页
[24] Liu I，Reineke J，Lee EA（2010）支持具有可组合计时属性的并发程序的PRET体系结构。In：信号、系统和计算机（ASILOMAR），2010年第四十四届ASILOMAR会议记录，第2111-2115页·Zbl 1047.68502号
[25] Milner R（1989）通信与并发。普伦蒂斯·霍尔计算机科学国际系列·Zbl 0683.68008号
[26] Plath M，Ryan M（2001）使用特征构造的特征集成。科学计算程序41（1）：53-84·Zbl 0983.68236号 ·doi:10.1016/S0167-6423（00）00018-6
[27] Ray A，Cleaveland R（2003）《架构交互图：系统建模的AID》。收录于：ICSE'03：第25届软件工程国际会议论文集，华盛顿特区。IEEE计算机学会，第396-406页
[28] Spitznagel B，Garlan D（2003）连接器包装的组成形式化。包含：ICSE。IEEE计算机学会，第374-384页·Zbl 0251.05107号
[29] Sifakis J（2012）严格的系统设计。发现趋势Electron Des Autom 6（4）：293-3622012·兹比尔0251.05107
[30] Tarjan R（1972）深度-第一搜索和线性图算法。SIAM J计算1（2）：146-160·兹比尔0251.05107 ·数字对象标识代码：10.1137/0201010
[31] Wegner P（1996）作为约束交互的协调（扩展抽象）。在：协调语言和模型，LNCS，第1061卷。施普林格，第28-33页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。