%0 Journal Article
%T Formal analysis for dynamic behavioral models of real-time systems<br>实时系统动态行为模型的一种形式分析方法
%A RONG Mei
%A <br>戎玫
%J 计算机应用研究
%D 2009
%I 
%X This paper introduced a formal analysis for dynamic behavioral models of real-time systems based on unified modeling languages(UML 2.0).Firstly,presented the formal specification of UML sequence diagrams,and studied the relationship between the events in the sequence diagram,after that introduced an automata to describe the events that every object participated in the scenario that the sequence diagram depicts.Then extended the automata to describe the UML 2.0 sequence diagram that contains combined fragmen...
%K real-time systems
%K dynamic behavioral model
%K timing constraint
%K unified modeling language UML 2
%K 0
%K object automata<br>实时系统
%K 动态行为模型
%K 时间约束
%K 统一建模语言UML
%K 2.0
%K 对象自动机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=8D14E7681899A608DB5D2881CBF008F9&yid=DE12191FBD62783C&vid=96C778EE049EE47D&iid=9CF7A0430CBB2DFD&sid=360667AE40EB4B13&eid=0E763684CEBA82AB&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=4