LOTOS事件结构语义模型的实现

• 作者: 袁红
• 来源期刊: 福建电脑
• 学科: 工学
• 关键词: 形式化方法 LOTOS 进程代数 事件结构
• 年，卷（期）: 2006,（9）
• 所属期刊栏目: 应用与开发
• 页码范围: 159-160
• 页数: 2页
• 分类号: TP3
• 字数: 3304字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-2782.2006.09.099

摘要

本文以LOTOS为基础,简介了LOTOS进程代数的概念和算子.同时,以事件结构作为进程代数的语义模型,充分展示了形式化方法是如何对一个复杂系统进行静态或动态刻画.本文最后以上述理论为基础,开发出一款辅助软件工具.该软件具有两方面的用途:一是能对给定的一个LOTOS语言层次上的系统刻画,自动生成结构层次上的系统模型;二是进行等价性模型检测.此工具将形式化方法的推理过程可视化、实用化.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	袁红		4	6	1.0	2.0