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

摘要：

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

关键词：动态模型、形式化、LOTOS、面对对象

所属期刊栏目：18

分类号：TP311(计算技术、计算机技术)

资助基金：重庆市教育科技研究项目;重庆邮电大学校科研和教改项目XJG0516

在线出版日期：2006-11-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：637-641