10.3969/j.issn.1672-058X.2006.02.015
基于LOTOS对象模型的并发形式化研究
面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法,是一种实现软件自动化的有效方法.介绍了形式化描述语言LOTOS的组成、操作语义和规则;根据LOTOS对并发操作描述的优势,应用它的操作语义和规则定义,结合面向对象技术和状态图的理论知识,定义出对象的状态变迁、状态图和对象并发的形式化规则,并运用这些规则对软件系统进行并发形式化;给出了GTP管理子系统形式化的实例说明.
对象模型、并发、形式化、LOTOS
23
TP311(计算技术、计算机技术)
2006-06-08(万方平台首次上网日期,不代表论文的发表时间)
共5页
164-168