%0 Journal Article
%T 基于面向方面的实时系统建模方法
%A 刘瑞成 张立臣？
%J 计算机科学
%D 2006
%X 分布式实时系统的实时特性可以利用面向方面软件设计方法来建模，把时间方面细分为确定的时间子方面、不确定的时间子方面和模糊时间子方面。根据面向方面技术，不同的时间子方面分别利用随机实时时序逻辑（sqtl）和模糊时间petri网（ftn）来表示，并且每个不同形式化语言表示的子方面模型能够通过转化为时间自动机织入系统，实现系统的实时特性。
%K 面向方面软件设计形式化方法时间自动机模糊时间petri网随机实时时序逻辑实时系统
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=22322532&flag=1