|
1.
|
网络化软件交互行为动态建模 被引次数：1
|
|
|
|
|
|
|
彭成 杨路明 满君丰《电子学报》,2013年第41卷第2期
|
|
|
目前的软件行为建模方法有其局限性,而网络化软件交互行为比传统软件更为复杂难控,对模型的定义和优化提出了更高的要求.本文提出一种基于不变量约束规则的挖掘方法,从监控收集的软件交互行为日志中挖掘出六类不变模式,简化了模型空间;并用事件描述状态,提高了数据集的表达能力;构建的动态模型考虑了参数传递和组件之间的交互,将数值关联关系映射到控制流中,从而更真实地刻画了软件交互行为;模型中的事件满足不变量约束规则,为软件行为分析提供了依据;同时,本文提出合并划分子图间的等价状态方法,对模型进行精化和抽象,确保了模型的确定性和完备性.仿真实验和实例分析证实了该方法的正确性和有效性.
|
|
2.
|
基于通信序列进程的UML序列图形式化方法
|
|
|
|
|
|
|
邓建波 张立臣 邓惠敏 徐碧红《计算机应用》,2010年第30卷第10期
|
|
|
UML2.0序列图是一种描述对象之间动态协作和事件发展时间关系的视图,但是UML序列图缺乏精确的形式化语义,所以不利于对其所描述的系统进行形式化验证.为此,根据UML2.0语义文档及组合碎片包概念,基于通信序列进程(CSP)给出了UML序列图的基本元素和消息迹的形式化定义及生成规则,实现了UML序列图的形式化,为UML序列图在描述系统准确性和有效性方面提供了形式化的检验方法.最后通过ATM实例说明UML序列图这一过程的正确性.
|
|
3.
|
一种适用于具有相互依赖基本事件和重复事件的动态故障树独立模块识别方法 被引次数：2
|
|
|
|
|
|
|
张红林 张春元 刘东《计算机学报》,2012年第35卷第2期
|
|
|
为减小时间开销,动态故障树经常被模块化分解为独立的静态子树和独立的动态子树,然后分别使用二叉决策图和马尔卡夫模型求解;其中的一个关键问题便是识别具有相互依赖基本事件和重复事件的动态故障树中所有的独立模块和最小独立模块.文中提出了一个基于亲戚依赖关系的独立模块识别方法IIMKDR,该方法将故障树按照其事件之间的依赖关系转换为依赖树;基于面向对象思想,为依赖树及其节点构建对象;通过对各节点对象属性的分析,得出独立模块集并进而求出最小独立模块集.最后对IIMKDR方法进行了理论分析和实验验证,分析表明该方法适用于具有相互依赖基本事件和重复事件的动态故障树独立模块识别.与其它方法从多个角度所进行的实验对比显示,当故障树没有相互依赖基本事件和重复事件时,该方法的开销略高于其它方法;当故障树具有相互依赖基本事件和重复事件时,该方法能够正确识别其中所有的独立模块,而其它方法不具备这样的功能.
|
|
4.
|
基于事件序列图法的装备故障风险分析 被引次数：1
|
|
|
|
|
|
|
龚时雨 谭林《兵工自动化》,2006年第25卷第12期
|
|
|
利用事件序列图建立装备故障风险模型的基本方法是:将故障事件作为引发事件,并通过相关问答开发环节事件,直至到达终态.同时,采用条件、逻辑门、参数、限制、规则等要素建立事件间的交互作用和时序关系,描述出故障事件发生并导致影响的可能发展过程.模型中,任何1个自引发事件开始至不期望终态结束的事件序列即构成1个事故链.将事故链及其发生概率、损失构成1个三元组,用以描述该事故链的风险.
|
|
5.
|
基于拟间接依赖的过程模型挖掘方法
|
|
|
|
|
|
|
化佩 方贤文 刘祥伟《计算机科学》,2016年第43卷第11期
|
|
|
过程挖掘旨在从信息系统所记录的事件日志中挖掘出人们需要的且合理的过程模型,从而有助于改善或重建业务流程。以往的方法大多是根据任务间的直接依赖关系构建过程模型,具有很大的局限性。现存的过程挖掘方法中,虽然有能挖掘间接依赖的方法,其却没有从过程行为的角度进行分析。基于拟间接依赖的过程模型挖掘方法,把行为轮廓融入其中,依据行为轮廓建立初始模型；然后基于增量日志和拟间接依赖关系调整模型；最后根据评价标准选出最优模型。此方法特别适用于挖掘含有间接依赖的过程模型。
|
|
6.
|
基于状态图的坦克行为建模研究
|
|
|
|
|
|
|
岑凯辉 杨克巍 谭跃进《计算机仿真》,2007年第24卷第1期
|
|
|
在现代作战仿真中,坦克是重要的建模对象,其行为复杂往往导致建模困难.采用传统有限状态机建立的行为模型,由于存在大量的状态和状态转移,模型可读性差,易于出错.因此,研究基于状态图的坦克行为建模方法.首先介绍了状态图中的状态、事件和转移概念,并探讨了并行状态这一重要特征;然后对坦克的复杂行为进行分析,采用序列图描述坦克对象之间的交互行为;定义了坦克的四个并行子状态:侦察、机动、攻击和防护,以及作战仿真中的主要事件;通过细化状态,最终建立了状态图表示的坦克作战行为模型.该模型比较全面地描述了坦克的作战行为,较好地反映了作战行为的并行、异步特点,模型的逻辑关系清晰,有较强的可读性.
|
|
7.
|
基于文本事件网络自动摘要的抽取方法
|
|
|
|
|
|
|
杨竣辉 刘宗田 刘 炜 苏小英《计算机科学》,2015年第42卷第3期
|
|
|
将文本按事件方式进行表示,把事件作为基本语义单元来构建事件本体.根据事件间的关系构建事件网络有向图能较好地表达文本的语义信息及事件间的关系重要程度.利用PAGERANK算法测算事件网络图中各节点对应事件的重要度并进行排序,按事件发生的时间顺序,输出事件对应的原语句作为摘要.实验结果表明,基于事件网络的文本自动文摘方法抽取出的摘要效果较好.
|
|
8.
|
一种新的故障树定性分析方法 被引次数：4
|
|
|
|
|
|
|
陈越洲 谭琳 邢维艳 刘东《计算机工程》,2008年第34卷第13期
|
|
|
提出基于割序集的分析方法以研究故障树顶事件发生时基本事件的动态行为。利用顺序失效符表示事件的顺序失效关系，并将静态门和动态门转化为顺序失效表达式来描述故障树中各种门的动态行为，利用顺序失效表达式构建故障树的割序集。结合实例阐述故障树割序集生成算法的流程。该算法将失效行为表示为长度小于系统中部件个数的有序部件序列，为研究故障树提供了一种新的定性分析方法。
|
|
9.
|
一种基于CPN的运行时监控服务交互行为的方法 被引次数：1
|
|
|
|
|
|
|
朱俊 郭长国 吴泉源《计算机研究与发展》,2011年第12期
|
|
|
BPEL对Web服务组合的描述特性使得它很难表达和分析服务组合中的交互行为属性.这些行为属性需要遵循一定的交互协议.然而良定义的交互协议还是容易受到侵犯,这将导致服务组合进程产生状态不一致的问题.为了解决这类实际交互行为与其服务组合描述之间的不一致性问题,提出了一种由BPEL描述自动构造运行时监控器的方法.首先提出了一种基于有色Petri网(CPN)的形式化表示模型以及服务组合规约到模型的映射方法,用于精确表达从BPEL流程描述中提取的服务交互行为规约.然后,描述了由CPN形式化表示模型生成运行时监控器的方法.该运行时监控器能够捕获所有进出服务组合进程的交互消息,并且检测是否存在违背交互协议的行为.
|
|
10.
|
基于同态的安全协议攻击及其形式化验证 被引次数：2
|
|
|
|
|
|
|
韩继红 周志勇 郭渊博 王亚弟《计算机工程》,2009年第35卷第7期
|
|
|
介绍2种利用加密算法同态特性的安全协议攻击，定义安全协议项代数表示和基于角色行为序列的协议模型，提出一种基于角色行为实例交互的安全协议约束序列生成方法，应用等式理论将Dolev D等人提出的Dolev-Yao模型（IEEE Transactions on Information Theory，1983，第12期）进行扩展，设计攻击者一阶逻辑演绎系统，采用约束求解方法对NSL协议进行建模和形式化验证，发现基于“完美密码系统假设”无法验证的同态攻击。
|
|
11.
|
基于EE-CSPE约束的并发程序测试
|
|
|
|
|
|
|
卢炎生 王静 谢晓东 毛澄映《小型微型计算机系统》,2007年第28卷第7期
|
|
|
由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE（extended constraints on succeeding and preceding events）对事件排斥约束和后决约束的定义,更全面地描述了前后事件的依赖关系,并给出了基于此方法的确定性测试和非确定性测试规则.
|
|
12.
|
基于实体行为依赖关系的完整性度量方案
|
|
|
|
|
|
|
李瑞华 李晨 庄琭 蒋敏慧《信息安全与通信保密》,2010年第7期
|
|
|
针对由于交互行为而导致的安全威胁,以及现有完整性度量方案在度量范围和度量内容上的不足,从实体行为的角度出发,分析了实体行为之间的依赖关系,构建了实体行为依赖集合。提出了一种基于实体行为依赖关系的完整性度量方案,在实体行为依赖集合上定义了实体行为完整性度量函数,以及实体行为预期符合函数,最后给出了交互行为之间进行完整性度量和验证的具体过程。该方案从实体行为的实体完整性和数据完整性两个方面进行度量,改进了现有完整性度量方案的不足,增加了完整性验证的灵活性。
|
|
13.
|
数据意识下的条件不频繁行为挖掘与优化
|
|
|
|
|
|
|
曹蕊 方贤文 王丽丽 方欢《计算机集成制造系统》,2018年第7期
|
|
|
业务流程不频繁行为是指低频次事件轨迹记录的行为,从事件日志中挖掘条件不频繁行为是业务流程优化的关键点之一。已有的研究方法忽略低频次行为,也较少考虑数据流角度下的不频繁行为,本文考虑了事件间隐藏的数据依赖关系,提出基于数据意识的条件不频繁行为挖掘与优化。以模块间的通讯行为轮廓理论为基础,通过查询参考模型的可行迹对频次较低的轨迹添加属性值,计算交互特征间的数据依赖值并对不频繁行为进行分类处理,并根据处理后的优化日志构建模块网和特征网。模块网与特征网进行交互,挖掘出特征网与模块网的业务流程优化通讯模型。最后通过具体的实例分析验证了所提方法的有效性。
|
|
14.
|
基于事件序列图方法的供应链建模与分析 被引次数：4
|
|
|
|
|
|
|
谭林 王文峰 郭波《工业工程与管理》,2007年第12卷第6期
|
|
|
介绍了事件序列图的概念及基本图符,提出了基于事件序列图的供应链建模方法,给出了其建模步骤,并结合示例说明该方法的建模过程.讨论了模型的应用情况,对供应链的速度、成本、资源利用率等性能测度进行定义.最后,运用蒙特卡罗仿真方法对模型模拟运行并对结果进行分析.
|
|
15.
|
基于图元的事件图生成算法
|
|
|
|
|
|
|
王焕宝 张佑生《计算机工程》,2007年第33卷第12期
|
|
|
与单轮运行情形不同，多轮并发运行的密码协议存在更为复杂的安全性问题。并发运行密码协议的形式化分析对象包括密码协议的多轮并发运行和多个密码协议的并发运行两种情形，且二者具有统一的形式化模型。基于扩展的串空间模型和Spi演算理论，提出用于并发运行密码协议安全属性验证的事件图模型。图元是事件图的构造单元，它满足消息事件之间的通信关系和前驱关系约束以及消息语句的新鲜性约束。定义消息事件之间、图元之间以及消息事件和图元之间的前缀、组合和选择运算，并给出事件图生成算法。
|
|
16.
|
基于事件关联的电子取证实时入侵重构
|
|
|
|
|
|
|
张基温 朱剑《计算机工程与设计》,2006年第27卷第22期
|
|
|
针对目前电子取证入侵重构多用事后分析的方式导致分析信息不完整的问题，定义入侵事件的形式化描述和黑客攻击场景的表示，将事件关联方法引入电子取证入侵重构分析中，建立了事件关联的动态实时电子取证入侵重构系统，该系统预先了因果关联表，找出事件问的因果关联度，并消除它们的冗余关系，来获得入侵过程图。最后，通过一个实例来说明通过关联部分攻击片断来构建一个完整的攻击场景的过程。
|
|
17.
|
通用构件行为适应方法研究
|
|
|
|
|
|
|
谢兄 张维石《小型微型计算机系统》,2009年第30卷第10期
|
|
|
基于构件的软件工程中,构件行为适应是一个关键的问题.目的是为了解决构件交互过程中由于行为不兼容而引起的各种不匹配问题.给出了解决构件行为不匹配的一种通用的方法.该方法首先根据给定的构件接口的行为协议描述计算构件行为之间的同步关系,得到适配器的描述.然后在构件的同步产品中,利用死锁来检测具有同步行为关系的行为之间的不匹配.利用构件及适配器描述计算同步矢量产品的过程中,根据同步矢量来计算适配器的行为协议,适配器通过一对互补事件与被适应构件进行交互.适配器适应交互的构件行为,使得构件交互过程中没有死锁发生.实现对消息顺序的重新排序,解决了具有数据传递的构件行为之间的不匹配问题.最后,用一个实例对文中所述方法进行了说明.
|
|
18.
|
一个基于UML协作图的集成测试用例生成方法 被引次数：21
|
|
|
|
|
|
|
王林章 李宣东 郑国梁《电子学报》,2004年第32卷第8期
|
|
|
UML协作图描述了系统的一个协作过程中参与对象之间的结构关系和交互行为,确认它们是否被正确实现是集成测试的工作.本文提出了一个基于UML协作图生成集成测试用例的方法,将表示设计的协作图作为测试模型,首先通过遍历每条消息的直接后继识别协作图中的表示用例实现的所有可能的场景路径,然后在遍历每条场景路径的过程中获取相应协作执行的路径条件、参数变量和预期方法调用序列,最后使用范畴-划分方法确定场景路径上的输入、输出、环境条件的合理组合作为覆盖该场景路径的测试用例,用于测试一个协作场景路径上的交互行为.该方法,集成了白盒方法和黑盒方法,在覆盖所有的测试需求的前提下,生成的测试用例较少.
|
|
19.
|
多媒体对象的Agent展示集成模型* 被引次数：3
|
|
|
|
|
|
|
巩志国 周龙骧《软件学报》,1999年第10卷第1期
|
|
|
根据多媒体对象的面向对象特点,给出了一种基于“事件-条件-动作”的Agent展示集成模型.该模型集对象的内容、时序、空间关系于一体,通过消息传递与对象展示状态事件控制对象展示集成的行为,保证了对象的封装性,并对用户的交互提供有力的支持,是一种动态集成模型.“事件-条件-动作”机制是主动数据库中广泛采用的方法,已有成熟的技术支持.通过对Allen所定义的时序关系的表示,说明了模型的表达能力,并通过实例加以验证.指出了展示集成模型在多媒体数据库中的作用.
|
|
20.
|
时间属性序列图:语法和语义
|
|
|
|
|
|
|
张鹏程 李必信 李雯睿《软件学报》,2010年第21卷第11期
|
|
|
为了表示事件出现的时间约束，扩展属性序列图为时间属性序列图，使其继承属性序列图的优点，并且能够表示时间属性，定义了时间属性序列图的形式语法，并给出基于时间Büchi自动机的形式操作语义;用实时规约模式度量了时间属性序列图的表达力。最后，对时间属性序列图进行了实例研究，显示了其广泛的应用前景。
|
