%0 Journal Article
%T Analysis of the Reachability of Timed UML Sequence Diagrams<br>UML时间顺序图的可达性分析
%A GONG Jia-Yu
%A LI Xuan-Dong
%A ZHENG Guo-Liang State Key Laboratory for Novel Software Technology
%A Nanjing University
%A Nanjing
%A <br>龚嘉宇
%A 李宣东
%A 郑国梁
%J 计算机科学
%D 2005
%I 
%X For real-time systems,UML sequence diagrams describe interaction among objects,which shows the sce- narios of system behaviour. In this paper,we discuss about the reachability of the composition of UML sequence dia- grams,which can describe multi-scenarios. We can transform this problem to the corresponding timed automata,but the corresponding time automata has a large state space and the cost is large and not efficient. For these reasons,to solve part of the problem of reachability,we adapt a solution based on linear programming for its higher efficiency. The method of the solution is shown as follows: firstly,we traverse all simple path segments that can reach the given node to check the reachability; secondly,we traverse the path segments reaching the given node to check the reacha- bility,such path segments include all the loops at most once. In this paper,when we try to check the reachability of the given node,there may be three results: true,false and uncertain,for we haven't traversed all the path segments. Since some loops has nothing to do with the reachability,we try to distinguish those loops that have no relationship with the reachability in order to improve the algorithm.
%K Real-time system
%K UML
%K Sequence diagram
%K Timing constraints<br>实时系统
%K UML
%K 顺序图
%K 时间约束
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=04534EF9CD18C842&yid=2DD7160C83D0ACED&vid=9971A5E270697F23&iid=B31275AF3241DB2D&sid=954CE65414DD94CA&eid=A58CF3BAE79427D0&journal_id=1002-137X&journal_name=计算机科学&referenced_num=4&reference_num=13