| 时间属性序列图:语法和语义 |
| |
| 作者姓名： | 张鹏程 李必信 李雯睿 |
| |
| 基金项目： | 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-09-10 |
| 修稿时间： | 2009-07-23 |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载免费的PDF全文 |
|
