| 基于LOTOS的动态模型的形式化研究 |
| |
| 引用本文： | 蒋学文,代劲,冯正超.基于LOTOS的动态模型的形式化研究[J].重庆邮电学院学报(自然科学版),2006,18(5):637-641. |
| |
| 作者姓名： | 蒋学文 代劲 冯正超 |
| |
| 作者单位： | [1]重庆邮电大学教务处,重庆400065 [2]防化指挥工程学院一系,北京102205 |
| |
| 基金项目： | 重庆市教育科学技术研究项目、重庆邮电大学教改项目资助（XJG0516） |
| |
| 摘 要： | 面向对象技术和形式化方法结合，在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。
|
| 关 键 词： | 动态模型 形式化 LOTOS 面对对采 |
| 文章编号： | 1004-5694（2006）05-0637-05 |
| 收稿时间： | 2006-03-10 |
| 修稿时间： | 2006-07-15 |
Study of formalization of dynamic model based on LOTOS |
| |
| JIANG Xue-wen, DAI Jin,FENG Zheng-chao.Study of formalization of dynamic model based on LOTOS[J].Journal of Chongqing University of Posts and Telecommunications(Natural Sciences Edition),2006,18(5):637-641. |
| |
| Authors: | JIANG Xue-wen DAI Jin FENG Zheng-chao |
| |
| Institution: | 1. Office of Teaching Affairs, Chongqing University of Posts and Telecommunications, Chongqing 400065, P. R. China ; 2. The First Department of Institute of Chemical Defense ,Beijing 102205 ,P. R. China |
| |
| Abstract: | |
| |
| Keywords: | dynamic model formalization LOTOS object oriented |
| 本文献已被 CNKI 维普 等数据库收录！ |
