时间属性序列图:语法和语义
Syntax and Semantics of Timed Property Sequence Chart作者机构：东南大学计算机科学与工程学院江苏南京210096 河海大学计算机与信息学院江苏南京210098
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：2010年第21卷第11期
页 面：2752-2767页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论]
基 金：国家自然科学基金Nos.60773105 60973149 国家高技术研究发展计划(863)No.2008AA01Z113 中央高校基本科研业务费专项资金No.2009B04314~~
主 题：属性序列图 时间属性序列图 时间Büchi自动机 形式验证
摘 要：为了表示事件出现的时间约束,扩展属性序列图为时间属性序列图,使其继承属性序列图的优点,并且能够表示时间属性,定义了时间属性序列图的形式语法,并给出基于时间Büchi自动机的形式操作语义;用实时规约模式度量了时间属性序列图的表达力.最后,对时间属性序列图进行了实例研究,显示了其广泛的应用前景.
维普期刊数据库
同方期刊数据库