演算论文

论文摘要Web服务组合使得开发者可以基于面向服务的计算无缝地访问众多分布式服务，组合在一起解决复杂问题。大多数Web服务是独立开发并运行在异构平台上的，为了能够实现它们之间的服...

论文摘要在研究Web服务组合中存在着一个重要问题是怎么样使用进程代数形式化的描述Web服务组合并且证明Web服务组合的正确性。用Pi-演算建模Web服务组合的模型可以用来检查、...

论文摘要近年来,随着SOA架构和Web服务的广泛深入,如何将Web服务组合按照不同的目标、方式进行组合成为了人们关注的热点。虽然人们对Web服务以及Web服务组合已经有比较充分...

论文摘要语义Web和Web服务是WWW发展的两个重要趋势,这两种技术的结合产生了另一个新兴的研究课题——语义Web服务。语义Web服务是指用语义Web标记语言来描述服务的语义,...

论文摘要针对现有Web服务组合实现框架的不足,本文提出了基于编舞的Web服务组合实现框架;在服务组合的验证过程中,本文使用Pi-演算做为模型检查工具,提出了将WS-CDL编舞转...

论文摘要随着计算机技术不断发展,软件的变化特性越来越受到广泛关注。特别是在动态异构的网络环境成为主流软件运行环境之后,网络的动态性和开放性使得硬件资源与客户需求更加频繁地变化,...

论文摘要客观世界是不断变化和发展的,而衡量软件好坏的一个重要的标准是软件是否具有自修正能力。为了适应Internet开放环境和用户需求的不断变化,软件系统需要不断地进行自我调整...

论文摘要本文针对当前汽车底盘测功机测试实验中存在的参数标定偶然性大、过程控制缺失、测试效率低下、试验成本高,以及数据并发式输入空间的非线性因素导致的系统偏差较大等传统控制模式无...

论文摘要π演算是由Milner、Parrow和Walker基于CCS演算提出的能够描述并发计算的模型。它是目前最重要的进程演算,因此其它模型与它之间的表达能力比较有着重要意义:...

论文摘要无线自动售货机系统通过无线网络实现了对自动售货机的远程监视和控制,便于企业内部物流管理及向顾客提供方便的手机购物。为了对这一复杂系统形成一致的理解,分析系统的正确性和可...

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

论文摘要工作流技术是支持企业内部和企业之间业务过程协同的重要使能技术,它将企业的人员、数据、应用程序等资源通过业务过程自动化的形式联系了起来。在工作流系统中,为了保护企业的私有...

论文摘要博弈论是分析和解决冲突和合作的工具,是研究决策主体在给定信息结构下如何决策以最大化自己的效用,以及不同决策主体之间决策的均衡。博弈语用学研究是博弈理论与理论语言学的最新...

论文摘要基于XML技术的Web服务体系是一种新兴的分布式计算模型,其核心的消息交换协议为SOAP（SimpleObjectAccessProtocol,简单对象访问协议）。在分...

论文摘要随着用户对软件产品性能需求的不断增加,软件规模越来越大,复杂性也越来越高。为保证软件质量、提高软件的可靠性,以软件体系结构为设计规范的开发方法越来越受到软件开发人员的关...

论文摘要Web服务作为一种新的分布式计算模型,能够在各种异构平台的基础上构筑一个通用的、与平台无关的、与语言无关的技术层,使各种不同平台之上的应用方便地连接和集成。然而,如何使...

论文摘要业务流程的管理(BPM,BusinessProcessManagement)广泛存在于政府的多项核心业务中,如协同办公系统、应急管理系统及行政审批系统等,其已成为我国乃...

论文摘要目前,国内外已在QoS及Web服务组合方面展开研究工作,并取得了一些有价值的探索性成果。但作为一项新兴的研究课题,新的研究问题不断涌现。比如如何根据用户偏好进行QoS估...

论文摘要高阶进程演算,因为其很强的抽象能力和理论上的重要性,在进程演算领域一直得到广泛的关注,并成为描述和分析具有动态变换特性的内部连接结构的移动系统的有效数学工具。在本文中,...

论文摘要本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体工程是计算机科学的一个领域,它关注于本体的建立和使用。本文提出了形式化本体工程的思想...