| 时间属性序列图:语法和语义 |
| |
| 引用本文： | 张鹏程,李必信,李雯睿.时间属性序列图:语法和语义[J].软件学报,2010,21(11):2752-2767. |
| |
| 作者姓名： | 张鹏程 李必信 李雯睿 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant Nos.60773105, 60973149 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2008AA01Z113 (国家高技术研究发展计划(863)); the Fundamental Research Funds for the Central Universities of China under Grant No.2009B04314 (中央高校基本科研业务费专项资金) |
| |
| 摘 要： | 为了表示事件出现的时间约束，扩展属性序列图为时间属性序列图，使其继承属性序列图的优点，并且能够表示时间属性，定义了时间属性序列图的形式语法，并给出基于时间Büchi自动机的形式操作语义;用实时规约模式度量了时间属性序列图的表达力。最后，对时间属性序列图进行了实例研究，显示了其广泛的应用前景。
|
| 关 键 词： | 属性序列图 时间属性序列图 时间Büchi自动机 形式验证 |
| 收稿时间： | 2008/9/10 0:00:00 |
| 修稿时间： | 2009/7/23 0:00:00 |
Syntax and Semantics of Timed Property Sequence Chart |
| |
| ZHANG Peng-Cheng,LI Bi-Xin and LI Wen-Rui.Syntax and Semantics of Timed Property Sequence Chart[J].Journal of Software,2010,21(11):2752-2767. |
| |
| Authors: | ZHANG Peng-Cheng LI Bi-Xin and LI Wen-Rui |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
