%0 Journal Article
%T 时间属性序列图:语法和语义
%A 张鹏程？
%A 李必信？
%A 李雯睿？
%J 软件学报
%P 2752-2767
%D 2010
%X 为了表示事件出现的时间约束，扩展属性序列图为时间属性序列图，使其继承属性序列图的优点，并且能够表示时间属性，定义了时间属性序列图的形式语法，并给出基于时间büchi自动机的形式操作语义;用实时规约模式度量了时间属性序列图的表达力。最后，对时间属性序列图进行了实例研究，显示了其广泛的应用前景。
%K 属性序列图
%K 时间属性序列图
%K 时间büchi自动机
%K 形式验证
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3711&flag=1