国家科技重大专项(2009ZX01043-002-004)
- 作品数：4 被引量：14H指数：3
- 相关作者：朱俊郭长国吴泉源更多>>
- 相关机构：国防科学技术大学总参第六十三研究所更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- Web协同可视化地理信息系统的研究与实现
- 近年来,传统GIS系统向着地理空间服务系统演变,使遥感数据能够被更为广泛地共享和利用。在地理空间服务基础上提供基于web实时协同对于很多应用是非常有用的,例如灾后评估、军事应用和政府决策支持等。影响web协同浏览性能的因...
- 魏鑫胡春阳韩军
- 关键词：协同浏览COMET
- 基于CPN的服务交互行为关键属性的运行时确保机制被引量：3
- 2011年
- 为了保证服务交互行为与其定义的关键属性相一致,本文提出了一种基于有色Petri网模型的运行时确保机制,从而提高服务组合运行的可靠性.文章首先介绍了服务交互行为CPN模型,用于精确刻画服务交互行为及其重要属性.结合服务实例,进一步对模型可达集和关键监控属性展开深入分析.在可达集的基础上,描述将模型运用于运行时监控的方式确保服务交互行为的关键属性.同时,本文从并行化执行流程和交互行为检测算法两方面介绍了服务交互行为的运行时监控机制.最后,评测结果表明这种运行时确保机制在性能、检测效率等方面都具有良好的表现.
- 朱俊郭长国吴泉源
- 关键词：有色PETRI网
- 一种基于广义随机Petri网的Web服务组合性能预测模型被引量：4
- 2011年
- Web服务交互消息受到不可预知的网络环境的影响,因特网环境中的个体Web服务的性能表现与访问者的地域位置有关。于是,服务组合的性能则更加容易受到网络环境因素的影响。同时,服务组合的性能还会受到服务组合流程中不同的分支执行概率的影响。在这种情况下,服务组合建模只考虑组合本身,而不考虑网络环境因素和分支执行概率,这将会对模型的预测结果造成较大的偏差。为了能够真实地评估服务交互行为、网络环境与分支执行概率之间的关系,提出了一种基于广义随机Petri网的Web服务组合性能预测模型,该模型不仅引入了伙伴服务性能方面的因素,而且充分考虑了网络环境因素和分支执行概率,从而能够对被建模系统进行定性和定量分析,进而指导服务组合性能优化。
- 朱俊郭长国吴泉源
- 关键词：WEB服务广义随机PETRI网
- 基于Petri网的Web服务交互行为一致性检测方法被引量：2
- 2013年
- 在复杂多变且不可预知的因特网环境中,Web组合服务的实际交互行为和它本身定义的规约之间的一致性是难以确保的。为了解决这个问题,提出了一种将服务组合实例的服务交互行为Petri网模型应用于交互行为一致性检测的方法。首先,提出了一个Web服务交互行为的运行时监控框架,从行为抽象和提取方法、服务交互行为的捕获机制以及交互行为一致性运行时检测方法三方面进行了详细介绍。还详细描述了基于服务交互行为Petri网模型的一致性检测机制。最后,对一致性检测方法的负载和性能进行了充分的评估。
- 朱俊郭长国吴泉源
- 关键词：WEB服务PETRI网
- 一种基于CPN的运行时监控服务交互行为的方法被引量：5
- 2011年
- BPEL对Web服务组合的描述特性使得它很难表达和分析服务组合中的交互行为属性.这些行为属性需要遵循一定的交互协议.然而良定义的交互协议还是容易受到侵犯,这将导致服务组合进程产生状态不一致的问题.为了解决这类实际交互行为与其服务组合描述之间的不一致性问题,提出了一种由BPEL描述自动构造运行时监控器的方法.首先提出了一种基于有色Petri网(CPN)的形式化表示模型以及服务组合规约到模型的映射方法,用于精确表达从BPEL流程描述中提取的服务交互行为规约.然后,描述了由CPN形式化表示模型生成运行时监控器的方法.该运行时监控器能够捕获所有进出服务组合进程的交互消息,并且检测是否存在违背交互协议的行为.
- 朱俊郭长国吴泉源
- 关键词：WEB服务组合有色PETRI网BPEL交互行为
