Khakpour、Narges；法哈德·阿尔巴；埃里克·鲁滕 为基于组件的系统中的重构综合结构和行为控制。 （英语） Zbl 1338.93189号 正式Asp。计算。 28，第1期，21-43（2016）. MSC公司： 93C40型 自适应控制/观测系统 关键词：动态重构；合成；控制论；自适应系统；正确构造 软件：格拉夫维兹 PDF格式BibTeX公司 XML格式引用 \textit{N.Khakpour}等人，正式Asp。计算。28，第1号，第21-43条（2016；Zbl 1338.93189） 全文： 内政部 链接 参考文献： [1] Autili M、Flammini M、Inveradi P、Navarra A、Tivoli M（2006）基于组件系统的并发和分布式适配器的合成。摘自：第三届欧洲软件架构研讨会，LNCS，第4344卷。施普林格，第17-32页 [2] Autili M、Mostada L、Navarra A、Tivoli M（2008）《正确组装分布式组件系统的分散式和并发适配器的合成》。系统软件杂志81（12）：2210-2236·doi:10.1016/j.jss.2008.04.006 [3] Bruneton E、Coupaye T、Leclercq M、Quéma V、Stefani J-B（2006）分形组件模型及其在java中的支持。Softw Pract实验36（11-12）：1257-1284·doi:10.1002/spe.767 [4] Biyani KN，Kulkarni SS（2008）分布式系统中动态适应的保证。J平行分布计算68（8）：1097-1112·Zbl 1243.68209号 ·doi:10.1016/j.jpdc.2008.02.005 [5] Bouhadiba T、Sabah Q、Delaval G、Ruttené（2011）分形组件系统重构的同步控制——案例研究。附：2011年10月在台湾EMSOFT举行的ACM嵌入式软件会议记录 [6] Chakrabarti A、de Alfaro L、Henzinger TA、Mang FYC（2002）《同步和双向组件接口》。In:计算机辅助验证，LNCS，丹麦哥本哈根，第2404卷，第414-427页·Zbl 1010.68518号 [7] D'Impolito N、Braberman V A、Kramer J、Magee J、Sykes D、Uchitel S（2014）《希望最好，做好最坏的准备：自适应系统的多层控制》。摘自：第36届软件工程国际会议，ICSE’14，第688-699页 [8] Delaval G，Rutten E，Marchand H（2013）《将离散控制器综合集成到反应式编程语言编译器中》。离散事件动态系统23（4）：385-418·Zbl 1273.93111号 ·doi:10.1007/s10626-013-0163-5 [9] Filieri A、Hoffmann H、Maggio M（2014）具有控制理论形式保证的自适应软件的自动设计。摘自：第36届软件工程国际会议论文集，ICSE 2014。ACM，纽约，第299-310页 [10] Ghezzi C、Greenyer J、Manna VPL（2012），从基于场景的规范的变化中合成动态更新控制器。2012年ICSE自适应和自我管理系统软件工程研讨会（SEAMS），第145-154页 [11] Gierds C，Mooij AJ，Wolf K（2012）将适配器合成简化为控制器合成。IEEE Trans-Serv计算5（1）：72-85·doi:10.109/TSC.2010.57 [12] Gaudin B，Nixon P（2012）《软件运行时异常避免的监督控制》。收录：第五届计算机科学和软件工程国际C*会议论文集，C3S2E’12。ACM，纽约，第109-112页·Zbl 1243.68209号 [13] Graphviz-graph可视化软件。http://www.graphviz.org/ [14] Gaudin B，Vassev E I，Nixon P，Hinchey M（2011）基于控制理论的未处理运行时异常自我修复方法。摘自：第八届ACM自主计算国际会议记录，ICAC’11。ACM，纽约，第217-220页 [15] Heinzemann C，Henkler S（2011）在自适应嵌入式组件体系结构中重用动态通信协议。摘自：第14届基于组件的软件工程国际ACM-sigsoft研讨会论文集，CBSE’11。ACM，纽约，第109-118页 [16] Hirsch M、Henkler S、Giese H（2008）《机电一体化uml中动态结构适应性的建模协作》。摘自：2008年自适应和自我管理系统软件工程国际研讨会论文集，SEAMS’08。ACM，纽约，第33-40页 [17] Jobstmann B（2007）LTL合成的应用和优化。TU Graz软件技术研究所博士论文·Zbl 1243.68209号 [18] Khakpour N、Arbab F、Rutten E（2014）《安全软件自适应监控控制器综合》。附：IFAC第十二届离散事件系统研讨会会议记录·Zbl 1273.93111号 [19] Kulkarni SS，Biyani KN（2004），基于组件的适应的正确性。In：基于组件的软件工程，LNCS，第3054/2004卷。施普林格，第48-58页 [20] Koenig B（2004）具有动态演变结构的系统的分析和验证。斯图加特大学博士论文 [21] Ramadge PJ，Murray Wonham W（1987）一类离散事件过程的监督控制。SIAM J控制优化25（1）：206-230·Zbl 0618.93033号 ·doi:10.1137/0325013 [22] Tivoli M、Fradet P、Girault A、Gößler G（2007）《实时组件的适配器合成》。在：系统构建和分析的工具和算法，LNCS，第4424卷。施普林格，第185-200页 [23] Winetzhammer S、Greenyer J、Tichy M（2014）《用于指定结构动态反应系统的集成图变换和模式序列图》。在：Amyot D，Fonseca i Casas P，Mussbacher G（编辑）系统分析和建模：模型和可重用性，计算机科学讲义，第8769卷。柏林施普林格国际出版公司，第126-141页·Zbl 0618.93033号 [24] Zhang J，Cheng BHC（2006）基于模型的动态自适应软件开发。在：第28届软件工程国际会议论文集，ICSE'06。ACM，纽约，第371-380页 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。