【摘 要】
：
本文构建了一种基于模型驱动的Web服务组合模型,采用Petri网对其建模,并利用Petri网的可达树性质验证了模型的有界性、可达性、活性和完整性。该组合模型通过重用已有的Web服
论文部分内容阅读
本文构建了一种基于模型驱动的Web服务组合模型,采用Petri网对其建模,并利用Petri网的可达树性质验证了模型的有界性、可达性、活性和完整性。该组合模型通过重用已有的Web服务,达到满足用户高质量的应用需求,更好地解决企业应用集成服务调用问题的目的。同时,针对以往通信数据在传输过程中存在的安全隐患问题,本文提出一种旨在保证应用层SOAP消息安全传输的Web服务安全模型,并在该模型中引入了身份验证及权限认证机制,改进了传统点对点通信机制的不足,从而在传输层和应用层上保证了传输消息的机密性、完整性、抗抵赖性,使企业应用集成体系更加全面、安全。最后,在JEE5平台上对Web服务组合和安全模型进行了仿真,从实践上验证了模型的正确性。
其他文献
方便快捷的人机交互方式一直是计算机信息处理领域所关注的焦点,而文字的输入是人机交互的核心,因此,文字输入技术是计算机应用技术的一个重要研究方向。当前文字输入方式有
细分方法是计算机辅助几何设计与图形学中一项重要的研究内容,也是几何造型领域最活跃的研究热点之一。随着人们对细分方法的不断研究,发现线性细分格式生成的曲线产生波动和
数据库数据恢复是数据库取证的一个重要组成部分，虽然目前数据库数据恢复技术主要集中在记录及操作语句的恢复，鲜有涉及在深入探讨表结构的基础上进行表中记录的恢复研究，导致很
21世纪，随着人类生活的不断改善，高度舒适和自动化的家居系统将在日常生活中扮演越来越重要的角色。本文对现有的智能家居系统进行了研究，针对目前智能家居系统机械化高，不能有效
自动导引车(Automated Guided Vehicle，AGV)是现代物流系统备受关注的关键设备。越来越多的大中型企业开始应用AGV系统，尝试以自动货运机器人来替代人工作业，节省人力资源成本，逐
模糊粒度计算理论与方法作为人类求解问题的一种新型数学工具,自提出以来得到了迅速的发展和广泛的应用,其基本思想是在不同的粒度层次上进行问题求解。本文基于商空间理论,
图像的深度获取技术的目标是从一幅或者多幅图像中恢复场景中物体的三维几何信息。近年来，这项技术被广泛地应用于工业自动化、虚拟现实、计算机辅助设计（CAD）和数字娱乐等领域
近五年,数据驱动的方法逐渐成为了自动问答领域中新的研究热点。尤其是随着Web上各种网络社区的兴起,用户生成式内容在形式和数量上呈现出爆炸性增长,为人们积累了大量的社区
网络社区聚类是指通过聚类技术找到网络中团体内节点关联密切，团体间节点关联松散的结构，该问题的研究已经成为数据挖掘领域研究的一个热点，它与计算机科学中的图分割和图聚类有
随着普适计算技术的不断发展,人们对基于位置的服务(LBS)的需求与日俱增,而对用户进行准确的定位和跟踪则是实现LBS的关键问题。虽然现有的全球定位系统(GPS)和基于电信网络