×
卡洛斯·卡纳尔；哈维尔·卡马拉；格温·萨拉恩

行为适应下的系统结构重构。 （英语） Zbl 1264.68047号

科学。计算。程序。 78，第1号，46-64（2012）.
概要：现代系统的一个主要优点是动态地重新配置自身，以应对故障或组件更新。然而，用非现成的组件设计这样的系统几乎是不可行的：组件是只能在兼容接口上与其他组件交互的黑匣子。部分问题是通过软件适配技术解决的，该技术补偿了接口之间的不匹配。我们的方法旨在使用软件适配的结果，以便为黑盒组件提供重新配置功能。
本文首先形式化了一个框架，该框架统一了组件的行为适应和结构重构。这种形式化用于静态检测是否可以重新配置系统。在第二部分中，我们提出了重构的五个概念：历史软件重构、未来软件重构、符合属性的重构、单向可重构和完全可重构。对于这些概念中的每一个，都给出了它的相关属性，并用简单但现实的例子加以说明。

引用于2文件

MSC公司：

68甲19 其他编程范式（面向对象、顺序、并发、自动等）
68T05型 人工智能中的学习和自适应系统

关键词：

组件；动态重构；行为适应

软件：

沙发2.0；意大利烟草协会；合成
PDF格式BibTeX公司 XML格式引用
\textit{C.Canal}等人，科学。计算。程序。78，第1号，46--64（2012；Zbl 1264.68047）
全文： 内政部

参考文献：

[1] 阿吉雷，N。；Maibaum，T.：可重构组件系统规范的逻辑基础，Lncs 2621，37-51（2003）·Zbl 1032.68056号
[2] Angluin，D.：从查询和反例中学习正则集，《信息与计算》75，第2期，87-106（1987）·兹伯利0636.68112 ·doi:10.1016/0890-5401（87）90052-6
[3] 奥蒂利，M。；因弗拉迪，P。；纳瓦拉，A。；Tivoli，M.：SYNTHESIS：自动组装正确的分布式组件系统的工具，784-787（2007）
[4] R.J.Back，带细化图的增量软件构建。《技术报告660》，图尔库计算机科学中心，2005年。
[5] Barros，T。；阿穆尔·布利法（Ameur-Boulifa，R.）。；Cansado，A。；Henrio，L。；Madelaine，E.：分布式分形组件的行为模型，《电信年鉴》第64卷第1期，第25-43页（2009年）
[6] 比尔曼，A.W。；Feldman，J.A.：关于从行为样本合成有限状态机，IEEE计算机事务21，第6期，592-597（1972）·兹比尔0243.94039 ·doi:10.1109/TC.1972.5009015
[7] 布罗基，A。；Popescu，R.：BPEL适配器的自动生成，Lncs 4294，27-39（2006）
[8] 布鲁内顿，E。；库帕伊，T。；勒克莱尔，M。；凯玛，V。；Stefani，J.-B.：《FRACTAL组件模型及其在Java中的支持：自适应和可重构系统的经验》，《软件实践经验36》，第11-12期，1257-1284（2006）
[9] 布雷什，T。；Hnetynka，P。；Plášil，F.：SOFA 2.0：在分层组件模型中平衡高级功能，40-48（2006）
[10] Cámara，J。；马丁，J.A。；Salaün，G。；库博，J。；Ouederni，M。；运河，C。；Pimentel，E.：Itaca：web服务自动组合和调整的集成工具箱，627-630（2009）
[11] 运河，C。；Poizat，P。；Salaün，G.：基于模型的行为不匹配组件自适应，IEEE软件工程事务34，第4期，546-563（2008）
[12] Cansado，A。；Salaün，G。；运河，C。；Cubo，J.：行为适应下组件结构重构的正式框架，理论计算机科学电子笔记（ENTCS）系列26395-110（2010）
[13] Ketfi，A。；Belkhatir，N.：基于元模型的组件软件动态重新配置方法，Lncs 3107，264-273（2004）
[14] Kramer，J。；Magee，J.：进化哲学家问题：动态变更管理，IEEE软件工程事务16，第11期，1293-1306（1990）
[15] Kramer，J。；Magee，J.：《分析分布式软件架构中的动态变化》，IEE Proceedings-software 145，No.5，146-154（1998）
[16] Mateescu，R。；Poizat，P。；Salaün，G.：使用进程代数和实时简化技术调整服务协议，Lncs 5364，84-99（2008）
[17] Medvidovic，N.：Adls和动态架构变化，24-27（1996）
[18] O.Moser，F.Rosenberg，S.Dustdar，《WS-BPEL的非侵入式监测和适应》，摘自：Proc。2008年WWW第815–824页。
[19] H.R.Motahari-Nezhad、B.Benatallah、A.Martens、F.Curbera、F.Casati，《服务交互的半自动适应》，摘自：Proc。WWW’07，2007年，第993–1002页。
[20] 波伊扎特，P。；Salaün，G.：基于开放组件的系统的适应，Lncs 4468，141-156（2007）·Zbl 1202.68101号 ·doi:10.1007/978-3-540-72952-59
[21] P.Poizat，G.Salaün，M.Tivoli，《行为适应的动态重构》，摘自：Proc。WCAT’06，2006年，第61-69页。
[22] Poizat，P。；Salaün，G。；Tivoli，M.：增量构建组件系统的基于适应的方法，理论计算机科学电子笔记（ENTCS）系列182，39-55（2007）
[23] Salaün，G.：从编排规范生成服务包装协议，Sefm，313-322（2008）
[24] 乔纳，I。；Vařeková，P。；Zimmerova，B.：通过组件交互自动机的等价性实现组件可替代性，理论计算机科学电子笔记（ENTCS）系列182，39-55（2007）
[25] Wermelinger，M。；Lopes，A。；Fiadeiro，J.L.：基于图形的架构（再）配置语言，21-32（2001）
[26] Yellin，D.M。；Strom，R.E.：协议规范和组件适配器，关于编程语言和系统的ACM事务19，第2期，292-333（1997）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。