- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
小型微型计算机系统 2011年9月第9期
JournalofChinese VOI.32No.920ll
ComputerSystems
基于面向方面技术的服务安全组合故障分析
范贵生k2,虞慧群1,顾春华1,陈丽琼3
1(华东理工大学计算机科学与工程系,上海200237)
2(上海市计算机软件评测重点实验室,上海201112)
3(上海应用技术学院计算机科学与信息工程系,上海200235)
E-mail:gsfan@ecust.edu.∞
摘要:服务组合作为实现服务增值的一种有效方法,业已广泛使用于各种应用.安全问题是与Web服务密切相关且对于服
务组合的可信性具有重要作用.然而目前还缺乏对服务安全组合进行有效描述和分析的方法.提出一种基于面向方面的形式化
服务安全组合建模及其分析方法.重点讨论了服务的授权、执行的可追踪、数据保护及故障处理,并利用面向方面规范基本模块
的行为、描述它们相互关系的手段,编织机制将这些模块动态地集成为一个完整的服务组合模型.基于此,Petri网的攥作语义
及相关理论分析服务组合的安全性及故障处理能力,给出服务组合的正确性准则,并证明了其有效性.具体实例及仿真结果表
明,该方法能有效地简化系统建模,有助于提高服务组合的设计质量.
关键词:Web服务;面向方面;Petri网;安全性;故障
中图分类号:Tit311 文献标识码:A 文章编号:1000.1220(2011)09.1762-08
ServiceSecure andFault
Aspect-oriented CompositionAnalysis
FAN
Gui-shengh2。YUHtli-qunl,GUChun-hual。CHENLi-gong’
and
Science China Scienceand
1(DepartmentofComputer Engincenng.EastUniversityof Technology。Shanghai200237。Ch/na)
and 2011
2(ShanghaiKeyLaboratoryofComputerSoftwareEvaluating 12。China)
Testing。Shanghai
Scienceand Institute
Computer
3(Departmentof InformationEngineeringShanghai ofTechnology.Shanghai200235.China)
an
effectivetoachievevalue—added hasfoundwide invariousa娜.Seeur-
Abstract:As way service.service
composition appHcation
is related丽血W曲servicesand to ofservice methodsthatCallbeused
ity closely importanttrustworthycomposition.However。the
todescribeand servicesecure arestill at an formal
analyze compositionlackingpresent.Tllispaperproposesaspect-orientedmodeling
1 basedonPetrinetandit
原创力文档


文档评论(0)