期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
面向方面的时间特性建模
1
作者
高娜
张立臣
刘东星
《计算机工程》
CAS
CSCD
北大核心
2010年第13期281-282,285,共3页
基于面向方面软件设计方法,分离出分布式式系统的时间特性作为一个方面单独建模,将时间子方面思想应用到统一建模语言(UML)建模中,利用随机实时时序逻辑和模糊时间Petri网扩展UML约束。实例证明,该建模方法可解决UML语义问题,使建模更准...
基于面向方面软件设计方法,分离出分布式式系统的时间特性作为一个方面单独建模,将时间子方面思想应用到统一建模语言(UML)建模中,利用随机实时时序逻辑和模糊时间Petri网扩展UML约束。实例证明,该建模方法可解决UML语义问题,使建模更准确,且为日后代码织入、自动生成和测试提供方便。
展开更多
关键词
面向方面软件设计
统一建模语言
模糊时间PETRI网
随机实时时序逻辑
实时系统
下载PDF
职称材料
题名
面向方面的时间特性建模
1
作者
高娜
张立臣
刘东星
机构
广东工业大学计算机学院
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第13期281-282,285,共3页
基金
国家自然科学基金资助重大项目(90818008)
国家自然科学基金资助项目(60774095
+2 种基金
60474072Z)
广东省自然科学基金资助项目(07001774
04009465)
文摘
基于面向方面软件设计方法,分离出分布式式系统的时间特性作为一个方面单独建模,将时间子方面思想应用到统一建模语言(UML)建模中,利用随机实时时序逻辑和模糊时间Petri网扩展UML约束。实例证明,该建模方法可解决UML语义问题,使建模更准确,且为日后代码织入、自动生成和测试提供方便。
关键词
面向方面软件设计
统一建模语言
模糊时间PETRI网
随机实时时序逻辑
实时系统
Keywords
aspect-oriented
software
design
Unified
Modeling
Language(UML)
Fuzzy-Timing
Petri
Net(FTN)
stochastic
and
real
-
time
temporal
logic
(
sqtl
)
real
-
time
system
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
面向方面的时间特性建模
高娜
张立臣
刘东星
《计算机工程》
CAS
CSCD
北大核心
2010
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部