罗德里戈·拉莫斯;奥古斯托·桑帕约;亚历山大·莫塔 交互组件协调的一致性概念。 (英语) Zbl 1200.68072号 科学。计算。程序。 75,第5期,350-373(2010). 概要:在基于组件的开发中,软件组件被视为组成单元。然而,为了实现组件作为简单的“乐高积木”插在一起的广泛传播状态,组件的集成必须经过精心设计、系统化和验证;只有这样才能确保架构的可靠性。在这项工作中,考虑到集成中使用的协调模式,我们提出了一些一致性概念来预测某些组合形式的精确性质。这些概念根据过程代数CSP的指称语义进行了形式化,并在集成过程中帮助设计者进行常见活动,例如通过实现、合同修改和系统扩展替换组件规范。为了支持使用FDR(CSP的模型检查器)进行机械验证,我们从一致性的指称定义中导出了测试特征。我们通过软件框架的系统组合策略说明了这些概念的应用,并且我们机械地验证了这些组合中行为组件属性的保存。此外,我们还描述了在组件组装之前的设计阶段此策略中使用的协调模式的良好形式。 引用于1文件 理学硕士: 68纳米30 软件工程的数学方面(规范、验证、度量、需求等) 关键词:软件组件;框架;协调模式;成分可预测性;一致性验证 软件:WSAT公司;合成;第二代外国存托凭证 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramos}等人,科学。计算。程序。75,第5号,350-373(2010;Zbl 1200.68072) 全文: 内政部 参考文献: [1] Szyperski,C.:组件软件:超越面向对象编程(2002)·Zbl 1033.68729号 [2] Mahoney,M.:《软件工程的根源》,CWI季刊3325-334(1990)·兹比尔0732.01029 [3] B.Spitznagel,软件连接器的组合转换,卡内基梅隆大学博士论文,编号:CMUCS04128,2004年5月 [4] 帕帕佐普洛斯,G。;Arbab,F.:协调模型和语言,《计算机的进展》46,330-401(1998) [5] Hepner,M。;Gamble,R。;Kelkar,M。;Davis,L。;Flagg,D.:软件组件之间的冲突模式,《系统软件杂志》79,537-551(2006) [6] 马特森,M。;博世,J。;Fayad,M.E.:框架集成问题、原因、解决方案,ACM通信42,80-87(1999) [7] 克伦科维奇,I。;Larsson,M。;Preiss,O.:《关于可靠组件系统的可预测性:质量属性的分类》,Lncs 3549,257-278(2005) [8] Leveson,N.G.:《安全软件:系统安全和计算机》(1995) [9] Shukla,S。;Doucet,F。;Gupta,R.:嵌入式系统设计的结构化组件组合框架,Lncs 2552,663-678(2002)·Zbl 1032.68543号 [10] 刘,K.-K。;Ornaghi,M.:基于组件的软件中的OOD框架——计算逻辑开发,Lncs 1559,101-123(1999) [11] 布罗基,A。;运河,C。;Pimentel,E.:《通过灵活服务实现组件自适应》,《计算编程科学》63,39-56(2006)·Zbl 1103.68462号 ·doi:10.1016/j.scico.2005.07.012 [12] 瓦莱西略,A。;Vasconselos,V.T。;Ravara,A.:使用会话类型键入软件组件的行为,Fundamenta informaticae 73,No.4,583-598(2006)·Zbl 1114.68384号 [13] 拉莫斯,R。;Sampaio,A。;Mota,A.:通过细化检查实现框架组合一致性,119-125(2008) [14] Roscoe,A.W.:并发的理论与实践,普伦蒂斯·霍尔计算机科学系列(1998) [15] 正式系统,故障分歧细化:Fdr2用户手册,2005年 [16] R.Allen,软件体系结构的正式方法,博士论文,卡内基梅隆大学计算机科学学院,发表于CMU技术报告CMUU-CS-97-1441997 [17] Arbab,F.:组件组成的协调,理论计算机科学中的电子笔记160,15-40(2006) [18] 奥蒂利,M。;因弗拉迪,P。;纳瓦拉,A。;Tivoli,M.:《SYNTHESIS:自动组装正确的分布式组件系统的工具》,784-787(2007) [19] Fowler,M.:企业应用程序架构模式,(2003) [20] 霍佩,G。;Woolf,B.:企业集成模式,(2003) [21] Buschmann,F。;Meunier,R。;Rohnert,H。;Sommerlad,P。;Stal,M.:面向模式的软件体系结构:模式系统(1996) [22] 伽玛,E。;赫尔姆·R。;约翰逊,R。;Vlissides,J.:设计模式:可重用面向对象软件的元素,(1995)·Zbl 0887.68013号 [23] Van Der Aalst,W。;Hofstede,A.Ter;基普什维斯基,B。;Barros,A.:工作流模式,分布式和并行数据库14,5-51(2003) [24] Malone,T.:免费范围,IEEE计算机学会1,8-20(1997) [25] X.Fu,T.Bultan,J.Su,《交互式BPEL web服务分析》,载于:ACM国际万维网会议,2004年,第621-630页 [26] 马图古伊,S。;Beugnard,A.:如何实现软件连接器?一种可重复使用、抽象和适应性强的连接器,Lncs 3543、83-94(2005) [27] 梅斯基塔,W。;Sampaio,A。;De Melo,A.C.V.:框架正式构成战略,404-413(2005) [28] 克伦科维奇,I。;Hnich,B。;Jonsson,T。;克孜尔坦,Z.:组件的规范、实施和部署,ACM通信45,35-40(2002) [29] 布罗伊,M。;Deimel,A。;Henn,J。;Koskimies,K。;Plasil,F。;Pomberger,G。;普雷,W。;斯塔尔,M。;Szyperski,C.:软件组件的特征,软件概念工具19,49-56(1998) [30] Medvidovic,北。;Taylor,R.:软件体系结构描述语言的分类和比较框架,软件工程汇刊26,70-93(2000) [31] OMG、UML 2.0基础设施规范、对象管理组、OMG采用规范。可在http://www.omg.org/uml, 2003 [32] 罗斯汉德尔(Roshandel,R.)。;Medvidovic,N.:可靠性的多视图软件组件建模,Lncs 3069286-306(2004) [33] 拉莫斯,R。;Sampaio,A。;Mota,A.:通过映射到circus的UML-RT活动类的语义,Lncs 3535,99-114(2005) [34] He,J。;李,X。;刘忠:《反应组分理论》,《理论计算机科学电子笔记》160、173-195(2006) [35] K.C.Wallnau,第三卷:可认证组件的可预测组装技术,技术代表CMU/SEI-2003-TR-009,卡内基梅隆大学软件工程研究所,宾夕法尼亚州匹兹堡,2003年 [36] Shaw先生。;Clements,P.:箱学野外指南,6-13(1997) [37] Braciali,A。;布罗基,A。;Turini,F.:协调互动模式,159-165(2001) [38] 格雷,J。;Reuter,A.:事务处理:概念和技术(1993)·Zbl 0781.68006号 [39] Liskov,B.H。;Wing,J.M.:亚型的行为概念,ACM 16,1811-1841(1994) [40] Wehrheim,H.:主动对象的行为子类型关系,系统设计中的形式化方法23,143-170(2003)·Zbl 1057.68015号 ·doi:10.1023/A:1024764232069 [41] Fournet,C。;Hoare,T。;Rajamani,S.K。;Rehof,J.:无卡滞一致性,Lncs 3114,242-254(2004)·Zbl 1103.68612号 ·doi:10.1007/b98490 [42] 凯沙夫,R。;Gamble,R.:架构集成策略分类法,89-92(1998) [43] 施密特,D。;斯塔尔,M。;Rohnert,H。;Buschmann,F.:面向模式的并发和分布式对象软件体系结构模式,(2000)·Zbl 1001.68025号 [44] 梅塔,N.R。;梅德维多维奇,N。;Phadke,S.:软件连接器分类,178-187(2000) [45] M.Mattsson,《面向对象框架的演化与组合》,瑞典卡尔斯克罗纳大学软件工程与计算机科学系博士论文,2000年·Zbl 0944.60096号 [46] X.Chen,J.He,Z.Liu,rCOS中的组件协调,技术代表335,联合国大学国际软件技术研究所,邮政信箱3058,澳门,2006 [47] 陈,X。;He,J。;刘,Z。;Zhan,N.:基于组件的编程模型,Lncs 4767191-206(2007)·兹比尔1141.68363 ·doi:10.1007/978-3-540-75698-9_13 [48] 布罗基,A。;运河,C。;Pimentel,E.:《测量组件适应性》,Lncs 29–49,71-86(2004)·Zbl 1081.68531号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。