分享到:

相似顺序图用于视频镜头的组织

在对视频进行基于内容检索时,对由分割得到的镜头进行有效的组织是提高检索效率的一种重要手段.在绝大多数情况下,传统的自动组织方法不能给出令人满意的结果,而需要通过人机交互来进行组织.文章提出了相  (本文共5页) 阅读全文>>

《计算机测量与控制》2016年05期
计算机测量与控制

基于活性顺序图的形式化验证方法及工具研究

近年来,形式化验证方法在软件开发过程的作用越来越大;如何充分利用形式化验证方法提高软件系统的可靠性已成为软件开发者及使用者主要关注的问题;总结了近年来基于活性...  (本文共5页) 阅读全文>>

云南大学
云南大学

一种将顺序图映射到有色Petri网的方法

随着业务流程不再局限企业内部,跨组织业务过程成为业务流程领域的研究热点。顺序图作为一种建模业务过程编排的语言,不仅具有友好的图形化表现方式,令模型易于理解;而且包含有多种控制流结构,如选择、并发、循环、跳出等,能够描述组织间复杂的协同过程。为解决顺序图建模编排模型时缺乏形式化分析方法的问题,需要将顺序图映射为一种具有形式化语义基础的建模语言,使用该建模语言的数学基础完成对顺序图编排模型的分析。现有文献对顺序图映射的研究多关注于同步消息,未考虑顺序图中由异步消息交互产生的并发关系。因此,有必要提出一种关注异步消息的顺序图转换方法。本文在现有工作基础之上提出了一种将顺序图映射为有色Petri网的方法,该方法对顺序图中的消息类型进行了区分,并且对基本交互片段中的并发结构进行了映射。本文所做主要工作如下:1.根据顺序图的弱顺序关系提出顺序图消息间的依赖关系,利用消息间的依赖关系提取顺序图中的并发关系,整理归纳出顺序图中的7种基本并发结构...  (本文共57页) 本文目录 | 阅读全文>>

吉林大学
吉林大学

顺序图与状态图的一致性研究

本文深入研究了顺序图与状态图之间一致性的相关问题,总结了解决一致性验证的一般方法,提出了一种基于状态基的顺序图和状态图一致性验证的方法。这种方法从状态图的特性出发,将状态图描述成语法表达式,将顺序图描述成动作序列的轨迹形式,用语法表达式对相关的轨迹进行检验,确定两者之间的一致性。通过一个示例来实现这种一致性检查的方法。本文对状态图和顺序图的一致性验证采取的方法立足于状态图的特性,用状态区分事件动作序列形成语法规则,再对顺序图的消息序列进行相应的描述,利用语法分析得到分析结果。方法不但简单、直观,而且不需要增加额外的信息,并且可以利用现有的语法分析工具。具有一定的应用价值。  (本文共53页) 本文目录 | 阅读全文>>

《计算机科学》2016年08期
计算机科学

一种基于活性顺序图的运行时验证研究

运行时验证是一种轻量级的形式化验证方法,使用可视化的需求规约描述语言建模需求规约场景是运行时验证领域的研究热点。针对目前基于活性顺序图的运行时验证方法...  (本文共6页) 阅读全文>>

《计算机工程与设计》2012年09期
计算机工程与设计

从活性顺序图到时态逻辑的转化方法

为了将活性顺序图用于模型检测,方便描述系统的场景需求,提出了一种将活性顺序图转换成时态逻辑的转化方法。分析活性顺序图语言并且定义一种基于路径的语...  (本文共5页) 阅读全文>>