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

• 作者: 张鹏程 李必信 李雯睿
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 属性序列图 时间属性序列图 时间Büchi自动机 形式验证
• 年，卷（期）: 2010,（11）
• 页码范围: 2752-2767
• 分类号: TP311
• 字数: 14637字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2010.03711

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李雯睿	河海大学计算机与信息学院	4	25	3.0	4.0
2	张鹏程	东南大学计算机科学与工程学院	35	115	8.0	8.0
4	李必信	东南大学计算机科学与工程学院	39	305	9.0	15.0