Timed Property Sequence Chart
Timed Property Sequence Chart
复制标题
定时属性序列图
DOI：
10.1016/j.jss.2009.09.013
复制
发表时间：
2010-03
影响因子：
3.5
通讯作者：
Grunske, Lars
中科院分区：
文献类型：
--
作者：
Zhang, Pengcheng;Li, Bixin;Grunske, Lars
属性序列图(Property Sequence Chart，PSC)是最近提出的一种新的基于场景的表示方法，用于表示并发系统的时态属性。这种语言在表达能力和使用简单性之间取得了平衡。然而，当前版本的PSC只表示事件的顺序，缺乏表达时序属性的能力。在实时系统中，众所周知，这些定时要求非常重要，需要明确规定。为此，本文定义了时间PSC(TPSC)，并用时间Büchi自动机(TBA)给出了TPSC的语义。然后，我们基于最近提出的实时规范模式来衡量TPSC的表达能力。最后，我们说明了在需要时间要求的Web服务应用程序的上下文中使用TPSC。
Property Sequence Chart (PSC) is a novel scenario-based notation, which has been recently proposed to represent temporal properties of concurrent systems. This language balances expressive power and simplicity of use. However, the current version of PSC just represents the order of events and lacks the ability to express timing properties. In real-time systems, it is well known that these timing requirements are very important and need to be specified clearly. Thus, in this paper, we define timed PSC (TPSC) and give the semantics of TPSC in terms of Timed Büchi Automaton (TBA). Then, we measure the expressive power of TPSC based on the recently proposed real-time specification patterns. Finally, we illustrate the use of TPSC in the context of a web service application which requires timing requirements.
登录
查看更多内容
影响因子：
0.5
作者：
A. A. Letichevskii-A.;Y. Kapitonova;V. Kotlyarov;A. A. Letichevskii-A.;V. Volkov
通讯作者：
A. A. Letichevskii-A.;Y. Kapitonova;V. Kotlyarov;A. A. Letichevskii-A.;V. Volkov
DOI：
10.1109/aswec.2007.49
发表时间：
2007-04
期刊：
2007 Australian Software Engineering Conference (ASWEC'07)
影响因子：
--
作者：
Lars Grunske;Kirsten Winter;R. Colvin
通讯作者：
Lars Grunske;Kirsten Winter;R. Colvin
DOI：
10.1016/j.entcs.2008.04.037
发表时间：
2008-04
期刊：
--
影响因子：
--
作者：
M. Autili;Patrizio Pelliccione
通讯作者：
M. Autili;Patrizio Pelliccione
DOI：
10.1145/1134285.1134308
发表时间：
2006-05
期刊：
Proceedings of the 28th international conference on Software engineering
影响因子：
--
作者：
Jianbin Tan;G. Avrunin;L. Clarke
通讯作者：
Jianbin Tan;G. Avrunin;L. Clarke
DOI：
10.1109/tse.2003.1178048
发表时间：
2003-02
期刊：
IEEE Trans. Software Eng.
影响因子：
--
作者：
Sebastián Uchitel;J. Kramer;J. Magee
通讯作者：
Sebastián Uchitel;J. Kramer;J. Magee