搜索到46篇“ 消息序列图“的相关文章
- 基于消息序列图的协议交互过程构建方法
- 2015年
- 为了有效掌握协议的交互行为,提出一种基于消息序列图的协议交互过程自动构建方法。首先,根据协议交互过程的特点,定义依赖关系图来表示消息序列中事件的偏序关系,将网络流转换为依赖关系图;然后,使用基本消息序列描述协议的交互行为片段,通过定义事件最大后缀来挖掘基本消息序列;最后,搜索出最大依赖关系图并将其连接合并,构建出消息序列图。实验结果表明,该方法具有较高的准确性,构建出的消息序列图可以直观地表示协议的交互过程。
- 石旺杨英杰唐慧林董丽鹏
- 关键词：消息序列图网络流
- 消息序列图的范畴论语义描述
- 2011年
- 消息序列图(MSC)作为一种描述和规范系统部件之间交互行为的图文语言,对实例和消息等元素本身没有相应的描述结构,使得描述功能扩展有诸多限制。为了增强MSC描述的精确性与灵活性,对其进行语义形式化。在原有消息机制的基础上,采用范畴论的数学方法,给出MSC的语义描述结构,并对其结构进行扩展,增强带时间概念的MSC描述功能。
- 于立兴陈中育高毅
- 关键词：交互行为范畴论形式化语义
- 消息序列图（MSC）修订2:修订附录I？MSC研究组17的应用
- 消息序列图（MSC）修订1:附录I？MSC研究组17的应用
- 消息序列图模式抽取与组合
- 2004年
- 在抽象原子模式的基础上,提出了一种基于图连通性判定的模式抽取方法,并给出了其正确性证明。接着,详尽分析和给出了模式组合定理的一个构造性证明以及模式组合前后的消息序列图的行为等价性证明。基于该模式抽取与组合方法,可以在更高层面重新组合模式。通过实验验证了该方法的有效性。
- 李青山
- 关键词：模式抽取消息序列图
- 消息序列图(MSC)
- 消息序列图（MSC）消息序列的余量
- 规范和描述语言(SDL)数据与消息序列图(MSC)的绑定.Z系列:电信系统的语言和通用软件方面.形式描述技术(FDT)消息序列表(MSC).17号研究组
- 关键词：消息序列图序列图
- 规范和描述语言(SDL)数据与消息序列图(MSC)的绑定.Z系列:电信系统的语言和通用软件方面.形式描述技术(FDT)消息序列表(MSC).17号研究组
- 关键词：消息序列图序列图
- (撤回)消息序列图(MSC)系列Z(第10研究组)40页
- 关键词：序列图
相关作者
- 陈中育
- 作品数：73被引量：128H指数：5
- 供职机构：浙江师范大学
- 研究主题：身份 软件工程 区块 范畴论 消息序列图
- 石旺
- 作品数：4被引量：17H指数：2
- 供职机构：解放军信息工程大学
- 研究主题：异常检测 消息序列图 交互行为 序列图 交互过程
- 吴建平
- 作品数：758被引量：4,340H指数：34
- 供职机构：清华大学
- 研究主题：计算机网络 路由器 互联网 INTERNET 网络安全
- 王之梁
- 作品数：203被引量：112H指数：6
- 供职机构：清华大学
- 研究主题：网络 异常检测 存储介质 网络流量 IPV6
- 郑宇恒
- 作品数：5被引量：4H指数：1
- 供职机构：浙江师范大学
- 研究主题：消息序列图 测控网络 形式化方法 接口自动机 网络安全
