×
Khakpour、Narges；赛义德·贾利利；卡罗琳·塔尔科特；马尔詹·西尔贾尼；穆罕默德·穆萨维

进化自适应系统的形式化建模。 （英语） Zbl 1264.68131号

科学。计算。程序。 78，第1期，3-26（2012）.
摘要：本文提出了一种用于开发和建模自适应演化系统的形式化模型PobSAM（policy-based adaptive model）。在该模型中，策略被用作指导和适应自适应系统行为的机制。PobSAM模型是自主管理者和管理参与者的集合。管理参与者致力于功能性行为，而自主管理者通过实施适当的策略来管理管理参与者的行为。管理器有一组配置，包括两种类型的策略：管理策略和适应策略。为了适应系统行为以响应变化，管理者在不同的配置之间进行切换。我们采用代数形式主义和基于actor的模型的组合来正式指定此模型。受管理的参与者由参与者模型表示。管理器被建模为元参与者，其配置使用称为CA的多级代数进行描述。我们使用标记的转换系统为PobSAM提供了操作语义。此外，我们在分裂互模拟和优先分裂互模拟方面提供了不同类型CA的行为等效性。等效的经理向参与者发送相同的消息集。使用我们的行为等价理论，我们可以证明通过用等价的管理者代替管理者来保持系统的整体行为。

引用于2文件

MSC公司：

68T05型 人工智能中的学习和自适应系统
68号30 软件工程的数学方面（规范、验证、度量、需求等）
70年第68季度 语言和自动机的代数理论

关键词：

自适应系统；形式化建模；基于策略的系统；代数；演员模型；软件工程

软件：

帕戈达；里奥
PDF格式BibTeX公司 XML格式引用
\textit{N.Khakpour}等人，科学。计算。程序。78，第1号，第3--26号（2012；Zbl 1264.68131）
全文： 内政部

参考文献：

[1] ，IBM系统。J.42（2003）
[2] 阿德勒（Adler）、拉斯穆斯（Rasmus）；伊娜·谢弗；托拜厄斯·施吕勒；Vecchié，Eric：从基于模型的设计到自适应嵌入式系统的正式验证，76-95（2007）
[3] 杰斯珀·安德森；罗格·埃里奥·莱莫斯；萨姆·马利克（Sam Malek）；Weyns，Danny：自适应软件系统的建模维度，自适应系统的软件工程，27-47（2009）
[4] 苏珊娜·安多瓦；格罗内韦根，卢克；斯塔夫鲁，J。；De Vink，Erik P.：《正式化动态适应》，Electr出版社。注释理论。计算。科学。，23-44 (2009) ·Zbl 1364.68272号
[5] Richard Anthony，Cecilia Ekelin，《汽车中间件的政策驱动自我管理》，载于：《自主计算的热门话题——自主计算的热点话题》，加州伯克利，美国，2007年。第55-64页（USENIX协会）。
[6] Anthony，Richard John:基于策略的自适应系统的通用支持，108-113（2006）
[7] Arbab，Farhad:Reo：基于渠道的组件组合协调模型，数学。结构计算。科学。第14期，第3期，第329-366页（2004年）·Zbl 1085.68552号 ·doi:10.1017/S0960129504004153
[8] Baeten，J.C.M。；巴斯滕，T。；Reniers，M.A.：《过程代数：通信过程的方程理论》，剑桥理论计算机科学丛书（2009年12月）·兹比尔12346.8001
[9] Jan A.Bergstra，Jan Willem Klop，用进程代数验证交替位协议，收录于：软件系统的规格说明和合成的数学方法，1985年，第9-23页·Zbl 0595.68024号
[10] Bergstra，Jan A。；Middelburg，C.A.：优先选择和协调条件，J.log。阿尔盖布。程序。70，第2期，172-200（2007）·Zbl 1106.68071号 ·doi:10.1016/j.jlap.2006.08.004
[11] Bergstra，Jan A。；A.（Kees）Middelburg，C.：过程代数模型理论，计算机科学课堂讲稿3838445-495（2005）·Zbl 1171.68561号 ·doi:10.1007/11601548
[12] Biyani，Karun N。；Kulkarni，Sandeep S.：分布式系统中动态适应的保证，J.并行分布计算。68，第8期，1097-1112（2008）·Zbl 1243.68209号
[13] Jeremy S.Bradbury。；詹姆斯·科迪（James R.Cordy）。；朱尔根·丁格尔；Wermelinger，Michel：动态软件架构规范中的自我管理调查，28-33（2004）
[14] Betty H.C.Cheng。；德莱莫斯，罗格·埃里奥；Giese，Holger；保拉·因弗拉迪；Magee，Jeff：自适应系统的软件工程（2009）
[15] Pierre-Charles David，Thomas Ledoux，《迈向基于自适应组件的应用程序框架》，载于：《分布式应用程序和互操作系统国际会议论文集》，DAIS，2003年，第1-14页。
[16] 克里斯托斯·埃夫斯特拉蒂奥；基思·切弗斯特；奈杰尔·戴维斯；星期五，阿德里安：有效支持自适应上下文软件应用程序的架构，15-26（2001）
[17] Christos Efstratiou，Adrian Friday，Nigel Davies，Keith Cheverst，利用事件演算实现移动系统上的策略驱动适应，收录于：IEEE第三届分布式系统和网络政策国际研讨会论文集，2002年，第13–24页。
[18] Hartmut Ehrig、Claudia Ermel、Olga Runge、Antonio Bucchiarone、Patrizio Pelliccione，自愈系统的形式分析和验证，摘自：软件工程的基本方法，2010年，第139-153页·Zbl 1398.68092号
[19] 瑟琳娜·弗里奇（Serena Fritsch）；阿琳·塞纳特（Aline Senart）；道格拉斯·C·施密特。；Clarke，Siobh-An:汽车系统软件的定时自适应，571-580（2008）
[20] 菲尔·格林伍德；Blair，Lynne:《使用动态框架方面的政策驱动自适应系统框架》，Lncs 4242，30-65（2006）·Zbl 1165.68362号 ·doi:10.1007/11922827_2
[21] Christine Hofmeister，动态重构，博士论文，马里兰大学计算机科学系，1993年。
[22] Khakpour，Narges；赛义德·贾利利；卡罗琳·塔尔科特。；Sirjani，Marjan；Mousavi，Mohammad Reza:Pobsam：基于政策的自适应系统参与者管理，Electron。注释理论。计算。科学。263, 129-143 (2010) ·Zbl 1264.68131号
[23] Narges Khakpour、Saeed Jalili、Marjan Sirjani，《确保大规模自适应系统的正确性》，布伦瑞克工业大学技术报告，2011年，http://www.ips.tu-braunschweig.de/docs/research/techreps/JSS-TR-2011.pdf。 ·Zbl 1264.68131号
[24] 克勒（Christian Koehler）；亚历山大·拉佐维克；Arbab，Farhad：连接器改写与高级替换系统，Electron。注释理论。计算。科学。194，第4期，77-92（2008）·Zbl 1277.68193号
[25] Kramer，J。；Magee，J.：进化哲学家问题：动态变化管理，IEEE trans。柔和。工程16，1293-1306（1990）
[26] 莱昂尼达斯·林伯罗普洛斯；埃米尔·卢普；Morris Sloman：网络服务管理的自适应基于策略的框架，J.网络系统。管理。11，第3期，277-303（2003）
[27] Jeff Magee，Jeff Kramer，软件架构中的动态结构，摘自：第四届ACM SIGSOFT软件工程基础研讨会论文集，1996年·Zbl 1268.68117号
[28] Philip K.McKinley、Seyed Masoud Sadjadi、Eric P.Kasten、Betty H.C.Cheng，《成分适应性分类》，技术报告，密歇根州立大学技术报告MSU-CSE-04-172004。
[29] Daniel Le Metayer：使用图形语法描述软件架构风格，IEEE trans。柔和。eng.24，No.7，521-533（1998）
[30] 佩曼·奥雷齐；梅德维多维奇，内纳德；Taylor，Richard N.：基于架构的运行时软件进化，177-186（1998）
[31] 任尚平；于悦；陈年嫩；凯文·马思（Kevin Marth）；皮埃尔·伊蒂安·波洛；沈利民：《开放分布式和嵌入式系统的演员、角色和协调人协调模型》，计算机科学讲稿4038，247-265（2006）
[32] Ina Schaefer，Arnd Poetzsch-Heffter，《在同步自适应系统的模块化验证中使用抽象》，摘自：《值得信赖的软件研讨会论文集》，德国Saarbrcken，2006年·兹比尔1247.68061
[33] 施耐德，克劳斯；托拜厄斯·舒勒（Tobias Schuele）；Trapp，Marion:验证嵌入式系统的自适应行为，16-22（2006）
[34] Sirjani，Marjan；阿里·莫瓦加尔（Ali Movaghar）；阿明·沙利；De Boer，Frank S.：使用rebeca对反应系统进行建模和验证，Fundam。通知。63，第4期，385-410（2004）·Zbl 1082.68007号
[35] 莫里斯·斯洛曼（Morris Sloman）；Lupu，Emil C.：基于工程策略的普遍系统，计算。J.53，第7期，1113-1127（2010）
[36] Gabriele Taentzer；迈克尔·戈迪克；Meyer，Torsten:《通过分布式图形转换进行动态更改管理：面向可配置分布式系统》，计算机科学讲稿1764179-193（2000）·Zbl 0971.68648号
[37] Carolyn L.Talcott：基于分布式对象反射形式模型的协调模型，Electron。注释理论。计算。科学。150, 143-157 (2006)
[38] Carolyn L.Talcott：宝塔中基于政策的协调：案例研究，电子。注释理论。计算。科学。181, 97-112 (2007)
[39] 米歇尔·沃梅林格（Michel Wermelinger），《动态重构的层次结构模型》（A hierarchical architecture model for dynamic reconfiguration），载于：第二届并行和分布式系统软件工程国际研讨会，1997年5月，第243-254页。
[40] 张，季；Cheng，Betty H.C.：指定适应语义，ACM SIGSOFT软件。工程注释30，第4期，1-7（2005）
[41] 张，季；Cheng，Betty H.C.：基于模型的动态自适应软件开发，371-380（2006）
[42] Ji Zhang，Heather Goldsby，Betty H.C.Cheng，动态自适应系统的模块化验证，载于：第八届ACM面向方面软件开发国际会议论文集，2009年，第161-172页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。