【摘 要】
：
服务组合作为实现服务增值的一种有效方法，业已广泛使用于各种应用．安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用。然而目前还缺乏对服务安全组合进行有效
【机 构】
：
华东理工大学计算机科学与工程系，上海 200237 上海市计算机软件评测重点实验室,上海,201112
论文部分内容阅读
服务组合作为实现服务增值的一种有效方法，业已广泛使用于各种应用．安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用。然而目前还缺乏对服务安全组合进行有效描述和分析的方法。提出一种基于面向方面的形式化服务安全组合建模及其分析方法。重点讨论了服务的授权、执行的可追踪、数据保护及故障处理，并利用面向方面规范基本模块的行为、描述它们相互关系的手段，编织机制将这些模块动态地集成为一个完整的服务组合模型。
基于此，Petri网的操作语义及相关理论分析服务组合的安全性及故障处理能力，给出服务组合的正确性准则。并证明了其有效性。具体实例及仿真结果表明，该方法能有效地简化系统建摸，有助于提高服务组合的设计质量。
其他文献
2004年以来,我国氧化铝发展对国内氯碱工业和烧碱市场的影响越来越大,直接带动烧碱的产量增长和价格上涨,为我国氯碱工业的快速发展提供了有力的支持,做出了极大的贡献。
Si
美国经济从2007年美国次级债危机爆发后,美国经济增长速度大幅下滑,尽管由于美联储采取了一系列干预措施,美国多项经济指标最近阶段稍有起色,但居高不下的高油价再使美国经济
面向服务计算不仅有助于解决分布异构环境下的软件集成问题．还有助于促进软件重用，提高业务灵活性． 在面向服务计算模式下，是通过组合已有服务构建新服务．但是由于服务组合问题
Web服务编排描述语言(WS-CDL)是一种以全局视角来描述各个参与方行为的XML定义语言。本文回顾了我们研究小组近期在WS-CDL的分析和测试工作中的研究进展。提出了两种方法来辅
文怀沙先生是著名的国学大师,百家经典、诗词歌赋无所不知;他因研究《楚辞》而出名,虽与屈原隔千年,但却诗心相通。今年98岁的他,银髯飘拂,耳聪目明,思维敏捷,幽默诙谐。
Mr
动态Web服务组合近年来作为一个极具挑战性的问题正吸引着越来越多的人的关注．但是，目前主流的动态服务组合方法在面对大规模服务组合时都存在着效率不高等问题。本文提出一种
降低产品成本,追求经济效益的最大化是企业追求的目标.ERP作为一种先进的、能适应现代竞争环境管理哲理和管理的方法论,使企业的管理观念和管理水平迈进了一个新的时代.对ERP
大力实施节能减排,不仅是江西有色工业当前健康发展的迫切需要,而且是做大做强、实现可持续跨越式发展的战略任务。我们认为,应从以下5个方面加大力度。
Vigorously impleme
英国MQP有限公司研究开发出来一种铝熔炉铝水存留和流出量的测量新技术,称为BatchPilot技术。BatchPilot技术原理基于测量熔炉主缸倾斜时产生的液压压力变化,该技术的一个主
企业就像在商海中航行的一艘船,如果要到达成功的彼岸,最重要的是认定航行的方向。“战略”这一军事上的概念正在被广泛套用到企业经营管理的各个层面,经常用到的有企业战略