消息序列图

作品数：13被引量：31H指数：2
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：陈中育尹霞吴建平王之梁施新刚更多>>
相关机构：浙江师范大学重庆邮电大学南京大学上海大学更多>>
相关期刊：《计算机系统应用》《系统工程与电子技术》《计算机工程与设计》《北京邮电大学学报》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划江苏省自然科学基金浙江省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于消息序列图的协议交互过程构建方法
《计算机应用》2015年第5期1373-1378,共6页石旺 杨英杰 唐慧林 董丽鹏 
国家973计划项目(2011CB311801);河南省科技创新人才计划项目(114200510001)
为了有效掌握协议的交互行为,提出一种基于消息序列图的协议交互过程自动构建方法。首先,根据协议交互过程的特点,定义依赖关系图来表示消息序列中事件的偏序关系,将网络流转换为依赖关系图;然后,使用基本消息序列描述协议的交互行为片...
关键词：消息序列图 网络流 依赖关系图 事件最大后缀 协议交互过程 
基于CPN的求解关键路径的新方法被引量：1
《计算机系统应用》2013年第8期9-13,53,共6页郑文艳 
在证明转换规则正确性的基础上,首先利用转换规则对AOE网进行转换,然后从两个方面对转换后的CPN(Colored Petri Nets)模型不合理的地方进行合理性的修改.再利用编写的函数求出从源点到汇点的所有的可达路径,在获得所有可达路径的同时也...
关键词：关键路径 颜色PETRI网 消息序列图 时间复杂度 状态空间 
消息序列图的范畴论语义描述
《计算机工程》2011年第14期65-67,共3页于立兴 陈中育 高毅 
消息序列图(MSC)作为一种描述和规范系统部件之间交互行为的图文语言,对实例和消息等元素本身没有相应的描述结构,使得描述功能扩展有诸多限制。为了增强MSC描述的精确性与灵活性,对其进行语义形式化。在原有消息机制的基础上,采用范畴...
关键词：交互行为 范畴论 形式化语义 时间概念 
面向对象的机电系统结构及行为建模被引量：2
《机电工程》2011年第1期94-98,共5页许勇 
针对原理设计阶段机电一体化系统的逻辑结构模型、逻辑/物理行为模型和原理方案表达,提出了基于参考模型的机电一体化系统初步逻辑结构,以及基于统一建模语言(UML)类图的详细逻辑结构(即原理方案表达);提出了基于消息序列图(MSC)的交互...
关键词：逻辑结构 逻辑行为 统一建模语言 消息序列图 规范和描述语言 
TD-SCDMA终端协议一致性测试方法被引量：4
《数字通信》2009年第6期49-52,共4页曾年 曾莉 
通信设备的协议非一致性问题日趋严重。以我国提出的TD-SCDMA标准为基础,利用SDL提供的TTCN测试工具对终端协议栈GMM层路由更新过程进行测试与仿真,得出仿真的结果消息序列图MSC来介绍3GPP中的协议一致性测试过程。
关键词：TD-SCDMA移动通信系统 终端无线接口协议 一致性测试 路由更新过程 消息序列图 
基于场景规约的系统行为建模被引量：1
《应用科学学报》2009年第4期403-408,共6页陈中育 缪淮扣 
国家"973"重点基础研究发展计划基金(No.2007CB310800);国家自然科学基金(No.60673115);国家"863"高技术研究发展计划基金(No.2007AA01Z144);上海市教委科研项目基金(No.07ZZ06);上海市重点学科建设项目基金(No.J50103)资助
提出一种基于场景规约的系统行为建模方法。采用消息序列图描述场景,把场景规约中构件实例之间消息传递的事件序列作为一种显式的场景提取物并给出语义表示,通过场景正样本构造前缀树接受器。此前缀树接受器是一个能接受正样本的最大确...
关键词：消息序列图 场景规约 构件行为 商自动机 
一种基于场景的需求验证方法被引量：1
《计算机时代》2008年第11期4-7,共4页郑宇恒 
在软件需求分析工作中,需要检验获取的需求是否同客户的需求相一致。文章提出一种基于场景的软件需求验证方法,给出了基于场景的系统模型检验验证算法,并通过一个实例对其进行了检验。该方法运用有限状态自动机对软件需求进行建模,以消...
关键词：有限状态自动机 消息序列图 需求验证 场景 活动序列 
场景驱动的构件行为舍弃被引量：1
《计算机应用》2008年第11期2936-2939,共4页郑宇恒 陈中育 李卫杰 
如果构件含有冗余的行为,特别是有用户不想要的功能,则用户无法使用。因此,如何从构件中保留场景规约中用户需要的行为便是一个亟待解决的问题。给出了一种解决方法。该方法通过舍弃用户不需要的行为,保留场景规约中用户需要的行为,得...
关键词：接口自动机 消息序列图 流体变量 构件 行为舍弃 
基于MSC的TTCN-3测试例生成研究被引量：2
《计算机工程与设计》2008年第2期375-377,共3页胡文红 魏仰苏 
浙江省自然科学基金项目(M603145);浙江省重点科技计划基金项目(2005C21027)
提出了从消息序列图(MSC)生成TTCN-3测试例的方法。测试者可以先针对被测系统(SUT)中感兴趣的部分利用MSC描述出具体的测试场景,再从MSC映射成TTCN-3测试例。将MSC映射成TTCN-3的方法主要包括对MSC文档、基本MSC和高级MSC这3部分的映射。
关键词：消息序列图 测试和测试控制标记法 测试场景 测试例 映射 
场景驱动的构件行为抽取被引量：16
《软件学报》2007年第1期50-61,共12页张岩 胡军 于笑丰 张天 李宣东 郑国梁 
国家自然科学基金;国家重点基础研究发展规划基金(973);江苏省自然科学基金~~
如果构件含有冗余的功能,特别是含有用户不想要的功能,则无法被用户正确使用.因此,如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题.给出了解决该问题的一种方法.该方法通过为构件构造一个环境,即极大包含环境...
关键词：接口自动机 消息序列图 极大包含环境 构件 行为抽取 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部