×
海姆，皮尔雷·科里尔；奥尔加·库什纳伦科；福尔摩·沃伊诺特

基于组件仿真的替代性管理QoS和组合问题。 （英语） Zbl 1214.68097号

科学。计算。程序。 75，第10期，898-917（2010）.
摘要：在现有的基于组件的方法中，已经发现了几个科学瓶颈。其中，我们重点关注组件表达式的相关抽象的识别和替换性等属性的验证：什么时候可以正式接受或拒绝组件中的替换？本文在考虑服务质量（QoS）这一新因素时，建议使用整数加权自动机来解决这个问题。提出了四个基于仿真的替代性管理QoS方面的概念，并研究了整数加权自动机的相关复杂性问题。此外，本文定义了合成算子：顺序合成、严格序列合成和并行合成，并将路径成本纳入分析。建立了关于所提出的替代性概念与序列和并行复合算子相容性的新结果。

引用于1文件

MSC公司：

68平方米 计算机系统环境下的性能评估、排队和调度

关键词：

替代性；成分；模拟；加权自动机；服务质量

软件：

BPEL2oWFN型；BPEL2PN公司；甲骨文公司
PDF格式BibTeX公司 XML格式引用
\textit{P.-C.Héam}等人，科学。计算。程序。75，第10号，898--917（2010；Zbl 1214.68097）
全文： 内政部 哈尔

参考文献：

[1] Aho，A。；霍普克罗夫特，J。；Ullman，J.：计算机算法的设计与分析，（1974）·Zbl 0326.68005号
[2] Barros，T。；阿穆尔·布利法（Ameur-Boulifa，R.）。；Cansado，A。；Henrio，L。；Madelaine，E.：分布式分形成分的行为模型，《通信年鉴》第64期，第1-2期，25-43页（2009年）
[3] 鲍耶，P。；Th.Brihaye。；布鲁埃，V。；Raskin，J.-F.：关于加权时间自动机的最优可达性问题，系统设计中的形式化方法31，第2期，135-175（2007）·兹比尔1129.68039 ·doi:10.1007/s10703-007-0035-4
[4] Boehm，B.W。；Brown，J.R。；卡斯帕，H。；利波，M。；麦克劳德·G·J。；Merritt，M.J.：软件质量的特征（1978）·兹比尔0427.68005
[5] Beyer博士。；查克拉巴蒂，A。；Henzinger，Th.A.：Web服务接口，Www，148-159（2005）
[6] Beyer博士。；查克拉巴蒂，A。；Henzinger，Th.A。；Seshia，S.A.：网络服务接口的应用，831-838（2007）
[7] 布鲁内顿，E。；Coupaye，Th。；勒克莱尔，M。；凯玛，V。；Stefani，J.-B.：分形组件模型及其在Java中的支持，《软件实践与经验》36，第11-12期，1257-1284（2006）
[8] Buchsbaum，A.L。；Giancarlo，R。；Westbrook，J.：加权有限状态自动机的近似确定算法，Algorithmica 30，No.4，503-526（2001）·Zbl 0972.68107号 ·doi:10.1007/S00453-00453-001-0026-6
[9] ，计算机科学讲稿4144（2006）
[10] Buchholz，P。；Kemper，P.：（max/+）自动机和相关模型的弱互模拟，自动机、语言和组合学杂志8，第2期，187-218（2003）·Zbl 1089.68069号
[11] Steffen Becker；科齐奥列克、海科；Reussner，Ralf:使用palladio组件模型进行基于模型的性能预测，Wosp，54-65（2007）
[12] 伯斯特尔，J。；Reutenauer，Ch.：Rational系列及其语言（1988）·Zbl 0668.68005号
[13] Premysl Brada，基于规范的组件替代性和版本识别，布拉格查尔斯大学博士论文，2003年。
[14] F.Baligand，N.Rivierre，Th.Ledoux，《感知QoS的Web服务组合的声明性方法》，载于：ICSOC，2007年，第422-428页。
[15] 布莱达（Brada）、普雷米塞尔（Premysl）；瓦伦塔，卢卡斯：利用亚型关系对成分替代性进行实际验证，38-45（2006）
[16] S.Chouali、S.Colin、A.Hammad、O.Kouchnarenko、A.Lanoix、H.Mountassir、J.Souquières，组件描述要求，以便在基于组件的方法中使用–Livrable TACOS L2-1.0。23页，网址：http://tacos.loria.frANR-06-SETI-017（TACOS），2007年。
[17] 萨加尔查基；埃德蒙·克拉克（Edmund M.Clarke）。；娜塔莎·莎莉吉娜；Sinha，Nishant：《通过组件替代性分析验证进化软件》，《系统设计中的形式化方法》32，第3期，235-266（2008）·Zbl 1147.68047号 ·数字对象标识代码：10.1007/s10703-008-0053-x
[18] Chouali，S。；海塞尔，M。；Souquières，J.：用B精化证明组件互操作性，理论计算机科学电子笔记160，157-172（2006）
[19] 塞尔纳，I。；瓦列科娃，P。；Zimmerova，B.：通过组件交互自动机的等效性实现组件替代，《理论计算机科学电子笔记》182，39-55（2007）
[20] A.d’Ambrogrio，用于描述Web服务QoS的模型驱动WSDL扩展，收录于：ICWS'06，芝加哥，伊利诺伊州，美国，2006年。
[21] Dehnert，J。；Van Der Aalst，W.M.P.：《弥合商业模型和工作流规范之间的差距》，《国际合作信息系统杂志》13，第3期，289-332（2004）
[22] E.Ermel，A.Fladenmuller，G.Pujolle，A.Cotton，《改进无线异构网络中的位置估计》，收录于：《网络2004》，2004年5月。
[23] 埃文斯，N。；Treharne，H.：csp（并行b）一致性检查的交互式工具支持，计算的形式方面19，第3期，277-302（2007）·Zbl 1125.68075号 ·doi:10.1007/s00165-007-0034-7
[24] 费奥科夫，亚历山大五世。；Evgeni M.埃斯肯纳齐。；Dieter K.Hammer。；Chaudron，Michel R.V.：基于组件架构的静态特性评估，33-39（2002）
[25] 朱利安娜·库斯特（Juliana Küster Filipe）；Moschoyiannis，Sotiris:并发逻辑和自动机组合：组件语义，《理论计算机科学电子笔记》175，第2期，135-151（2007）
[26] H.Foster，S.Uchitel，J.Magee，J.Kramer，Ws Engineer:一种基于模型的web服务组合和编排工程方法，见：web服务的测试和分析，2007，第87-119页。
[27] Gaubert，S.：（max，+）自动机的性能评估，IEEE自动控制事务40，第12期（1995）·Zbl 0855.93019号 ·数字对象标识代码：10.1109/9.478227
[28] Gerede，C.E。；O.H.伊巴拉。；拉维库马尔，B。；Su，J.：《服务构成中的最小成本委托》，《理论计算机科学》409，第3期，417-431（2008）·Zbl 1171.68002号 ·doi:10.1016/j.tcs.2008.08.040
[29] M.Glinz，《关于非功能性需求》，载于：IEEE（Ed.）第15届IEEE国际需求工程会议，2007年，第21-26页。
[30] 文森佐·格拉西；拉斐拉·米兰多拉；Enrico Randazzo；Sabetta，Antonino:Klaper:性能和可靠性的模型驱动预测分析的中间语言，计算机科学讲稿5153，327-356（2007）
[31] Hashiguchi，K。；石黑浩，K。；Jimbo，S.：有限模糊金融自动机等价问题的判定，国际代数与计算杂志12，第3期（2002）·Zbl 1007.68115号 ·doi:10.1142/S0218196702000845
[32] 海姆，P.-C。；库什纳伦科，O。；Voinot，J.：如何在web服务替代性验证中处理QoS方面，333-338（2007）
[33] P.-C.Héam，O.Kouchnarenko，J.Voinot，基于组件仿真的替代性管理QoS方面。技术报告，马拉加大学，2008年。软件组件形式方面国际研讨会，FACS’08·Zbl 1214.68097号
[34] 轩尼诗，M。；Milner，R.：《不确定性和并发性的代数定律》，《ACM杂志》32，第1期，137-161（1985）·Zbl 0629.68021号 ·doi:10.145/2455.2460
[35] J.Hallberg，M.Nilsson，K.Synnes，《蓝牙定位》，收录于：第十届国际电信会议，ICT’2003年，2003年。
[36] Ii，K.Culik；Von Rosenberg，P.C.：基于广义加权有限自动机的图像压缩，J.ucs 5，No.4，227-242（1999）
[37] M.B.Juric，BPEL实践介绍，第2部分：高级BPEL，2005年。http://www.oracle.com/technology/pub/articles/matjaz_bbel2.html。
[38] 克里曼，I。；南部伦巴第。；Mairesse，J。；Prieur，Ch.：从有限模糊MAX-plus自动机中判定无二义性和顺序性，《理论计算机科学》327，第3期，349-373（2004）·Zbl 1071.68035号 ·doi:10.1016/j.tcs.2004.02.049
[39] Katritzke，F。；Merzenich，W。；Thomas，M.：《使用加权有限自动机增强图像压缩的分区技术》，《理论计算机科学》313，第1期，133-144（2004）·Zbl 1069.68113号 ·doi:10.1016/j.tcs.2003.10.2011
[40] Krob，D.：热带半环中带重数有理级数的等式问题是不可判定的，《国际代数与计算杂志》第4期第3期（1994年）·Zbl 0834.68058号 ·doi:10.1142/S0218196794000063
[41] H.Ludwig，A.Keller，A.Dan，R.P.King，R.Franck，Web服务水平协议（WSLA）语言规范，1.0版。IBM Corporation，2003年1月。
[42] 北卡罗来纳州洛曼。；马苏斯，P。；Wolf，K.：有限状态服务的操作指南，计算机科学讲义4546，321-341（2007）·Zbl 1226.68063号 ·doi:10.1007/978-3-540-73094-120
[43] 北卡罗来纳州洛曼。；Verbeek，H.M.W。；欧阳，C。；Stahl，Ch.：比较和评估BPEL的Petri网语义，《国际业务流程集成与管理杂志》4，第1期，60-73（2009）
[44] Milner，R.：通信系统微积分，计算机科学讲义92（1980）·Zbl 0452.68027号
[45] 莫赫里，M。；佩雷拉，F。；Riley，M.：语音识别中的加权有限状态转换器，计算机语音语言16，第1期，69-88（2002）
[46] M.Mohri，F.Pereira，M.Riley，文本和语音处理中的加权自动机，第abs/cs/0503077卷，2005年。
[47] Mateescu，R。；Rampacek，S.：BPEL web服务的形式化建模和离散时间分析，商业信息处理课堂讲稿10，179-193（2008）
[48] Mccall，J.A。；Richards，P.K。；Walters，G.F.：软件质量因素（第三卷），（1977年）
[49] Moschoyiannis，Sotiris；迈克尔·希尔兹（Michael W.Shields）。；Krause，Paul J.：用并发自动机建模组件行为，理论计算机科学电子笔记141，第3期，199-220（2005）
[50] 纳瓦斯，J-F。；巴博，J-P。；Lobry，O.：基于组件的嵌入式系统中最小但有效的重构基础设施，41-48（2009）
[51] R.J.Orr，G.D.Abowd，《智能地板：自然用户识别和跟踪机制》，载于：计算机系统中的人为因素会议（CHI2000），荷兰，2000年。
[52] Park，D.：无限序列上的并发与自动机，计算机科学讲义104，167-183（1981）·Zbl 0457.68049号
[53] J.Polakovic，S.Mazare，J.-B.Stefani，P.-Ch.David，《基于组件的嵌入式系统中安全动态重构的经验》，CBSE，2007年，第242-257页。
[54] Reussner，P.H.：《使用椰子/j工具套件进行自动组件协议适配》，《未来一代计算机系统》19，第5期，627-639（2003）
[55] Reussner，R。；Happe，J。；Habel，A.：用图文法建模复合元件的参数契约和状态空间，计算机科学讲义3442，80-95（2005）·Zbl 1119.68347号 ·doi:10.1007/b107062
[56] J.A.Royo，E.Mena，L.C.Gallego，《在无线局域网中定位用户以开发基于位置的服务》，摘自：Thomson（Ed.）Symp。《无处不在的计算和环境智能》，格拉纳达（西班牙），2005年9月，第471-478页。
[57] ，Lncs 4608（2007）
[58] M.Scuturici，D.Ejigu，《普及环境中的定位支持》，载于：IEEE普及服务国际会议，ICPS，2006年6月。
[59] Z.Sawa，P.Jancar，《有限状态过程等效测试的P-硬度》，载于：SOFSEM，2001年，第326–335页·Zbl 1052.68093号
[60] Z.萨瓦。；Jancar，P.：《有限状态系统的行为等效性是最优的》，《计算机与人工智能》第24期，第5期（2005年）·Zbl 1109.68052号
[61] 斯塔尔，Ch。；Wolf，K.：《使用扩展操作指南确定服务组成和可替代性》，《数据知识工程》68，第9期，819-833（2009）
[62] M.H.Ter Beek；布奇亚龙。；Gnesi，S.：服务组合的形式化方法，《数学年鉴，计算远程信息学》5，第1期，第1-10页（2007年）
[63] 田敏，《利用WS-QoS框架实现Web服务中的QoS集成》，柏林弗雷大学博士论文，2005年。
[64] Van Der Aalst，W.M.P.：Petri网在工作流管理中的应用，《电路、系统和计算机杂志》8，第1期，21-66（1998）
[65] Van Glabbeek，R.J.：线性时间-分支时间谱，（2001）·Zbl 1035.68073号
[66] 吴晓玲；Cho，Jinsung；D'auriol，Brian J。；Lee，Sungyoung：AHP无线传感器网络的能量感知路由，Lncs 4761446-455（2007）
[67] 韦伯，A.：有限值距离自动机，理论计算机科学134（1994）·Zbl 0938.68709号 ·doi:10.1016/0304-3975（94）90287-9
[68] 韦伯，A。；Seidl，H.：关于有限自动机的模糊度，《理论计算机科学》88，第2期，325-349（1991）·Zbl 0738.68059号 ·doi:10.1016/0304-3975（91）90381-B
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。