基于LOTOS的动态模型的形式化研究

• 作者: 代劲 冯正超 蒋学文
• 来源期刊: 重庆邮电学院学报（自然科学版）
• 学科: 工学
• 关键词: 动态模型 形式化 LOTOS 面对对象
• 年，卷（期）: 2006,（5）
• 所属期刊栏目: 计算机与自动化
• 页码范围: 637-641
• 页数: 5页
• 分类号: TP311
• 字数: 4181字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-825X.2006.05.023

摘要

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法.介绍了形式化描述语言LOTOS的特性,结合面向对象技术和状态图的理论知识,给出了基于LOTOS的动态模型的形式化方法,并给出了实例说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯正超	防化指挥工程学院一系	7	114	3.0	7.0
2	蒋学文	重庆邮电大学教务处	4	19	2.0	4.0
3	代劲	重庆邮电大学教务处	24	149	7.0	11.0