×

兹马思-数学第一资源

web服务应用程序的监视和恢复。(英语) Zbl 1314.68037
摘要:Web服务应用程序是由动态绑定的服务组成的分布式进程。在本文中,我们给出了一个框架的明确描述,该框架针对行为正确性属性(被描述为有限状态自动机)来执行web服务应用程序的运行时监视。这些属性指定服务伙伴之间禁止的和期望的交互。BPEL中描述的web服务应用程序的有限执行跟踪在运行时进行一致性检查。当发现违规行为时,我们的框架会自动以计划的形式提出适应策略,用户可以选择执行这些策略。我们的框架还允许验证服务合作伙伴声明的前后条件,并保证生成的恢复计划的正确性。

理学硕士:
68米11 Internet主题
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68吨20 人工智能环境下的问题解决(启发式、搜索策略等)
PDF格式 BibTeX公司 引用
全文: 内政部
参考文献:
[1] van der Aalst WMP,Weske M(2005)《案例处理:业务流程支持的新范式》。数据认知工程53(2):129–162
[2] Alur R,Henzinger TA(1998),《财政公平》。ACM传输程序语言系统20:1171–1194
[3] Ball T,Rajamani S(2001)大满贯工具包。第13届计算机辅助验证国际会议论文集(CAV'01)。LNCS,第2102卷,斯普林格,柏林,第260-264页·Zbl 0996.68560
[4] Baresi L,几内亚S(2007)《发电机和自愈BPEL组合》(研究演示)。第29届国际软件工程会议论文集(ICSE'07)。IEEE计算机协会(2007)。随册,第69-70页
[5] Baresi L,几内亚S(2011)自我监督BPEL流程。IEEE Trans软件工程37(2):247–263
[6] Baresi L,几内亚S,Plebani P(2006)WS-Policy for service monitoring。第六届VLDB电子服务技术国际研讨会。LNCS,第3811卷。斯普林格,柏林,第72-83页
[7] Baresi L,Pasquale L(2010)自适应服务组合的自适应目标。(2010)IEEE网络服务国际会议(ICWS’10)会议记录。IEEE计算机协会,华盛顿特区,美国,第353-360页
[8] Berre DL,Parrain A(2012)第4版。http://www.sat4j.org/
[9] Biancullia D,Ghezzi C(2012)DynamoAOP–用户手册。http://plastic.isti.cnr.it/download/tools/dynamo-aop/dynamoaop-manual.pdf
[10] Burdy L、Cheon Y、Cok DR、Ernst MD、Kiniry JR、Leavens GT、Leino KRM、Poll E(2005)JML工具和应用概述。232软传输工具
[11] Carzaniga A,Gorla A,Perino N,PezzèM(2010)web应用程序的自动解决方案。第十八届软件工程基础国际研讨会论文集(FSE'10),第237-246页
[12] Carzaniga A,Gorla A,PezzèM(2008)通过自动解决方案修复web应用程序。国际软工具技术传输10(6):493–502·Zbl 05536152
[13] Charfi A,Dinkelaker T,Mezini M(2009)自适应web服务组合的插件体系结构。2009年IEEE网络服务国际会议(ICWS’09)会议记录。IEEE计算机协会,华盛顿特区,美国,第35-42页
[14] charfia,Mezini M(2007)AO4BPEL:BPEL的面向方面扩展。万维网10:309–344·Zbl 05188612
[15] Cheng BHC,de Lemos R,Garlan D,Giese H,Litoiu M,Magee J,Müller HA,Taylor R(2009)SEAMS 2009:自适应和自管理系统的软件工程。在:第31届国际软件工程会议(ICSE'09),伴随卷,第463-464页
[16] DISI UniTN/FBK-IRST(2012)MathSAT 5 SMT解算器。http://mathsat.fbk.eu
[17] Dobson G(2006)使用WS-BPEL实现web服务的软件容错。在:第32届欧洲微型软件工程和高级应用会议(EUROMICRO-SEAA'06),第126-133页
[18] Fikes R,Nilsson NJ(1971)STRIPS:定理证明应用于问题求解的新方法。人工智能2(3/4):189–208·Zbl 0234.68036
[19] Foster H(2006)工程web服务组合的严格方法。帝国理工学院博士论文
[20] Foster H,Emmerich W,Kramer J,Magee J,Rosenblum D,Uchitel S(2007)资源约束下的模型检查服务组合。欧洲软件工程大会第六届联席会议暨软件工程基础学术研讨会论文集(ESEC-FSE'07)。ACM,纽约,第225-234页
[21] Fu X,Bultan T,Su J(2004)交互BPEL web服务分析。网址:第13届国际会议论文集,万维网(WWW'04),第621-630页
[22] Fugini MG,Mussi E(2006)《通过服务发现恢复故障web应用程序》。在:第一届SMR-VLDB研讨会论文集,匹配和基于近似语义的检索:问题和展望。In:第32届超大数据库国际会议,第67-80页
[23] 古芬克尔A,魏欧,陈志明(2006)Yasm:一种用于验证和反驳的软件模型检查器。In:第18届计算机辅助验证国际会议论文集(CAV'06)。LNCS,第170-174卷。斯普林格,西雅图,第4144页
[24] Heckel R,Lohmann M(2005),面向基于合同的web服务测试。电子笔记Theoret Comput Sci 116:145–156
[25] Hinz S,Schmidt K,Stahl C(2005),将BPEL转换为Petri网。In:第三届业务流程管理国际会议论文集(BPM'05)。LNCS,第3649卷,斯普林格,柏林,第220-235页
[26] IBM(2012)WebSphere integration developer。http://www-01.ibm.com/software/integration/wid/
[27] Inverardi P,Mostarda L,Tivoli M,Autili M(2005),基于组件系统的正确和分布式适配器的综合:自动方法。第20届自动化软件工程国际会议论文集(ASE'05)。ACM,纽约,第405-409页
[28] Kautz HA,Selman B(1999)统一基于SAT和基于图形的规划。在:第16届国际人工智能联席会议论文集(IJCAI'99),第318-325页
[29] McDermott DV(2002)估计了与web服务交互的回归规划。第六届人工智能规划系统国际会议论文集(AIPS'02)。AAAI,第204-211页
[30] McIlraith SA,Son TC(2002)采用golog来组合语义web服务。第八届国际原理与知识表达与推理会议论文集(KR'02)。摩根考夫曼,旧金山,第482-496页
[31] Meyer B(1992)应用“合同设计”。电脑25:40–51·Zbl 05090679
[32] Milner R(1989)通信与并发。普伦蒂斯霍尔,纽约·Zbl 0683.68008
[33] Narayanan S,McIlraith SA(2002)web服务的模拟、验证和自动组合。第11届万维网国际会议记录(WWW'02)。ACM,第77-88页
[34] Nicola RD,Vaandrager F(1995)分支互模拟的三种逻辑。中华医学会杂志42(2):458–487·Zbl 0886.68064
[35] OASIS(2012)Web服务业务流程执行语言2.0版。http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
[36] Oracle(2012)欢迎使用NetBeans。http://netbeans.org
[37] Ouyang C,Verbeek E,van der Aalst WMP,Breutel S,Dumas M,ter Hofstede AHM(2007),WS-BPEL中控制流的形式语义与分析。Sci计算机程序67(2-3):162-198·Zbl 1122.68073
[38] Simmonds J(2011)web服务的动态分析。博士。多伦多大学毕业论文·1327400升
[39] Simmonds J,Ben David S,Chechik M(2010)《web服务应用程序的引导恢复》。第十八届国际软件工程基础研讨会论文集,第247-256页
[40] Simmonds J,Ben David S,Chechik M(2010)《web服务应用程序的监视和恢复》。In:Ng JW,Chignell M,Cordy JR(编辑)智能互联网。计算机科学课堂讲稿,斯普林格,柏林,250-288页·Zbl 1314.68037
[41] Simmonds J,Ben David S,Chechik M(2010)《BPEL应用程序恢复计划的优化计算》。2010年网络软件测试、分析与验证研讨会论文集(TAV-web'10),第3-14页
[42] Simmonds J,Chechik M(2010)谣言:BPEL应用程序的监视和恢复。在:第25届IEEE/ACM国际会议论文集,自动化软件工程(ASE'10),第345-346页
[43] Simmonds J,Gan Y,Chechik M,Nejati S,O'Farrell B,Litani E,Waterhouse J(2009)《web服务会话的运行时监控》。IEEE传输业务计算机2(3):223–244
[44] Traverso P,Pistore M(2004)将语义web服务自动组合到可执行进程中。国际语义网会议记录(ISWC’04),第380-394页
[45] W3C(2012)语义网。http://www.w3.org/standards/semanticweb/·Zbl 1248.68032
[46] W3C(2012)Web服务描述语言(WSDL)。http://www.w3.org/TR/wsdl
[47] 闫Y,波扎特P,赵L(2010)基于图平面修复的自适应服务组合。在:IEEE网络服务国际会议(ICWS'10),第624-627页
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。