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

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

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

CLC Number: 

• TP393