时序描述逻辑相关论文
随着数字产品的普遍使用以及Internet的快速发展,数字权限管理技术应运而生。在复杂的数字权限管理系统中为了更好的保障权限正确......
统一建模语言(Unified Modeling Language) UML简洁、直观,便于建模人员之间的交流与沟通,适用于软件开发的各个阶段。然而,UML缺......
时序描述逻辑能够通过概念(或个体)问的时序关系描述动态领域的时序行为。时序概念的表现形式具有多样性，而其推理算法却常常是不可......
在统一建模语言(UML)规范中顺序图的语义是以自然语言的形式描述的,是一种半形式化的语言,不能对系统的交互行为进行形式化分析及......
数字权限管理技术(DRM)的核心是权限描述,而基于动作序列的权限描述模型主要是描述数字产品消费者(用户)允许产生的动作序列,通过......
分析了描述逻辑在数据库中的研究现状和存在的问题,特别是描述逻辑与时序ER模型的关系,在Artale的基础上提出了一种形式化带属性依......
根据统一建模语言（UML）顺序图的时序特征，提出一种基于时序描述逻辑ALCQIus的UML顺序图形式化方法。研究ALCQIus时序扩展部分的语法和......
将UML图形转换成形式化规范是一种精确UML语义、扩大形式化软件方法适用范围的有效途径。鉴于描述逻辑强的可判定推理能力,提出一......
针对UML2．0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题，提出一种基于时序描述逻辑的UML2．0顺序图形式化方......
本文针对UML状态图具有动态行为和时序特征的特点,提出了一种新的描述逻辑,即时序描述逻辑TDDL（SHOIN（D））。首先给出了TDDL（SHOIN（D））的语......
针对Web服务本体语言（OWL—S）过程模型存在动态交互和时序特征表达能力不足的问题，提出一种基于时序描述逻辑的过程模型形式化方法。......
故障树分析法是工业界常用的安全分析方法之一。然而由于其非形式化方法的局限性，难以对软件故障进行形式化验证，更难以描述嵌入式实......
