UML2.0顺序图

作品数：6被引量：20H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张广泉戎玫刘传会王琳杨敬中更多>>
相关机构：苏州大学暨南大学中国航发控制系统研究所吉林大学更多>>
相关期刊：《计算机工程》《吉林大学学报（理学版）》《计算机工程与设计》《苏州大学学报（自然科学版）》更多>>
相关基金：重庆市自然科学基金江苏省高校自然科学研究项目甘肃省自然科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
UML2.0顺序图的时序描述逻辑语义被引量：7
《计算机工程》2011年第3期52-54,共3页张其文 童格明 李明 
甘肃省自然科学基金资助项目(0809RJZA018)
针对UML2.0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题,提出一种基于时序描述逻辑的UML2.0顺序图形式化方法。对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范——时序描述逻辑,根据UML2.0新...
关键词：UML2.0顺序图 时序描述逻辑 形式化 描述逻辑 
UML2.0顺序图的形式化研究被引量：2
《计算机工程与设计》2009年第24期5646-5649,共4页郭峰 张萌 
在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型。为此首先给出了UML顺序图的一种符合BNF范式的形式化语法,然后为该语法中的非终止符定义转换规则,...
关键词：统一建模语言 顺序图 PETRI网 语义模型 转换规则 
UML2．0顺序图的一种有穷自动机模型被引量：3
《计算机工程与科学》2008年第12期118-121,141,共5页刘传会 戎玫 张广泉 
江苏省高校自然科学研究项目(08KJB520010);重庆市自然科学基金资助项目(2006BB2259)
为了在软件开发早期阶段对UML2.0顺序图模型进行分析和验证,本文给出了UML2.0顺序图的一种有穷自动机模型。首先给出了顺序图在语法和语义上的形式化描述,然后提出了一种使有穷自动机来描述每个对象在顺序图描述的场景中所参与的事件序...
关键词：UML2.0顺序图 UPPAAL 有穷自动机 时间自动机 
面向方面的软件系统动态交互行为建模被引量：5
《计算机工程与科学》2007年第11期137-139,共3页杨敬中 戎玫 张广泉 
江苏省高校自然科学基金资助项目(05KJB520119);重庆市自然科学基金资助项目(2006BB2259)
面向方面编程是一种基于关注点分离的新技术,它成功地解决了面向对象编程中存在的代码缠结和散射问题。但是,在软件设计阶段,面向方面建模并没有得到很好的支持。通过分析面向方面编程的特点以及UML2.0新增的复合片段概念,本文提出了应...
关键词：面向方面建模 UML2.0顺序图 复合片段 
基于消息语义的UML2.0顺序图控制流分析
《吉林大学学报（理学版）》2007年第4期595-600,共6页王洪媛 王琳 张家晨 金淳兆 
国家自然科学基金(批准号:60473003);国家高等教育博士生计划研究基金(批准号:20050183065)
基于消息语义提出一种分析UML2.0顺序图控制流的方法,分析了UML2.0顺序图消息发送和接收动作之间的关系,并将其映射到相应的消息上,得到消息的相继顺序关系.根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则,并得到基于消息...
关键词：UML2.0顺序图 活动图 控制流分析 并发控制流 消息 动作 
嵌入式实时软件建模方法研究被引量：4
《苏州大学学报（自然科学版）》2007年第2期49-54,共6页罗浩 张广泉 陈冬火 
江苏省高校自然科学基金资助项目(05KJB520119);重庆市自然科学基金资助项目(CSTC;2006BB2259)
随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式实时软件变得越来越复杂.为了提高系统的安全性和可靠性,将基于UML的建模方法与形式化建模方法相结合,可以为嵌入式实时软件建模和验证提供一种良好的解决方案.采用...
关键词：嵌入式实时软件 建模 UML2.0顺序图 时间自动机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部