搜索到208 篇“ 可终止性 “的相关文章
良结构下推系统上的可 终止 性 和有界性 问题研究 关键词：可终止性 有界性 文献传递 基于模型检测的面向服务软件异常处理可 终止 性 的验证方法 2015年 可 终止 性 难以验证问题,提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可 终止 性 ,使用ASK-CTL(Computation Tree Logic)刻画异常处理的可 终止 性 ,然后基于本文提出的异常处理可 终止 性 的模型检测算法,可 获得异常处理可 终止 性 验证结果.最后,结合实例从可 行性 和有效性 角度对验证方法进行实证和评估,结果表明,本方法能有效验证异常处理的可 终止 性 ,且具有较好的性 能,为进一步分析异常处理的正确性 提供支持.关键词：面向服务软件 异常处理 基于增强条件公式的主动规则集可 终止 性 判定 2014年 可 终止 性 判定是一个研究热点问题,现有的基于触发图和活化图的方法没有考虑触发环所有所属规则能否在同一次执行中执行;现有的条件公式判定方法只能包含不可 更新或有限次更新变量,当主动规则集只包含可 有限次循环执行的触发环时,现有方法不能准确判定它是可 终止 的。为此,提出了触发环的执行序列的概念和建立包含可 更新变量的增强条件公式的方法,新的判定方法将触发环和执行语义有机地结合在一起,较现有方法可 以发现更多的可 终止 性 情形,同时给出了新算法的可 终止 性 和正确性 证明。关键词：主动数据库 可终止性 基于模型检测的面向服务软件异常处理可 终止 性 的验证方法 可 终止 性 难以验证问题,本文提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可 终止 性 ,使用ASK-CTL(Computation Tree Logic)刻画异常处...关键词：面向服务软件 异常处理 可终止性 BPEL流程异常处理的可 终止 性 验证研究 可 能重新抛出异常,这些特性 往往导致异常处理不能正常终止 ,使得BPEL流程无法正常运行。因此验证异常处理的可 终止 性 尤其关键,通过异常处理的可 终止 性 验证能够为系统...关键词：BPEL流程 异常处理 文献传递 面向服务软件异常处理过程的可 终止 性 验证 被引量：4 2012年 性 和不确定性 使其异常处理逻辑复杂度高,导致异常处理过程的可 终止 性 验证异常困难。而异常处理过程的可 终止 性 是确保其正确性 的重要基础,如果异常处理过程不能终止 将导致面向服务软件无法正常运行。目前缺乏异常处理过程的可 终止 性 验证方法,从而无法保证异常处理达到预期的目标。基于着色Petri网(colored Petri net,CPN)提出了一种面向服务软件异常处理过程的可 终止 性 验证方法。该方法建立了包括正常流程和异常处理逻辑的异常层次CPN模型(hierarchy CPN model for exception handling,HCPN4EH)。基于此模型验证了异常处理过程的可 终止 性 。通过一个实例说明了该方法的可 行性 和有效性 。得到的可 终止 性 验证结果可 为进一步分析异常处理过程的正确性 提供基础。关键词：异常处理 面向服务软件 基于条件公式的主动规则集可 终止 性 判定 被引量：3 2009年 可 终止 性 存在一定的局限性 ,从而影响了运行阶段规则系统的执行效率并限制了主动规则在众多领域中的灵活应用的问题.提出了利用基于活化路径建立的条件公式进行判定的方法,结果表明该方法可 以比现有方法发现更多的可 终止 性 情形.对主动规则集的设计和应用具有一定的意义.关键词：主动数据库 可终止性 XML中的主动规则的模型及其可 终止 性 分析 2006年 终止 性 的静态判定算法。此算法基于触发环的概念,首先对触发环中每一个被修改的节点产生一个递归等式,然后通过展开递归等式并检验其可 满足性 ,就可 以分析规则集的可 终止 性 ,这样不仅可 以得到更高的精确度及更小的复杂度,而且可 以得到有效的判定主动规则可 终止 性 的条件。关键词：可终止性 基于活化路径同步关系的规则集可 终止 性 判定 2006年 可 终止 性 判定是主动数据库中核心问题之一,利用触发图和活化图的方法来判定可 终止 性 都存在一定的局限性 .为此,根据规则与其活化路径的同步关系,介绍了一个新的判定主动规则集可 终止 性 的方法.分析的结果表明文中提出的方法较现有方法可 以发现更多的可 终止 性 情形,最后给出了相应的算法及其可 终止 性 、正确性 证明。关键词：主动数据库 可终止性 主动规则在XML系统中的实现及可 终止 性 分析 2006年 性 的分析,并结合规则实例提出了一种新的分析规则终止 性 的静态判定算法。这一算法提高了规则可 终止 性 判定的精确度,降低了时间复杂度,可 以作为进一步主动规则分析的理论基础。关键词：XML 可终止性
相关作者
熊中敏 作品数：33 被引量：118 H指数：6 供职机构：上海海洋大学信息学院 研究主题：主动数据库 规则集 可终止性 汇流 关联规则 郝忠孝 作品数：268 被引量：636 H指数：14 供职机构：哈尔滨理工大学计算机科学与技术学院 研究主题：空间数据库 最近邻查询 主动数据库 多时间粒度 时态数据库 蒋曹清 作品数：28 被引量：79 H指数：6 供职机构：广西财经学院信息与统计学院 研究主题：面向服务软件 异常处理 查询扩展 信息检索 文本挖掘 彭立 作品数：12 被引量：27 H指数：3 供职机构：湖南第一师范学院信息科学与工程系 研究主题：一致性 TABLEAU算法 描述逻辑 课程群建设 教学质量 文静 作品数：25 被引量：56 H指数：4 供职机构：武汉大学 研究主题：软件体系结构 异常处理 面向方面软件体系结构 面向服务软件 ADL
