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

Study of formalization of dynamic model based on LOTOS

作　　者：蒋学文[1] 代劲[1] 冯正超[2] 

机构地区：[1]重庆邮电大学教务处,重庆400065 [2]防化指挥工程学院一系,北京102205

出　　处：《重庆邮电学院学报（自然科学版）》2006年第5期637-641,共5页Journal of Chongqing University of Posts and Telecommunications(Natural Sciences Edition)

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

摘　　要：面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性,结合面向对象技术和状态图的理论知识,给出了基于LOTOS的动态模型的形式化方法,并给出了实例说明。It is an efficient way to implement software automation by means of applying formalization methods to object oriented technology. In this paper, characters of formal description language LOTOS are introduced. Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]