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

Syntax and Semantics of Timed Property Sequence Chart

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

In this paper,in order to make property sequence chart have timed expressiveness,the property sequence chart is extended into a timed property sequence chart that gives the semantics of the timed property sequence chart in terms of timed Büchi automaton.Then,the expressive power of timed property sequence chart is measured with the use of a recently proposed real-time specification pattern.Finally,the use of timed property sequence chart is illustrated in a case study,which shows the extensive application prospect of a timed property sequence chart in real-time system.