科技资源服务是云计算环境下数据服务领域的重要业务之一.但是,由于科技资源归属单位不同,条块分割,实现跨平台服务与共享存在很大......

随着计算机网络和多核处理器的出现，并行系统被广泛应用于生产实践中。作为描述并行系统的形式化模型，Petri网和Pi演算（π-演算）得以迅......

近年来,随着计算机性能的不断提高和网络技术的快速发展,集群因为其自身低成本、高性能的优势已成为近年来计算机技术方面的研究热......

随着软件技术的发展,一种被称为面向服务软件体系结构SOA的软件系统开发方法被提出并得到迅速发展。今天的SOA是基于已经广泛接受......

基于XML技术的Web服务体系是一种新兴的分布式计算模型,其核心的消息交换协议为SOAP(Simple Object Access Protocol,简单对象访问......

BPMN(BusinessProcessModelingNotation)验证是BPMN模型在实现或转化成其它语言前，通过某种方法或技术发现模型中存在的问题。这是B......

为了满足企业应用系统业务的快速变化,一种新的软件系统架构理论—面向服务的架构SOA(Service-Oriented Architecture)应运而生,并......

面对服务的体系架构(Service-Oriented Architecture,SOA)是分布式计算和软件开发的最新发展方向,Web服务作为SOA的实现方式之一,......

随着Web服务技术的快速发展,越来越多的稳定易用的Web服务共享在网络上,但是单个Web服务的功能一般比较简单,很多情况下不能满足用......

网格是分布式计算领域重点研究问题,它能够将分布广泛的资源结合起来,全面共享,消除资源孤岛,协同解决大型计算问题。但目前在大部......

形式化模型的互模拟是形式化方法领域中的一个重要研究问题。通过研究两种形式化模型的互相模拟,可以把不易于在一种模型分析的问......

分布式系统以其优秀的计算能力和卓越的可扩展性成为了计算机领域的热门研究对象,它可以从分散的主机中收集数据并利用这些主机完......

新世纪信息时代的来临加速了跨组织商务活动的迅猛发展,服务交互活动的规模与涉及领域不断扩大,组织边界对业务流程的限制作用也开......

随着Web服务技术的研究、发展和应用，众多学者试图寻找Web服务组合验证的有效方法，开始运用形式化方法描述Web服务组合并对其进行分......

在动态、异构和自治的互联网服务环境中,对WEB服务组合的形式化分析与验证是保证按需服务应用的有效途径,寻找有效的形式化分析方......