咨询与建议

限定检索结果

文献类型

  • 5 篇 期刊文献
  • 3 篇 学位论文

馆藏范围

  • 8 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 8 篇 工学
    • 8 篇 计算机科学与技术...
    • 8 篇 软件工程

主题

  • 8 篇 uml2.0顺序图
  • 3 篇 时间自动机
  • 3 篇 控制流分析
  • 2 篇 并发控制流
  • 2 篇 建模
  • 2 篇 嵌入式实时软件
  • 2 篇 活动图
  • 1 篇 面向方面建模
  • 1 篇 动作
  • 1 篇 ocl约束
  • 1 篇 复合片段
  • 1 篇 时序描述逻辑
  • 1 篇 uppaal
  • 1 篇 测试数据生成
  • 1 篇 软件测试
  • 1 篇 有穷自动机
  • 1 篇 消息
  • 1 篇 形式化
  • 1 篇 描述逻辑

机构

  • 4 篇 苏州大学
  • 2 篇 暨南大学
  • 2 篇 吉林大学
  • 1 篇 兰州理工大学
  • 1 篇 南京航空航天大学

作者

  • 3 篇 张广泉
  • 2 篇 王琳
  • 2 篇 戎玫
  • 2 篇 罗浩
  • 1 篇 张其文
  • 1 篇 李明
  • 1 篇 童格明
  • 1 篇 刘传会
  • 1 篇 王洪媛
  • 1 篇 杨曦
  • 1 篇 金淳兆
  • 1 篇 陈冬火
  • 1 篇 张家晨
  • 1 篇 杨敬中

语言

  • 8 篇 中文
检索条件"主题词=UML2.0顺序图"
8 条 记 录,以下是1-10 订阅
排序:
uml2.0顺序图的时序描述逻辑语义
收藏 引用
计算机工程 2011年 第3期37卷 52-54页
作者: 张其文 童格明 李明 兰州理工大学计算机与通信学院 兰州730050
针对uml2.0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题,提出一种基于时序描述逻辑的uml2.0顺序图形式化方法。对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范——时序描述逻辑,根据uml2.0新... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
uml2.0顺序图的一种有穷自动机模型
收藏 引用
计算机工程与科学 2008年 第12期30卷 118-121,141页
作者: 刘传会 戎玫 张广泉 苏州大学计算机科学与技术学院 江苏苏州215006 暨南大学深圳旅游学院 深圳518053
为了在软件开发早期阶段对uml2.0顺序图模型进行分析和验证,本文给出了uml2.0顺序图的一种有穷自动机模型。首先给出了顺序在语法和语义上的形式化描述,然后提出了一种使有穷自动机来描述每个对象在顺序描述的场景中所参与的事件序... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于消息语义的uml2.0顺序图控制流分析
收藏 引用
吉林大学学报(理学版) 2007年 第4期45卷 595-600页
作者: 王洪媛 王琳 张家晨 金淳兆 吉林大学计算机科学与技术学院 长春130012 吉林大学软件学院 长春130012
基于消息语义提出一种分析uml2.0顺序图控制流的方法,分析了uml2.0顺序图消息发送和接收动作之间的关系,并将其映射到相应的消息上,得到消息的相继顺序关系.根据消息的顺序关系设计了由顺序到活动的一致性映射规则,并得到基于消息... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于并发语义的uml2.0顺序图控制流分析
基于并发语义的UML2.0顺序图控制流分析
收藏 引用
作者: 王琳 吉林大学
学位级别:硕士
统一建模语言uml是目前软件开发领域最为广泛应用的一种建模语言。随着uml的广泛应用和最新版本uml 2.0的发布,以及模型驱动架构MDA技术的日趋成熟,基于模型的控制流分析(MBCFA)这一领域已经得到越来越多的关注,它对MDA背景下的模型编... 详细信息
来源: 同方学位论文库 同方学位论文库 评论
一种基于uml顺序生成测试数据的方法
一种基于UML顺序图生成测试数据的方法
收藏 引用
作者: 杨曦 南京航空航天大学
学位级别:硕士
软件测试是保障软件质量的重要手段。随着基于uml软件测试的普及,基于uml顺序生成测试数据,可以在系统开发早期就设计集成测试阶段的测试用例,提高测试效率;并且是基于uml顺序的集成测试能够进行并发挥作用的关键。随着uml2.0标准... 详细信息
来源: 同方学位论文库 同方学位论文库 评论
面向方面的软件系统动态交互行为建模
收藏 引用
计算机工程与科学 2007年 第11期29卷 137-139页
作者: 杨敬中 戎玫 张广泉 苏州大学计算机科学与技术学院 江苏苏州215006 暨南大学深圳旅游学院 广东深圳518053
面向方面编程是一种基于关注点分离的新技术,它成功地解决了面向对象编程中存在的代码缠结和散射问题。但是,在软件设计阶段,面向方面建模并没有得到很好的支持。通过分析面向方面编程的特点以及uml2.0新增的复合片段概念,本文提出了应... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
形式化与可视化相结合的嵌入式实时软件建模和验证
形式化与可视化相结合的嵌入式实时软件建模和验证
收藏 引用
作者: 罗浩 苏州大学
学位级别:硕士
随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式系统变得越来越复杂,这对嵌入式实时软件开发的各个阶段(从系统分析、设计到实现、验证)均带来了新的困难和挑战。为了保障嵌入式实时软件的实时性、安全性和可靠性... 详细信息
来源: 同方学位论文库 同方学位论文库 评论
嵌入式实时软件建模方法研究
收藏 引用
苏州大学学报(自然科学版) 2007年 第2期23卷 49-54页
作者: 罗浩 张广泉 陈冬火 苏州大学计算机科学与技术学院 江苏苏州215006
随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式实时软件变得越来越复杂.为了提高系统的安全性和可靠性,将基于uml的建模方法与形式化建模方法相结合,可以为嵌入式实时软件建模和验证提供一种良好的解决方案.采用... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论