%0 Journal Article
%T Scenario-Based Consistency Verification of Component-Based Real-Time System Designs<br>基于场景构件式实时软件设计的一致性检验
%A HU Jun
%A YU Xiao-Feng
%A ZHANG Yan
%A LI Xuan-Dong
%A ZHENG Guo-Liang
%A <br>胡军
%A 于笑丰
%A 张岩
%A 李宣东
%A 郑国梁
%J 软件学报
%D 2006
%I 
%X For real-time software systems, this paper considers the problem of checking component-based designs for timing scenario-based specifications, which is one of the challenges in real-time computing domain. Firstly the timing scenario-based specifications are specified by UML sequence diagrams with a set of boolean expressions, then the interface automata for modeling real time systems through adding time intervals on the actions is extened. The component-based designs are modeled by a real-time interface automaton network which contains a set of real-time interface automata synchronized by shared actions. Based on analyzing the compatible integer state space of a real-time interface automata network, a corresponding reachability graph is constructed and finally an algorithm for checking the consistency between the real-time component-based designs and the timing scenario-based specifications is developed.
%K real-time software
%K component-based design
%K model checking
%K interface automata
%K sequence diagrams
%K unified modelling language<br>实时软件
%K 构件式设计
%K 模型检验
%K 接口自动机
%K 顺序图
%K 统一建模语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=5095B31C53C48DA5&yid=37904DC365DD7266&vid=BCA2697F357F2001&iid=CA4FD0336C81A37A&sid=B6DA1AC076E37400&eid=9FFCC7AF50CAEBF7&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=15