基于面向方面的实时系统建模方法

• 作者: 刘瑞成 张立臣
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 面向方面软件设计 形式化方法 时间自动机 模糊时间Petri网 随机实时时序逻辑 实时系统
• 年，卷（期）: 2006,（7）
• 所属期刊栏目: 软件工程
• 页码范围: 262-265
• 页数: 4页
• 分类号: TP3
• 字数: 4174字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2006.07.071

摘要

分布式实时系统的实时特性可以利用面向方面软件设计方法来建模,把时间方面细分为确定的时间子方面、不确定的时间子方面和模糊时间子方面.根据面向方面技术,不同的时间子方面分别利用随机实时时序逻辑(SQTL)和模糊时间Petri网(FTN)来表示,并且每个不同形式化语言表示的子方面模型能够通过转化为时间自动机织入系统,实现系统的实时特性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张立臣	广东工业大学计算机学院	158	820	14.0	21.0
2	刘瑞成	广东工业大学计算机学院	7	74	4.0	7.0