马塞洛·邦桑格;克拉克、戴夫;亚历山德拉·席尔瓦 上下文相关组件连接器的模型。 (英语) Zbl 1243.68147号 科学。计算。程序。 77,第6号,685-706(2012). 概要:基于组件的软件工程的最新方法使用协调连接器将组件组成软件系统。为了获得最大的灵活性和重用,这些连接器本身可以组合在一起,从而形成一个连接器的表达演算,其语义包含同步、互斥、非确定性选择和状态依赖行为的复杂组合。为了提高连接器的表达能力,人们提出了上下文相关行为的概念。可以使用上下文依赖性来表示一种行为相对于另一种行为的优先级,以及由于上下文变化而对动作的抑制。我们在本文中考虑的上下文概念是由连接器端口上的挂起活动给出的。只要连接器可用的选项随着上下文的变化而非单调地改变,就会发生上下文相关的行为。在正式模型中捕获上下文相关的行为是非常重要的,因为不清楚如何通过组合传播上下文信息。在本文中,我们提出了一个基于直觉自动机的上下文相关连接词形式化模型,并认为它优于以前对协调语言Reo的这种模型的尝试。 引用于4文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 65年第68季度 形式语言和自动机 关键词:协调;语境依赖性;组件连接器;里奥 软件:琳达;皮科拉;里奥;歧管 PDF格式BibTeX公司 XML格式引用 \textit{M.Bonsangue}等人,科学。计算。程序。77,编号6865-706(2012年;兹bl 1243.68147) 全文: 内政部 参考文献: [1] Arbab,Farhad:Reo:基于渠道的组件组合协调模型,数学。结构计算。科学。14,第3期,329-366(2004)·Zbl 1085.68552号 ·doi:10.1017/S0960129504004153 [2] Arbab,Farhad:抽象行为类型:组件及其组成的基础模型,科学。计算。程序。55,第1-3号,第3-52号(2005年)·Zbl 1075.68014号 ·doi:10.1016/j.scico.2004.05.010 [3] Farhad Arbab、Roberto Bruni、Dave Clarke、Ivan Lanese、Ugo Montanari,《Reo的瓷砖》,收录于:Corradini和Montanari[15],第37-55页·Zbl 1253.68090号 [4] Farhad Arbab,Tom Chothia,Rob van der Mei,Sun Meng,Young-Joo Moon,Chrétien Verhoef,《从协调到QoS随机模型》,收录于:Field and Vasconcelos[19],第268-287页。 [5] 法哈德·阿尔巴;伊凡·赫尔曼;Spilling,Pól:流形及其实现概述,并发实践。实验5,第1期,23-70(1993) [6] 法哈德·阿尔巴;Rutten,Jan J.M.M.:组件连接器的共导演算,计算机科学课堂讲稿2755,34-55(2002)·Zbl 1278.68200号 [7] 克里斯特尔·拜尔(Christel Baier);Sirjani,Marjan;法哈德·阿尔巴;Rutten,Jan J.M.M.:通过约束自动机在reo中建模组件连接器,科学。计算。编程61,No.2,75-113(2006)·Zbl 1105.68058号 ·doi:10.1016/j.scico.2005.10.008 [8] 巴博萨,路易斯·索亚雷斯;马可·安东尼奥·巴博萨(Marco Antonio:A perspective on service orchestration),科学。计算。编程74,671-687(2009)·Zbl 1167.68361号 ·doi:10.1016/j.scico.2008.09.019 [9] 巴博萨,马可·安东尼奥;巴博萨,路易斯·索亚雷斯;JoséCreissac Campos:《走向交互系统的协调模型》,Electron。注释理论。计算。科学。183, 89-103 (2007) [10] 西蒙·布利乌兹(Simon Bliudze);约瑟夫·西法基斯(Joseph Sifakis):连接器代数——BIP中的结构化交互,IEEE trans。计算。57,第10号,1315-1330(2008)·Zbl 1209.68123号 [11] Marcelo M.Bonsangue,Dave Clarke,Alexandra Silva,上下文相关连接器的自动机,见:Field和Vasconcelos[19],第184–203页·Zbl 1243.68147号 [12] 罗伯托·布鲁尼;伊凡·拉内斯;Ugo Montanari:无状态连接符的基本代数,Theor。计算。科学。366,编号1–2,98-120(2006)·Zbl 1153.68331号 ·doi:10.1016/j.tcs.2006.07.005 [13] 克拉克,戴夫;大卫·科斯塔;阿尔巴布,法哈德:连接着色I:同步和上下文依赖,科学。计算。编程66,No.3,205-225(2007)·Zbl 1121.68015号 ·doi:10.1016/j.scico.2007.01.009 [14] 戴夫·克拉克(Dave Clarke);何塞·普伦萨;亚历山大·拉佐维克;阿尔巴布,法哈德:解构reo,电子。注释理论。计算。科学。229,第2期,43-58(2009)·Zbl 1347.68077号 [15] ,计算机科学讲稿5486(2009) [16] David Costa,组件连接器的正式模型。2010年阿姆斯特丹Vrij大学博士论文。 [17] Frank S.De Boer。;Joost N.角。;帕拉米德斯,卡图西亚;Rutten,Jan J.M.M.:非单调并发约束规划,315-334(1993)·Zbl 0832.68014号 [18] JoséLuiz Fiadeiro;安托尼亚州洛佩斯:移动中的社区:分布和移动性的架构,计算机科学讲义3188177-196(2003)·Zbl 1104.68431号 ·数字对象标识代码:10.1007/b100112 [19] ,计算机科学讲座笔记5521(2009) [20] Fornet,塞德里克;Georges Gonthier:连接演算:分布式移动编程语言,计算机科学讲义2395,268-332(2000)·Zbl 1065.68071号 [21] David Gelernter:《琳达的生殖传播》,ACM trans。程序。语言系统。7,第1号,80-112(1985)·Zbl 0559.68030号 ·数字对象标识代码:10.1145/2363.2433 [22] Juan Visente Guillen Scholten,分布式系统外部协调的移动通道:语义、实现和组合,莱顿大学数学与自然科学学院LIACS博士论文,2007年1月。 [23] 穆罕默德·伊扎迪;Bonsange,Marcello M.:将约束自动机重铸为Büchi自动机,计算机科学讲义5160,156-170(2008)·Zbl 1161.68538号 ·文件编号:10.1007/978-3-540-85762-4_11 [24] 穆罕默德·伊扎迪;马塞洛·M·邦桑格。;Clarke,Dave:建模组件连接器:同步和上下文依赖,Sefm,303-312(2008) [25] Khosravi,Ramtin;Sirjani,Marjan;内萨·阿苏德;Sahebi,Shaghayegh:使用合金对reo连接器进行建模和分析,计算机科学课堂讲稿5052,169-183(2008) [26] Christian Koehler、Farhad Arbab、Erik P.de Vink,重新配置分布式Reo连接器,收录于:Corradini和Montanari[15],第221-235页。 [27] 克勒(Christian Koehler);戴夫·克拉克(Dave Clarke):《分解港口自动机》(Decomposing port automata),1369-1373年(2009年) [28] 德克斯特·科赞:保护字符串和应用程序上的自动化,Mat。24, 117-139 (2003) ·Zbl 1087.68049号 [29] Dexter Kozen,《关于Kleene代数的余代数理论与测试》,《计算与信息科学技术报告》,康奈尔大学,2008年3月。http://hdl.handle.net/1813/10173。 ·Zbl 1148.68033号 [30] Lee,Bilung;Lee,Edward A.:托勒密的层次并发有限状态机,34-40(1998) [31] 刘晓军;熊玉红;爱德华·A·李:托勒密二世视觉语言框架,50-51(2001) [32] Ziyan Maraikar;亚历山大·拉佐维克;Arbab,Farhad:使用SABRE为企业构建mashup,计算机科学讲义5364,70-83(2008) [33] 贾亚德夫·米斯拉;William R.Cook:《计算协调:广域计算的基础》,J.softw。系统。型号。,2006年5月号·Zbl 1151.68360号 [34] 穆萨维、穆罕默德·雷扎;Sirjani,Marjan;Arbab,Farhad:reo,Electr中组件连接符的形式语义和分析。注释理论。计算。科学。154,第1期,83-99(2006) [35] 奥斯卡·尼尔斯特拉斯(Oscar Nierstrasz):《Piccola——一种小型作曲语言(邀请演讲)》,IFIP会议论文集139(1999)·兹比尔1114.68356 [36] Rutten,J.J.M.M.:Coalgebra,并发和控制,离散事件系统(分析和控制),WODES 2000年会议记录,31-38(2000)·Zbl 1017.93064号 [37] 玛丽·肖;David Garlan:《软件体系结构》(1996)·Zbl 0948.68506号 [38] Szyperski,Clemens:组件软件:超越面向对象编程,(2002)·Zbl 1033.68729号 [39] 沃格勒,沃尔特:Petri网的模块结构和偏序语义,(1992)·Zbl 1293.68015号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。