A Timed Eztension of Property Sequence Chart
Property Sequence Chart (PSC) is a novel scenariosbased notation, which is proposed to represent the temporal properties for concurrent system. It represents a first step toward languages that try to balance expressive power and simplicity of use. Thus, PSC is more intuitive and easily understandable than the traditional temporal logic, such as linear-time temporal logic or computation tree logic. However, the current version of PSC just represents the order of events occurrence and lacks the ability to express timed properties. In real-time systems, it is well known that some timed requirements are also very important and need to be specified clearly. Thus, in this paper, in order to make PSC have timed expressiveness, we extend PSC into Tmed PSC (TPSC) and give the semantics of TPSC in terms of timed Buchi automaton. Then, we measure the expressive power of TPSC by the use of recently proposed real-time specification pattern. Finally, we illustrate the use of TPSC in the context of a web service application which requires special timed requirements.
Pengcheng Zhang Bixin Li Mingjie Sun
School of Computer Science and Engineering, Southeast University, Nanjing, China
国际会议
11th IEEE High Assurance Systems Engineering Symposium(HASE 2008)(第十一届IEEE高可信系统工程国际研讨会)
南京
英文
197-206
2008-12-03（万方平台首次上网日期，不代表论文的发表时间）