基于Pi-演算的服务组合正确性验证

来源 :软件导刊 | 被引量 : 0次 | 上传用户:dingyi0328
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数.可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算时Web腿务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。
其他文献
全国计算机等级考试采用的系统为C/S模式,系统要求客户机的时间与服务器的时间误差不能过大,传统的手工修改费时费力。基于Socket编程方法程序在局域网中进行客户机的系统时
比较试验(假设检验)作为统计推断的一种方法,在产品质量检验中发挥着重要作用。鉴于现有的假设检验大多局限于正态分布,因此进行了总体服从指数分布的比较试验设计。讨论了总体的
异常处理机制是Java语言的一大特色。从异常处理的机制、异常处理的方法、异常处理的原则等方面介绍Java语言的异常处理技术,分析了抛出异常和捕获异常的实际应用及注意事项,以
案例某市林业局中央空调采购项目由市招投标中心以竞争性谈判方式组织采购。该项目谈判小组于2006年6月31日在市招投标中心举行谈判活动,根据《谈判文件》规定的评标内容,经过
业务流程再造理论已广泛运用于卫生服务领域。从流程再造的理论出发,说明了流程再造对医院的重要性。论述了基于流程再造来构建医院药品供应管理信息系统的方法。业务流程再造
以Linux作为数据捕获的平台,以捕获系统的所有活动特别是入侵者的加密会话为目标,提出了一种利用Rootkit技术,通过替换系统调用sys_read,sys_write,sys_open,sys_socketcall等来从
基于元数据开发管理信息系统极大地提高了系统的开发效率。对以Delphi7.0基于元数据开发管理信息系统的两种实现方式进行了论述和比较.探讨了基于元数据开发管理信息系统的主要
通过分析嵌入式实时操作系统μC/OS-Ⅱ提供的任务相关的接口,来引出μC/OS-Ⅱ中接口的设计思路和实现机制,并通过实例予以验证,对μC/OS-Ⅱ的应用程序的开发具有参考价值。
DNN(DotNetNuke)是一个免费、开源、可扩展的内容管理系统,可广泛应用于商务网站、企业内网(Intranet)外网网络、在线内容发布网站等,是开源门户网站的一个比较优秀的框架。它是建
在简要介绍体育CAI开发目的及意义的基础上,探讨了积件思想在体育CAI中的应用。积件思想在体育CAI中的引入。使得体育CAI的结构设计及实现过程有别于一般CAI的设计与制作过程