论文部分内容阅读
如何从已有的Web服务构造新的增值性的正确的Web服务，已成为研究Web服务的群体关注的一个焦点.因此，为了得到可靠的、高质量的服务，必须找到一种建模方法和工具，在Web服务投入使用之前，对其进行分析和验证.本文主要从过程代数的角度出发，用Hi演算来描述Web服务以及Web服务的组合.
Web服务的Pi演算描述
【摘 要】
：
如何从已有的Web服务构造新的增值性的正确的Web服务，已成为研究Web服务的群体关注的一个焦点.因此，为了得到可靠的、高质量的服务，必须找到一种建模方法和工具，在Web服务投入使
【机 构】
：
西北大学计算机科学系
【出 处】
：
计算机科学
【发表日期】
：
2006年3期
其他文献
工作流模型验证成为工作流的重要研究领域之一。控制结构的正确性是工作流过程所需达到的最基本要求，本文着重控制结构方面的验证。本文使用UML-Statecharts建立控制结构模型，
人工流产术时止痛方法较多.我院选择了166例人工流产者,分别在术中使用安定、利多卡因两种扩宫镇痛方法,以分析其镇痛效果.
目的：探讨血清白介素８（ＩＬ－８），白介素（ＩＬ－１０）在支气管哮喘（ＢＡ）发病中的作用、变化规律及临床意义。方法：应用双抗夹心法检测了哮喘患者血清ＩＬ－８、ＩＬ－１０水平。结果：哮喘发作期血清ＩＬ－８水平明显高于缓解期及正常对照
OMG（Object Management Group，对象管理组织）提出的模型驱动架构（MDA，Model Driven Architecture）是解决不同中间件平台之间的集成以及技术升级所引起的问题的软件开发方法。MDA的
模型检验技术是形式化验证中比较成熟的技术，但随着设计系统规模的增加，状态爆炸已成为其发展的一个主要问题.为解决此问题，本文提出对系统进行抽象，建立不完全的状态模型，在此状
通过对数据流的两个相邻窗口的比较，检测出绝对变化较大的元素，以此来描述流数据的变化。把单个窗口中的数据流划分成若干层，在每层上对数据值域进行分段。然后在每层上定义若干
首次指出不可否认协议运行结果可分为认证强公平和期望强公平，其中后者优于前者。利用GPS数字签，提出一个新的带离线可信第三方的多方不可否认协议，该协议实现了期望强公平且允
从软件体系结构配置生成测试用例是软件测试领域中的一个重要分支。本文首先提出了一组基于软件体系结构配置的测试标准及其计算规则。基于此，实现了基于软件体系结构配置的测
Peer-to-Peer（P2P）计算模型在利用和管理日益增长的分布式信息和资源方面是一种非常成功的计算模型。但是这种计算模式也有一些缺点，特别是decentralized unstructured P2P系统，