| 通信软件的形式化研究及其应用 |
| |
| 引用本文： | 刘岩,戴逸松.通信软件的形式化研究及其应用[J].吉林大学学报(工学版),1998(1). |
| |
| 作者姓名： | 刘岩 戴逸松 |
| |
| 摘 要： | 通过对ＯＭＴ（特别是改进的ＯＭＴ）模型的叙述，指出非形式化方法的缺点，然后给出了一个可能的面向对象技术的语法框架，最后用该框架对一个通信软件进行了描述，为改进的ＯＭＴ的形式化工作及其在通信中的应用打下了基础。
|
| 关 键 词： | 通信软件 面向对象 对象建模技术 形式化 语法框架 |
A Formalization Research and Its Application of Communication Software |
| |
| Liu Yan,Dai Yisong.A Formalization Research and Its Application of Communication Software[J].Journal of Jilin University:Eng and Technol Ed,1998(1). |
| |
| Authors: | Liu Yan Dai Yisong |
| |
| Affiliation: | Dept of Electronic Engineering |
| |
| Abstract: | The OMT model,specially,improved OMT model is discussed in this paper.The shortcomings of informal methods are pointed out.Then,a grammar framework of object oriented technique is given.Finally,a communication software is described by this framework.A solid foundation is laid for the OMT formalization research and its applications in communications. |
| |
| Keywords: | communication software OMT formalization grammar framework |
| 本文献已被 CNKI 等数据库收录！ |
