作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2010, Vol. 36 ›› Issue (13): 281-283. doi: 10.3969/j.issn.1000-3428.2010.13.098

• 开发研究与设计技术 • 上一篇    下一篇

面向方面的时间特性建模

高 娜,张立臣,刘东星   

  1. (广东工业大学计算机学院,广州 510006)
  • 出版日期:2010-07-05 发布日期:2010-07-05
  • 作者简介:高 娜(1984-),女,硕士,主研方向:面向方面软件设计;张立臣,教授、博士;刘东星,硕士
  • 基金资助:
    国家自然科学基金资助重大项目(90818008);国家自然 科学基金资助项目(60774095, 60474072Z);广东省自然科学基金 资助项目(07001774, 04009465)

Modeling of Aspect-oriented Time Property

GAO Na, ZHANG Li-chen, LIU Dong-xing   

  1. (Faculty of Computer, Guangdong University of Technology, Guangzhou 510006)
  • Online:2010-07-05 Published:2010-07-05

摘要: 基于面向方面软件设计方法,分离出分布式式系统的时间特性作为一个方面单独建模,将时间子方面思想应用到统一建模语言(UML)建模中,利用随机实时时序逻辑和模糊时间Petri网扩展UML约束。实例证明,该建模方法可解决UML语义问题,使建模更准确,且为日后代码织入、自动生成和测试提供方便。

关键词: 面向方面软件设计, 统一建模语言, 模糊时间Petri网, 随机实时时序逻辑, 实时系统

Abstract: On the basis of aspect-oriented software design method, this paper takes time characteristics of distributed system as a separate aspect to modeling, imports the idea of time sub-aspect into Unified Modeling Language(UML), extends constraint by SQTL and Fuzzy-timing Petri Net(FTN). Example proves that this modeling method can solve the semantic problem and make the model more accurate, it is also convenient for the code weaving, automatic generation and testing.

Key words: aspect-oriented software design, Unified Modeling Language(UML), Fuzzy-Timing Petri Net(FTN), Stochastic and Real-time Temporal Logic(SQTL), real-time system

中图分类号: