期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
面向方面的时间特性建模
1
作者 高娜 张立臣 刘东星 《计算机工程》 CAS CSCD 北大核心 2010年第13期281-282,285,共3页
基于面向方面软件设计方法,分离出分布式式系统的时间特性作为一个方面单独建模,将时间子方面思想应用到统一建模语言(UML)建模中,利用随机实时时序逻辑和模糊时间Petri网扩展UML约束。实例证明,该建模方法可解决UML语义问题,使建模更准... 基于面向方面软件设计方法,分离出分布式式系统的时间特性作为一个方面单独建模,将时间子方面思想应用到统一建模语言(UML)建模中,利用随机实时时序逻辑和模糊时间Petri网扩展UML约束。实例证明,该建模方法可解决UML语义问题,使建模更准确,且为日后代码织入、自动生成和测试提供方便。 展开更多
关键词 面向方面软件设计 统一建模语言 模糊时间PETRI网 随机实时时序逻辑 实时系统
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部