基于时序描述逻辑的UML顺序图形式化方法

• 作者: 陈振庆
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 时序描述逻辑 统一建模语言顺序图 静态语义 动态语义 形式化规约 形式化验证
• 年，卷（期）: 2013,（3）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 36-40
• 页数: 5页
• 分类号: TP182
• 字数: 5751字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2013.03.008

摘要

根据统一建模语言(UML)顺序图的时序特征,提出一种基于时序描述逻辑ALCQIUs的UML顺序图形式化方法.研究ALCQIUs时序扩展部分的语法和语义、ALCQIus断言公式集一致性定理,给出ALCQIus断言公式集一致性推理算法,并证明该推理算法的可判定性.以公安报警系统为例,说明基于ALCQIus的UML顺序图形式化规约和形式化验证具备可行性,并且ALCQIus为UML顺序图形式化提供了合理的逻辑基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈振庆	贺州学院计算机科学与工程系	15	87	6.0	9.0