-
题名基于面向方面的实时系统建模方法
被引量：4
- 1
-
-
作者
刘瑞成
张立臣
-
机构
广东工业大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2006年第7期262-265,共4页
-
基金
国家自然科学基金(No.60474072
No.60174050)
+2 种基金
广东省自然科学基金(No.04009465
No.010059)
广东省高校自然科学研究项目(No.Z03024)基金资助
-
文摘
分布式实时系统的实时特性可以利用面向方面软件设计方法来建模,把时间方面细分为确定的时间子方面、不确定的时间子方面和模糊时间子方面。根据面向方面技术,不同的时间子方面分别利用随机实时时序逻辑(SQTL)和模糊时间Petri网(FTN)来表示,并且每个不同形式化语言表示的子方面模型能够通过转化为时间自动机织入系统,实现系统的实时特性。
-
关键词
面向方面软件设计
形式化方法
时间自动机
模糊时间PETRI网
随机实时时序逻辑
实时系统
-
Keywords
Aspect-oriented software design, Formal method, Timed automata, Fuzzy-timing Petri nets, Stochastic and real-time temporal logic, Reabtime system
-
分类号
TP316.2
[自动化与计算机技术—计算机软件与理论]
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名面向方面的时间特性建模
- 2
-
-
作者
高娜
张立臣
刘东星
-
机构
广东工业大学计算机学院
-
出处
《计算机工程》
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
[自动化与计算机技术—计算机应用技术]
-
