%0 Journal Article
%T Real-time System Modeling Method Based on Aspect-oriented<br>基于面向方面的实时系统建模方法
%A LIU Rui-Cheng
%A ZHANG Li-Chen
%A <br>刘瑞成
%A 张立臣
%J 计算机科学
%D 2006
%I 
%X The reabtime of distributed real-time systems can be modeled by aspect-oriented software design methods, and separated into deterministic timing sub-aspect, undeterministic timing sub-aspect and fuzzy timing sub-aspect further. According to the aspect-oriented technology, different timing subaspects can be designed by different design languages, such as the Stochastic and Reabtime Temporal Logic for deterministic and underministic timing subaspects, and Fuzzy-timing Petri Nets for the fuzzy timing subaspect. After all the timing aspects are designed, they are translated into timed automata and woven into the system, and realize the reabtime features.
%K Aspect-oriented software design
%K Formal method
%K Timed automata
%K Fuzzy-timing Petri nets
%K Stochastic and real-time temporal logic
%K Reabtime system<br>面向方面软件设计
%K 形式化方法
%K 时间自动机
%K 模糊时间Petri网
%K 随机实时时序逻辑
%K 实时系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=849DCFBE04F7AC1C&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=DF92D298D3FF1E6E&sid=30897FA31CA3354D&eid=FDC7AF55F77D8CD4&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=7