基于LOTOS对象模型的并发形式化研究

• 作者: 代劲 蒋学文
• 来源期刊: 重庆工商大学学报（自然科学版）
• 学科: 工学
• 关键词: 对象模型 并发 形式化 LOTOS
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 电子信息技术
• 页码范围: 164-168
• 页数: 5页
• 分类号: TP311
• 字数: 2868字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-058X.2006.02.015

摘要

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法,是一种实现软件自动化的有效方法.介绍了形式化描述语言LOTOS的组成、操作语义和规则;根据LOTOS对并发操作描述的优势,应用它的操作语义和规则定义,结合面向对象技术和状态图的理论知识,定义出对象的状态变迁、状态图和对象并发的形式化规则,并运用这些规则对软件系统进行并发形式化;给出了GTP管理子系统形式化的实例说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋学文	重庆邮电学院教务处	4	19	2.0	4.0
2	代劲	重庆邮电学院教务处	24	149	7.0	11.0