| 基于LOTOS的动态模型的形式化研究 |
| |
| 引用本文： | 蒋学文,代劲,冯正超.基于LOTOS的动态模型的形式化研究[J].重庆邮电大学学报(自然科学版),2006,18(5):637-641. |
| |
| 作者姓名： | 蒋学文 代劲 冯正超 |
| |
| 作者单位： | 重庆邮电大学,教务处,重庆,400065;防化指挥工程学院一系,北京,102205 |
| |
| 基金项目： | 重庆市教育科技研究项目;重庆邮电大学校科研和教改项目 |
| |
| 摘 要： | 面向对象技术和形式化方法结合，在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。
|
| 关 键 词： | 动态模型 形式化 LOTOS 面对对象 |
| 文章编号： | 1004-5694(2006)05-0637-05 |
| 收稿时间： | 2006/3/10 0:00:00 |
| 修稿时间： | 2006年3月10日 |
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,2006,18(5):637-641. |
| |
| Authors: | JIANG Xue-wen DAI Jin FENG Zheng-chao |
| |
| Institution: | Office of Teaching Affairs, Chongqing University of Posts and Telecommunications, Chongqing 400065,P.R.China |
| |
| Abstract: | |
| |
| Keywords: | LOTOS |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《重庆邮电大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《重庆邮电大学学报(自然科学版)》下载免费的PDF全文 |
