马库斯·隆佩 组件交互自动机的分区细化。 (英语) Zbl 1264.68060号 科学。计算。程序。 78,第1期,27-45(2012). 摘要:组件交互自动机提供了一个合适的模型来捕获和分析面向组件的分层结构软件系统的时间方面。然而,控制组合的规则通常会受到组合状态爆炸的影响,这种影响可能会阻碍建模语言(如组件交互自动机)在实际场景中取得成功。因此,我们必须找到一些适当的方法来抵消状态爆炸,其中之一是通过互模拟,特别是弱互模拟进行分区细化。虽然此技术可以产生所需的状态空间缩减,但它不考虑同步团,即仅通过内部同步转换互连的状态组。同步团产生动作前缀,即封装组件与环境交互能力的前置条件的本地状态。此外,同步团的存在和大小都可以作为分区优化成功的指标。特别是,同步团越频繁,它们包含的状态越多,分区优化越有可能减少状态空间。但是,可能还有其他因素影响细化过程。为此,本文研究了分区细化在弱互模拟下的行为,使用弱互模拟时同步团的产生,如何通过分区细化来减少状态空间,如何意识到同步团的存在,以及组件交互自动机规范的其他属性可以为我们提供额外的线索来预测分区优化过程的可能结果。 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 65年第68季度 形式语言和自动机 关键词:基于自动机的规范;分区细化;涌现属性 软件:Stata公司;皮科拉;里奥;年教育;点 PDF格式BibTeX公司 XML格式引用 \textit{M.Lumpe},科学。计算。程序。78,编号1,27-45(2012;Zbl 1264.68060) 全文: 内政部 参考文献: [1] Szyperski,C.:组件软件:超越面向对象编程(2002)·Zbl 1033.68729号 [2] M.Lumpe,基于微积分的软件组合方法,伯尔尼大学计算机科学和应用数学研究所博士论文,1999年。 [3] O.尼尔斯特拉斯。;Dami,L.:面向组件的软件技术,面向对象的软件组合,3-28(1995) [4] Mcilroy,M.:“大规模”生产的软件组件,软件工程,138-155(1969) [5] 拉马穆尔蒂,C.V。;加格,V。;Prakash,A.:《支持起源中的重用》,IEEE软件工程事务14,第8期,1145-1154(1988) [6] M·肖。;Garlan,D.:《软件架构:新兴学科的视角》,(1996)·Zbl 0948.68506号 [7] Broy,M.:接口和架构的核心理论及其对面向对象的影响,Lncs 3938,26-47(2004) [8] De Alfaro,L。;Henzinger,T.A.:接口自动机,ESEC/FSE 2001年会议记录,109-120(2001) [9] De Alfaro,L。;Henzinger,T.A。;Stoelinga,M.:定时接口,Lncs 2491108-122(2002)·Zbl 1027.68785号 [10] U.Nyman,《作为接口理论和产品线基础的模态转换系统》,奥尔堡大学计算机科学系博士论文,2008年。 [11] Lee,E.A。;Xiong,Y.:基于组件设计的系统级类型,Lncs 2211,237-253(2001)·兹比尔1050.68528 [12] Beugnard,A。;Jézéquel,J.-M。;普卢佐,N。;Watkins,D.:《组件合同感知》,IEEE计算机32,38-45(1999) [13] 塞科,J.C。;Caires,L.:类型化组件的基本模型,Lncs 1850,108-128(2000) [14] Cardelli,L.:类型系统,2208-2236(1997) [15] Brim,L。;采尔纳,I。;Vařeková,P。;Zimmerova,B.:组件交互自动机作为一种面向验证的基于组件的系统规范,SIGSOFT软件工程注释31,1-8(2006) [16] 采尔纳,I。;Vařeková,P。;Zimmerova,B.:通过组件交互自动机的等效性实现组件替代,《理论计算机科学电子笔记》182,39-55(2007) [17] Puntigam,F.:主动物体类型表示的协调要求,Lncs 1241、367-388(1997) [18] 霍普克罗夫特,J.E。;莫特瓦尼,R。;Ullman,J.D.:自动机理论、语言和计算(2007)·Zbl 0980.68066号 [19] Lumpe,M。;格伦斯克,L。;Schneider,J.-G.:组件接口的状态空间简化技术,Lncs 5282,130-145(2008) [20] 支架,v5.1.1,http://frack-lang.org, 2011. [21] E.R.Gansner,E.Koutsofios,S.North,用点绘制图形,http://www.graphviz.org/pdf/dotguide.pdf, 2009. [22] yWorks GmbH,yEd图形编辑器,http://www.yworks.com/en/products_yed_about.html, 2010. [23] Hermanns,H.:《交互式马尔可夫链:对量化质量的追求》,Lncs 2428(2002)·Zbl 1012.68142号 [24] 皮斯托尔,M。;Sangiorgi,D.:({\pi})演算的分区细化算法,信息与计算164,264-321(2001)·Zbl 1003.68082号 ·doi:10.1006/inco.2000.2895文件 [25] Newman,M.E.J.:复杂网络的结构和功能,SIAM评论45,167-256(2003)·Zbl 1029.68010号 ·doi:10.137/S003614450342480 [26] Fortunato,S.:《图形中的社区检测》,《物理报告》,75-174(2009) [27] Lumpe,M。;Vasa,R.:《组件交互自动机的分区细化:为什么结构比尺寸更重要》,《理论计算机科学电子学报》37,12-26(2010) [28] N.A.Lunch,M.R.T.Tuttle,分布式算法的层次正确性证明,见:第六届ACM分布式计算原理年度研讨会论文集,加拿大不列颠哥伦比亚省温哥华,第137-151页。 [29] M.H.Ter Beek;埃利斯,C.A。;Kleijn,J。;Rozenberg,G.:群件系统团队自动机中的同步,计算机支持的合作工作12,21-69(2003) [30] Milner,R.:通信与并发,(1989)·Zbl 0683.68008号 [31] Lumpe,M.:动作前缀:最小组件交互自动机中的具体化同步路径,理论计算机科学电子笔记263179-195(2010) [32] De Alfaro,L。;Stoelinga,M.:《接口:基于组件系统推理的游戏理论框架》,《理论计算机科学电子笔记》97,3-23(2004) [33] Arbab,F.:Reo:基于通道的组件合成协调模型,计算机科学中的数学结构14,329-366(2004)·兹比尔1085.68552 ·doi:10.1017/S0960129504004153 [34] Plasil,F。;Visnovsky,S.:软件组件的行为协议,IEEE软件工程事务28,1056-1076(2002) [35] De Alfaro,L。;Da Silva,L.D。;费拉,M。;Legay,A。;罗伊·P。;Sorea,M.:社会接口,Lncs 3717,81-105(2005)·Zbl 1171.68837号 [36] 查克拉巴蒂,A。;De Alfaro,L。;Henzinger,T.A。;Jurdzinski,M。;Mang,F.Y.C.:软件模块的接口兼容性检查,Lncs 2404,428-441(2002)·Zbl 1010.68505号 [37] 因弗拉迪,P。;Wolf,A.L。;Yanklevich,D.:使用派生组件假设对系统行为进行静态检查,软件工程方法论的ACM事务9,239-272(2000) [38] 哈比卜,M。;保罗,C。;Viennot,L.:《分区细化技术:一个有趣的算法工具包》,《国际计算机科学基础杂志》10,147-170(1999)·Zbl 1319.68240号 [39] 佩奇,R。;Tarjan,R.E.:三种分区优化算法,SIAM计算期刊,16973-989(1987)·Zbl 0654.68072号 ·数字对象标识代码:10.1137/0216062 [40] Park,D.:无限序列上的并发与自动机,Lncs 104,167-183(1981)·Zbl 0457.68049号 [41] B.Jacobs,J.Rutten,《(co)代数和(co)归纳教程》,EATCS公报,第62期,第222-259页·Zbl 0880.68070号 [42] 瓦萨,R。;Lumpe,M。;分支,P。;Nierstrasz,O.:使用基尼系数对进化中的软件系统进行比较分析,179-188(2009) [43] 卢佩,M。;马哈茂德,S。;Vasa,R.:关于Java应用程序中属性的使用,第21届澳大利亚软件工程会议论文集,235-244(2010) [44] 波塔宁,A。;Noble,J。;Frean,M.R。;Biddle,R.:面向对象程序中的无标度几何,ACM通信48,99-103(2005) [45] 康卡斯,G。;洛奇,M.F。;Marchesi,M。;Pinna,S。;Turnu,I.:《软件网络中的分形维数》,《欧洲物理信函》761221-1227(2006) [46] Gini,C.:《收入不平等的衡量》,经济期刊31224-126(1921) [47] Sen,A.:《论经济不平等》(1973)·Zbl 0289.20039号 [48] 阿德勒,R.L。;Konheim,A.G。;Mcandrew,M.H.:拓扑熵,《美国数学学会学报》114,309-319(1965)·Zbl 0127.13102号 ·doi:10.2307/1994177 [49] Shannon,C.E.:通信数学理论,ACM SIGMOBILE移动计算和通信评论5,3-55(2001) [50] 林伯特,E。;斯塔尔,W.A。;Abbt,M.:《跨科学的对数正态分布:关键和线索》,《生物科学》51,341-352(2001) [51] S.LP,Stata用户指南第11版,德克萨斯州大学城,2009年。 [52] 夏皮罗,S.S。;Wilk,M.B.:正态性方差检验分析(完整样本),Biometrica 52,591-611(1965)·Zbl 0134.36501号 [53] S.Valverde,R.V.Solé,《软件体系结构中的分层小世界》,《Arxiv预印本cond-mat/0307278》(2003)。 [54] R.Vasa,《开放源码软件系统中的增长和变化动态》,Swinburne科技大学信息与通信技术学院博士论文,2010年。 [55] B.C.Pierce,D.Sangiorgi,移动进程的类型和子类型,摘自:《计算机科学中的第八届IEEE逻辑学报》,第376–385页·Zbl 0861.68030号 [56] Agresti,A.:分类数据分析(2002)·兹比尔1018.62002 [57] J.F.Nash,非合作游戏,博士论文,普林斯顿大学数学系,1950年·Zbl 0036.01104号 [58] 瓦萨,R。;施耐德,J.-G。;伍德沃德,C。;Cain,A.:《检测面向对象软件系统中的结构变化》,第四届经验软件工程国际研讨会论文集,463-470(2005) [59] 瓦萨,R。;Lumpe,M。;Schneider,J.-G.:组件演化模式,Lncs 4829,235-251(2007) [60] Mccabe,T.J.:复杂性度量,IEEE软件工程学报2,308-320(1976)·Zbl 0352.68066号 [61] Mateescu,R。;Poizat,P。;Salaün,G.:使用进程代数和实时简化技术调整服务协议,Lncs 5364,84-99(2008) [62] Schneider,J.-G.公司。;Nierstrasz,O.:《组件、脚本和胶水》,《软件架构——进步和应用》,13-25(1999) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。