%0 Journal Article
%T A Tool for Analyzing UML Sequence Diagrams with Timing Constraints<br>带时间约束的UML序列图的分析工具
%A TAN Wen kai
%A LI Xuan dong
%A ZHENG Guo liang
%A <br>谭文凯
%A 李宣东
%A 郑国梁
%J 软件学报
%D 2001
%I 
%X The Unified Modeling Language (UML) is a general purpose visual modeling language that is designed to specify, visualize, construct and document the artifacts of software systems. UML sequence diagrams describe a collaboration of interacting objects, where the interactions are exchanges among communicating entities in real time and distributed systems. Like any other aspect of the specification and design process, the specifications in UML sequence diagrams are susceptible to errors, and their analysis is necessary.A tool for timing analysis of UML sequence diagrams is described in this paper.
%K real
%K time systems
%K UML (unified modeling language)
%K sequence diagrams
%K timing constraints<br>实时系统
%K UML
%K 序列图
%K 时间一致性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=3EAC90F48E613BF2&yid=14E7EF987E4155E6&vid=59906B3B2830C2C5&iid=F3090AE9B60B7ED1&sid=828C17AB7A0B20B4&eid=1E0D46E7B42E2E81&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=8