论文部分内容阅读
在Web服务应用中，BPEL是一种基于流程的描述业务行为的语言。为了验证以BPEL构建的应用程序是否满足某些性质，提出了BVM模型来表达应用程序的语义，然后运用模型检测方法进行形式化验证。实验结果表明，以上方法在设计阶段能有效地发现并排除错误。
BPEL应用程序验证模型研究
【摘 要】
：
在Web服务应用中，BPEL是一种基于流程的描述业务行为的语言。为了验证以BPEL构建的应用程序是否满足某些性质，提出了BVM模型来表达应用程序的语义，然后运用模型检测方法进行形式
【机 构】
：
西南大学计算机与信息科学学院软件学院
【出 处】
：
计算机科学
【发表日期】
：
2009年4期
【基金项目】
：
本文受到重庆市自然科学基金重点项目“软件测试技术和方法研究”（CSTC,2006BA2003）支持.
其他文献
入侵检测问题可以看作是一种模式分类问题，但由于该问题具有一些固有特点如高维特征空间、模式之间的线性不可分性、正常和异常数据的严重不均匀性，使得直接使用传统的模式识别
为满足软件企业不同角色的度量需求，基于GDM方法提出了一个面向企业应用的集成软件过程度量模型，模型包含组织结构定义、角色职责定义、GDM分析结果、业务目标和度量目标评价函
概念格作为形式概念分析理论中的核心数据结构，已在知识工程和软件工程等领域得到了广泛的应用。然而，对概念格理论的研究仅存在于纯数学领域，虽然已有的Hasse图能体现概念间的
函数单向S-粗集对偶具有规律特性、动态特性。应用函数单向S-粗集对偶，给出f-分解规律、F-分解粗规律、规律能量、属性f-扰动度的概念；研究了粗规律F-分解过程中的变化度量；给出
针对节点总量不多、通信实时性要求不高的应用环境需求，参照IEEE802．15．4协议标准，提出一种高效、低能耗的无线传感器网络MAC层协议的设计与实现方法。协议的软件设计主要采用中
主要研究标准模型下基于证书的加密方案（certificate-bas edencryption，简称CBE）的通用构造，并给出了两个实现方案。首先，以IND-CCA2安全的公钥加密方案、IND-ID-CCA安全的基于身
基因芯片技术在给人类带来巨大机遇的同时也带来一些挑战。针对基因表达数据的海量性，以及基因类属的不确定性等问题，提出了一种基于伪F统计量（PFS）的模糊属性均值聚类FAMC（fuzzy
软件体系结构元信息组织和管理是利用反射机制实现软件体系结构重用的一个重要问题。提出了一种体系结构元信息模型，以有效地组织和管理支持体系结构重用的元信息。同时，基于XM
计算机系统参数的合理配置能有效提升应用程序的性能。以NFS网络存储系统为例,提出了一种基于统计分析的存储系统性能调优方法,该方法分为关键系统参数识别和关键参数性能优