UML序列图

作品数：14被引量：27H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陈平李景峰刘玥波谭文凯李宣东更多>>
相关机构：西安电子科技大学贝尔有限公司南京大学华东师范大学更多>>
相关期刊：《小型微型计算机系统》《系统工程与电子技术》《西安电子科技大学学报》《长安大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金中国石油科技创新基金浙江省自然科学基金宁波市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Android模拟P-Sensor的设计与实现
《集成技术》2019年第4期63-68,共6页李红义 孔庆德 方伟 吴双卿 胡超 
浙江省自然科学基金项目(LQ17F030002);宁波市自然科学基金项目(2017A610108)
该文基于高通MSM8939平台,在不增加距离传感器(Proximity Sensor,P-Sensor)的前提下,提出了一种基于触摸屏的距离传感器模拟方法。该文首先介绍了电容触摸屏面板触点位置检测原理和数值计算方法,并给出模拟P-Sensor距离检测原理;然后,...
关键词：ANDROID 模拟P-Sensor Linux内核驱动 框架层 UML序列图 
基于DSG模型的测试用例自动生成方法被引量：2
《小型微型计算机系统》2015年第11期2510-2514,共5页李立刚 侯胜坤 戴永寿 李隆浩 王亚龙 
中国石油科技创新基金研究项目(2010D-5006-0602)资助;山东省自然科学(ZR2013FL035)资助
传统的基于程序的测试用例生成方法在大中型软件测试应用中存在着多种问题,如用例覆盖不全面、测试周期长、质量差等.为解决以上问题,本文提出了一种基于有向序列图(Directed sequence graph,DSG)模型的测试用例自动生成方法,以实现高...
关键词：UML序列图 有向序列图 软件测试 测试用例自动生成 
基于指称语义的UML序列图的语义分析
《赤峰学院学报（自然科学版）》2012年第23期33-35,共3页刘玥波 
统一建模语言UML是近年来软件工程领域的重要成果之一.在UML规范中,静态语义是用OCL语言和自然语言描述的,而动态语义基本上是用自然语言来描述的,因此UML缺乏一个严格的动态语义定义.本文针对UML半形式化的特点,在采用指称语义学方法...
关键词：UML序列图 指称语义 语义分析 
基于指称语义的UML序列图的形式化分析被引量：2
《吉林建筑工程学院学报》2011年第2期87-89,共3页刘玥波 
吉林建筑工程学院城建学院科学技术研究项目(2009第112号)
统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列...
关键词：形式化 UML序列图 指称语义 
基于通信序列进程的UML序列图形式化方法被引量：1
《计算机应用》2010年第10期2727-2729,2734,共4页邓建波 张立臣 邓惠敏 徐碧红 
国家自然科学基金资助项目(90818008;60774095;60474072Z)
UML2.0序列图是一种描述对象之间动态协作和事件发展时间关系的视图,但是UML序列图缺乏精确的形式化语义,所以不利于对其所描述的系统进行形式化验证。为此,根据UML2.0语义文档及组合碎片包概念,基于通信序列进程(CSP)给出了UML序列图...
关键词：UML2.0序列图 形式语义 组合碎片包 通信序列进程 
UML序列图在Java程序设计中的应用
《现代计算机》2008年第4期82-84,共3页陈红军 宋进红 
通过一个具体的Java程序的设计与实现案例,详细介绍了利用UML序列图设计Java应用程序的整个建模过程,说明了使用UML序列图使得开发过程标准化、可视化及代码编程简单化。
关键词：UML 序列图 JAVA 程序设计 
逆向工程中的UML序列图抽象技术被引量：4
《计算机科学》2004年第12期169-172,共4页李凡 陈平 
十五军事电了预研重点课题"C~3I系统应用软件逆向工程开发工具的研究"(编号:413060601)
研究了逆向工程中序列图的抽象问题。以逆向工程分析工具RER的开发为背景,针对其逆向生成的进程问交互序列图和进程内部交互序列图,引入并实现了面向交互的抽象、面向类的抽象、面向进程模块的抽象和面向模式的抽象四种序列图抽象方法...
关键词：序列图 逆向工程 进程 交互 UML 扩展机制 分析工具 侧面观察 抽象问题 层次 
MSC时间表示方法与UML序列图结合建模被引量：1
《内蒙古师范大学学报（自然科学汉文版）》2004年第3期278-280,284,共4页刘亮 叶新铭 
国家自然科学基金资助项目(60263002)
介绍了系统建模中的时间相关概念,以及MSC和UML序列图对时间相关概念的表示.将MSC对时间强大的表示能力和准确的表达方法应用于UML序列图,对时间进行建模,提高了UML序列图的时间建模能力,进一步满足了实际系统,尤其是实时系统建模的要求.
关键词：统一建模语言 UML 序列图 消息序列图 MSC 时间建模 
一种UML序列图到层次状态图合成方法被引量：2
《计算机应用》2004年第S1期311-313,共3页王学龙 陈平 
"十五"军事电子预研课题 (41 30 60 60 1 0 6)
UML序列图和状态图从不同侧面简洁、明了地描述了系统的动态行为。层次性状态图有利于提高系统对象的可理解性和可读性。本文提出了一种自动的、递增的多个UML序列图到层次性状态图的合成方法 ,并集成在Rose工具中。
关键词：UML 序列图 状态图 层次性状态图 
基于进程代数的UML序列图的形式语义被引量：4
《计算机科学》2004年第4期173-175,183,共4页李青山 褚华 陈平 
"十五"军事电子预研重点课题项目(项目编号413060601)
UML序列图用于建模实例间动态交互过程.但UML规范并没有给出其形式化的动态语义,这不利于对模型进行形式化验证和证明。本文把序列图中的事件动作及其执行序列映射为进程代数中的进程表达式,利用进程代数语义框架来构建UML序列图的形式...
关键词：面向对象 建模语言 UML 进程代数 序列图 形式语义 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部