×

基于组件的框架的可表达性:对BIP的可表达性的研究。 (英语) 兹比尔1477.68174

摘要:我们扩展了以前基于组件的框架概念的代数形式化,以便正式定义完整表达性概念的两种形式——强形式和弱形式,并研究它们的属性。我们之前的结果表明,相对于用于定义其语义的GSOS规则的子类,BIP(行为交互优先级)框架并不具有强大的完全表达能力。在本文中,我们对这一比较进行了细化,详细介绍了经典BIP、Offer BIP的表达能力,以及通过放松优先级模型定义中的约束或通过在用于定义复合运算符操作语义的规则格式中引入正前提而获得的一些变体。获得的结果被组织成一个表达层次。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
68问题55 计算理论中的语义学

软件:

托勒密
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

参考文献:

[1] 阿蒂,P。;Baranov,E。;Bliudze,S。;Jaber,M。;Sifakis,J。;Giannakopoulou,D。;Salaün,G.,《架构可组合性的一般框架》,第十二届软件工程和形式方法国际会议(SEFM 2014),LNCS第8702号,128-143(2014),Cham:Springer,Cham·Zbl 1316.68012号
[2] 阿蒂,P。;Baranov,E。;Bliudze,S。;Jaber,M。;Sifakis,J.,《架构可组合性的一般框架》,Form.Asp。计算。,207-231年2月18日(2016年)·Zbl 1342.68029号 ·doi:10.1007/s00165-015-0349-8
[3] Baranov,E。;Bliudze,S.,《提供语义:实现BIP,Sci中粘合操作符的组合性、平坦性和完整表达性》。计算。程序。,109, 2-35 (2015) ·doi:10.1016/j.scico.2015.05.011
[4] Baranov,E.,Bliudze,S.:关于BIP表达能力的注释。摘自:《第23届并发表达性国际研讨会暨第13届结构化操作语义研讨会论文集》,EXPRESS/SOS 2016,EPTCS,第222卷,第1-14页(2016)。10.4204/EPTCS.222.1·Zbl 1477.68175号
[5] Basten,T.,分支双相似性确实是等价的!,Inf.流程。莱特。,58, 3, 141-147 (1996) ·Zbl 0875.68624号 ·doi:10.1016/0020-0190(96)00034-8
[6] 巴苏,A。;Bensalem,S。;博兹加,M。;康巴兹,J。;Jaber,M。;Nguyen,TH;Sifakis,J.,使用BIP框架的基于组件的严格系统设计,IEEE Softw。,28, 3, 41-48 (2011) ·doi:10.1109/MS.2011.27
[7] Basu,A.,Bozga,M.,Sifakis,J.:在BIP中建模异构实时组件。参见:第四届IEEE软件工程与形式化方法国际会议(SEFM06),第3-12页(2006)。10.1109/SEFM.2006.27。受邀演讲
[8] Bliudze,S。;Mavridou,A。;Szymanek,R。;Zolotukhina,A.,并行软件组件与JavaBIP的外部协调,Softw。实践。实验,47,112011-1836(2017)·数字对象标识代码:10.1002/spe.2495
[9] Bliudze,S.,Sifakis,J.:BIP中连接器-结构相互作用的代数。摘自:2007年EMSOFT会议记录,第11-20页。ACM SigBED(2007)。10.1145/1289927.1289935 ·Zbl 1390.68031号
[10] Bliudze,S。;Sifakis,J。;van Breugel,F。;Chechik,M.,《基于组件系统的胶水表现力概念》,CONCUR 2008,LNCS,508-522(2008),Cham:Springer,Cham·Zbl 1160.68458号
[11] Bliudze,S。;Sifakis,J.,连接器代数的因果语义,形式方法系统。设计。,36167-194(2010年)·Zbl 1207.68203号 ·文件编号:10.1007/s10703-010-0091-z
[12] Bliudze,S。;Sifakis,J。;阿佩尔,S。;Jackson,E.,《从基于组件的系统构建的粘合约束合成粘合操作符》,第十届软件组合国际会议,LNCS,51-67(2011),Cham:Springer,Cham
[13] Bliudze,S.、Sifakis,J.、Bozga,M.D.、Jaber,M.:BIP中的建筑内部化。摘自:第17届国际ACM-Sigsoft基于组件的软件工程研讨会论文集,CBSE’14,第169-178页。ACM,美国纽约州纽约市(2014年)。10.1145/2602458.2602477
[14] Bloom,B.:现成模拟、互模拟和类CCS语言的语义。麻省理工学院博士论文(1989年)
[15] Boulanger,JL,SCADE:语言与应用(2015),纽约:Wiley-IEEE出版社,纽约
[16] 布鲁尼,R。;拉内斯,我。;Montanari,U.,无状态连接符的基本代数,Theor。计算。科学。,366,1998年至120年(2006年)·Zbl 1153.68331号 ·doi:10.1016/j.tcs.2006.07.005
[17] 布鲁尼,R。;梅尔格拉蒂,H。;Montanari,美国。;克拉克,E。;Virbitskaite,I。;Voronkov,A.,连接器代数、petri网和bip,《系统信息学的观点》,计算机科学讲稿,19-38(2012),柏林:斯普林格-柏林-海德堡,柏林·Zbl 1336.68006号
[18] Dezani-Ciancaglini,M。;德利古罗,美国。;Laneve,C。;Su,J.,会话和会话类型:概述,Web服务和形式方法:第六届国际研讨会,WS-FM 2009,第6194号,计算机科学讲稿,1-28(2010),柏林:施普林格-柏林-海德堡,柏林
[19] Dokter,K.,Jongmans,S.T.Q.,Arbab,F.,Bliudze,S.:关联BIP和reo。收录于:Knight,S.、Lanese,I.、Lluch-Lafuente,A.、Vieira,H.T.(编辑)《第八届交互与并发体验会议录》,ICE 2015,法国格勒诺布尔,2015年6月4-5日,EPTCS,第189卷,第3-20页(2015)。10.4204/EPTCS.189.3·Zbl 1433.68093号
[20] Eker,J。;詹内克,J。;Lee,E。;刘,J。;刘,X。;Ludvig,J。;Neuendorffer,S。;萨克斯,S。;Xiong,Y.,《驯服异质性:托勒密方法》,Proc。IEEE,91,1,127-144(2003)·doi:10.1109/JPROC.2002.805829
[21] Felleisen,M.:关于编程语言的表达能力。摘自:第三届欧洲编程研讨会(ESOP’90),LNCS,第432卷,第134-151页。斯普林格(1990)。10.1007/3-540-52592-0_60 ·Zbl 0765.68014号
[22] Gorla,D.,《过程计算可编码性和分离结果的统一方法》,Inf.Comput。,208,9,1031-1053(2010年)·Zbl 1209.68336号 ·doi:10.1016/j.ic.2010.05.002
[23] 哥勒,G。;Sifakis,J。;de Boer,FS公司;Bonsangue,MM;格拉芙,S。;de Roever,WP,优先级系统,组件和对象的形式化方法,第二届国际研讨会,FMCO 2003,荷兰莱顿,2003年11月4-7日,计算机科学修订讲座,讲稿,314-329(2003),Cham:Springer,Cham·Zbl 1104.68412号
[24] Gössler,G。;Sifakis,J.,《基于组件建模的组合》,科学。计算。程序。,55, 1-3, 161-183 (2005) ·Zbl 1075.68016号 ·doi:10.1016/j.scico.2004.05.014
[25] 本田,K。;瓦康塞洛斯,VT;库博,M。;Hankin,C.,《结构化通信编程的语言原语和类型规程》,《编程语言和系统》,LNCS,122-138(1998),柏林:斯普林格-柏林-海德堡,柏林
[26] Hüttel,H.等人。;拉内斯,我。;瓦康塞洛斯,VT;Caires,L。;Carbone,M。;Deniélou,项目经理;Mostrous,D。;帕多瓦尼,L。;拉瓦拉,A。;Tuosto,E。;HT维埃拉;Zavattaro,G.,《会话类型和行为合同的基础》,ACM Comput。调查。,49, 1, 3:1-3:36 (2016) ·doi:10.1145/2873052
[27] Mavridou,A.、Stachtiari,E.、Bliudze,S.、Ivanov,A.、Katsaros,P.、Sifakis,J.:基于架构的设计:卫星星载软件案例研究。摘自:第十三届组件软件形式方面国际会议(FACS 2016),《计算机科学讲义》,第10231卷,第260-279页(2016)。10.1007/978-3-319-57666-4_16
[28] Milner,R.,《沟通与并发》。普伦蒂斯·霍尔计算机科学国际丛书(1989),《上鞍河:普伦蒂斯霍尔》,上鞍河·Zbl 0683.68008号
[29] 穆萨维,M。;菲利普斯一世。;Reniers,马萨诸塞州;Ulidowski,I.,有序SOS的语义和表达,Inf.Compute。,207, 85-119 (2009) ·Zbl 1165.68045号 ·doi:10.1016/j.ic.2007.11.008
[30] 穆萨维,M。;Reniers,马萨诸塞州;Groote、JF、SOS格式和元理论:20年后,Theor。计算。科学。,373, 3, 238-272 (2007) ·Zbl 1111.68069号 ·doi:10.1016/j.tcs.2006.12.019
[31] Park,D.M.R.:无限序列上的并发性和自动机。摘自:《第五届地理信息学会理论计算机科学会议论文集》,第167-183页(1981年)。2007年10月10日/BFb0017309·Zbl 0457.68049号
[32] Plotkin,G.D.:操作语义的结构方法。奥胡斯大学技术代表DAIMI FN-19(1981年)。http://citeseer.ist.psu.edu/plotkin81structure.html
[33] Rutten,JJMM,《普遍余代数:系统理论》,Theor。计算。科学。,249, 1, 3-80 (2000) ·Zbl 0951.68038号 ·doi:10.1016/S0304-3975(00)00056-6
[34] Sifakis,J.:基于组件的构建框架。摘自:第三届IEEE软件工程与形式化方法国际会议(SEFM05),第293-300页(2005)。10.1109/SEFM.2005.3。主题演讲
[35] Sobocinski,P.:多方同步的非分离过程演算。收录于:Bonchi,F.,Grohmann,D.,Spoletini,P.,Tuosto,E.(编辑)ICE,EPTCS,第12卷,第87-98页(2009年)。10.4204/EPTCS.12.6·Zbl 1454.68082号
[36] Stachtiari,E。;Mavridou,A。;Katsaros,P。;布利兹,S。;Sifakis,J.,《通过纠正-建造对系统需求和设计进行早期验证》,J.Syst。软质。,145, 52-78 (2018) ·doi:10.1016/j.jss.2018.07.053
[37] van Glabbeek,R.J.:编码和表达的沉思。收录于:Luttik,B.,Reniers,M.A.(编辑)Proceedings Combined 19th International Workshop on Expressiveity In Concurrency and 9th Workshop onStructured Operational Semantics,EXPRESS/SOS 2012,Newcastle on Tyne,UK,2012年9月3日,EPTCS,vol.89,pp.81-98(2012)。10.4204/EPTCS.89.7·Zbl 1415.68034号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。