| TPN与B方法集成的形式化技术 |
| |
| 引用本文： | 姜梦稚.TPN与B方法集成的形式化技术[J].华东理工大学学报(自然科学版),2007,33(B06):127-131. |
| |
| 作者姓名： | 姜梦稚 |
| |
| 作者单位： | 上海电机学院电子信息学院,上海200240 |
| |
| 基金项目： | 基金项目：上海市教委“优秀青年教师”项目资助（29-008-2） |
| |
| 摘 要： | 单一的形式化方法和技术在描述系统时总是有一定的不足，通过集成TPN与B方法可以相互取长补短。本文讨论了TPN-B技术如何将TPN与B方法的抽象机之间构建起映射关系，介绍了如何用TPN-B对系统进行一个初始的构造，并通过对滑动窗口协议进行描述来体现。
|
| 关 键 词： | TPN B方法 集成 滑动窗口协议 |
| 文章编号： | 1006-3080（2007）S-0127-05 |
| 修稿时间： | 2007-03-15 |
Formal Method Integrating TPN and B Method |
| |
| JING Meng-zhi.Formal Method Integrating TPN and B Method[J].Journal of East China University of Science and Technology,2007,33(B06):127-131. |
| |
| Authors: | JING Meng-zhi |
| |
| Institution: | School of Electronic and Information, Shanghai Dianji University, Shanghai 200240, China |
| |
| Abstract: | Single formal method and technique is a little inadequate for describing the system especial
for complex system. By integrating the TPN and B method, we can have a more sufficient technique to handle the system analyzing. This article discusses how to map TPN and B method, and how to construct the whole system using TPN-B method. We use TPN-B to describe alternating bit protocol which is an special example of sliding window protocol. |
| |
| Keywords: | TPN B method integration sliding window protocol |
| 本文献已被 维普 等数据库收录！ |
