论文部分内容阅读
给出了用颜色Petri网来对W eb服务及服务组合建模,在描述服务内部控制结构的同时兼顾了数据流的描述,而且还给出了模拟W eb服务执行的引发规则,从静态、动态两方面描述了W eb服务及服务组合,最后还给出了一个应用颜色Petri网建模的实例。
基于颜色Petri网的Web服务组合建模及应用
【摘 要】
：
给出了用颜色Petri网来对W eb服务及服务组合建模,在描述服务内部控制结构的同时兼顾了数据流的描述,而且还给出了模拟W eb服务执行的引发规则,从静态、动态两方面描述了W eb服务及服务组合,最后还给出了一个应用颜色Petri网建模的实例。
【机 构】
：
中国科学院计算技术研究所,联想研究院,中国科学院研究生院
【出 处】
：
计算机应用研究
【发表日期】
：
2006年09期
其他文献
随着变压器保护类型的不断增加,非电量保护装置的故障率也逐渐增加。文章介绍了主变压器非电量保护的重要性、结构组成、工作原理及配置应用。并针对某35kV变电站10kV出线开
以带位置扩展的移动进程π演算模型为形式化工具,在考虑位置失效的基础上,将移动系统的安全性质转换为系统进程在给定计算环境中的位置互模拟关系,提出了考虑位置失效的一种新安全模型。针对实际安全需求,该模型可以方便地描述不同的非干扰安全性质;该模型提供了一个统一的安全分析架构,可广泛用于移动计算系统的安全性分析。
提出的数字图像加密算法是R ijndael在数字图像加密方面的应用和改进。实验证明,图像的解密结果对混沌序列的初始值有较强的依赖性,安全性高,且S盒变换通过查表实现快。
提出了一个基于Struts的软件系统框架WEF(W rapping EJB Framework),该框架采用隐式实现服务定位,提高了JND I服务的检索速度;强制使用ObjectValue降低网络传输的代价;采用配置文件等技术改善EJB的执行灵活性。对所提出的WEF的表示层和业务层进行了详细分析,并对WEF的核心模块的实现进行了描述,最后通过图书馆管理系统给出了WEF的一个实现。通过WEF的包装,
针对在同一场景下获取的体育运动视频,提出了一种基于全局运动补偿及运动前景区域信息的体育运动视频合成方法。首先,对待合成视频,通过全局运动估计与补偿,将相邻帧在空间上对齐到当前帧。通过计算帧差,得到当前帧中的运动前景区域信息。然后根据两段待合成视频之间背景的相似性,计算并修正全局运动参数,确定待合成对应帧之间的位置关系。最后,依据已经获得的运动前景区域信息,生成合成帧。实验结果表明,该方法可自动合成
通过对AOP和OOP的简单分析提出了AOP的发展前景;介绍Dynam icProxy的基本原理和拦截机制以及.NET平台下AOP实现技术的研究;最后在此基础上提出利用AspectSharp实现权限验证的思路。
如何高效准确地定位到所需数据的一个或所有副本是当前副本技术的热点问题。提出一种动态可靠的副本定位技术DRRL(Dynamic Reliable Replica Location Method),以完成对所需数据所有副本的定位,DRRL引入域间超节点的定义来支持同一数据所有副本在整个数据网格中的定位,并支持域间超节点的动态加入或者退出。通过定理证明以及实验表明,DRRL具有良好的可靠性及可行性。
介绍构造两级数据库系统的设计方案,重点研究数据库设计、同步和实现技术。该方案支持两级数据库之间数据的双向复制、局部复制,支持异种数据库系统间的同步,可以处理任意类型的数据项,并提供机制来处理同步过程中的各种异常情况,具有较高的扩展性、易用性,并在实际项目中运用。
在传统的软件可修改性定义的基础上提出了基于软件开发过程的软件可修改性,确定了垂直软件可修改性和水平软件可修改性的关系和基本度量方法。建立了基于软件开发过程的软件可修改性模型,得到了软件开发过程各阶段中软件可修改性的度量方法,从而为在软件开发过程中控制软件的可修改性提供了基础。