期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

面向方面的时间特性建模

Modeling of Aspect-oriented Time Property
下载PDF
导出
摘要 基于面向方面软件设计方法,分离出分布式式系统的时间特性作为一个方面单独建模,将时间子方面思想应用到统一建模语言(UML)建模中,利用随机实时时序逻辑和模糊时间Petri网扩展UML约束。实例证明,该建模方法可解决UML语义问题,使建模更准确,且为日后代码织入、自动生成和测试提供方便。 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.
作者 高娜 张立臣 刘东星
机构地区 广东工业大学计算机学院
出处 《计算机工程》 CAS CSCD 北大核心 2010年第13期281-282,285,共3页 Computer Engineering
基金 国家自然科学基金资助重大项目(90818008) 国家自然科学基金资助项目(60774095 60474072Z) 广东省自然科学基金资助项目(07001774 04009465)
关键词 面向方面软件设计 统一建模语言 模糊时间PETRI网 随机实时时序逻辑 实时系统 aspect-oriented software design Unified Modeling Language（UML） Fuzzy-Timing Petri Net（FTN） Stochastic and Real-time Temporal Logic（SQTL） real-time system
分类号 TP393 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献5

  • 1刘瑞成,张立臣.基于UML的面向方面的实时系统建模方法[J].计算机应用,2005,25(8):1874-1877. 被引量：9
  • 2刘瑞成,张立臣.基于面向方面的实时系统建模方法[J].计算机科学,2006,33(7):262-265. 被引量：4
  • 3Lakas A,Blair G S,Chetwynd A.Specification and Verification of Real-time Properties Using LOTOS and SQTL[C] //Proc.of the 8th International Workshop on Software Specification and Design.Washington D.C.,USA:IEEE Computer Society,1996.
  • 4Murata T.Temporal Uncertainty and Fuzzy-timing High-level Petri Nets[C] //proc.of the 17th International Conference on Application and Theory of Pctri Nets.London,UK:Springer-Verlag,1996.
  • 5Zhou Yi,Murata T.Modeling and Analysis of Distributed Multimedia Synchronization by Extended Fuzzy-timing Petri Nets[J].Journal of Integrated Design and Process Science,2001,5(4):23-37.

二级参考文献17

  • 1Kiczales G, Lamping J,Mendhekar A,et al. Aspect Oriented Programming. In: Aksit M, Matsuoka S. eds. Proceedings of the ECOOP, ser. Lecture Notes in Computer Science. Vol 1241. Berlin: Springer-Verlag, 1997. 220-242
  • 2Blair L,Blair G S, Andersen A. Separating Functional Behavi-our and Performance Constraints: Aspect-Oriented Specification[DB/OL]. Distributed Multimedia Research Group Report MPG-98-07,1998
  • 3Lakas A,Blair G S, Chetwynd A. Specification and Verification of Real-Time Properties Using LOTOS and SQTL, In: Proceedings of the 8th International Workshop on Software Specification and Design, Paderbom,Germany, March 1996. 75-84
  • 4Murata M. Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets. Invited paper at the 17th International Conference on Application and Theory of Petri Nets, Osaka, Japan, LNCS Vol1091.11-28
  • 5Zhou Yi, Murata T. Modeling and Analysis of Distributed Multimedia Synchronization by Extended Fuzzy-timing Petri Nets.Transactions of the SDPS, 2001,5(4):23-37
  • 6Zhou Yi. Modeling and Analysis of Networked Real-time Systems via Fuzzy-timing Petri Nets;[Thesis for the degree of Ph. D]. Chi-cago: Electrical Engineering and Computer Science in the Graduate College of the University of Illinois:2000
  • 7Cassez F,Roux O-H. From Time Petri Nets to Timed Automata:[rap. port]. R12003-4, Nantes,France: juin IRCCyN,2003
  • 8ZAKARIA AA, HOSNY H, ZEID A. A UML Extension for Modeling Aspect-Oriented Systems[ Z]. International Workshop on Aspect-Oriented Modeling with UML, 2002.
  • 9ZHANG L, GALINDO M, MARQUIE D, et al. Methodology of realtime system design using multiprocessors[ J]. Microprocessors and Microsystems, 1993, 17(4): 207 - 214.
  • 10ZHANG LC, CHAIB - DRAA B. A Design methodology for real - time systems to be implemented on multiprocessor machines[ J]. Journal of Systems and Software, 1996, 33(1):37 -56.

共引文献11

计算机工程
2010年 第13期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部