TPN与B方法集成的形式化技术  

Formal Method Integrating TPN and B Method

作　　者：姜梦稚[1] 

机构地区：[1]上海电机学院电子信息学院,上海200240

出　　处：《华东理工大学学报（自然科学版）》2007年第B06期127-131,共5页Journal of East China University of Science and Technology

基　　金：基金项目：上海市教委“优秀青年教师”项目资助（29-008-2）

摘　　要：单一的形式化方法和技术在描述系统时总是有一定的不足，通过集成TPN与B方法可以相互取长补短。本文讨论了TPN-B技术如何将TPN与B方法的抽象机之间构建起映射关系，介绍了如何用TPN-B对系统进行一个初始的构造，并通过对滑动窗口协议进行描述来体现。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.

关 键 词：TPN B方法 集成 滑动窗口协议 

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