时间属性序列图:语法和语义

为了表示事件出现的时间约束，扩展属性序列图为时间属性序列图，使其继承属性序列图的优点，并且能够表示时间属性，定义了时间属性序列图的形式语法，并给出基于时间büchi自动机的形式操作语义;用实时规约模式度量了时间属性序列图的表达力。最后，对时间属性序列图进行了实例研究，显示了其广泛的应用前景。