基于SDL的PPP协议软件形式化开发  

Development of PPP Protocol Software Based on SDL Language

作　　者：宋瑾钰[1] 魏仰苏[1] 

机构地区：[1]浙江理工大学信息电子学院,杭州310018

出　　处：《浙江理工大学学报（自然科学版）》2005年第3期250-253,共4页Journal of Zhejiang Sci-Tech University(Natural Sciences)

基　　金：浙江省自然科学基金(M603145)

摘　　要：介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程。重点研究了如何利用SDL语言抽象出PPP协议的系统、块、进程和过程并对其进行形式化描述。The paper introduces formal description techniques and SDL. Taking example by PPP protocol, the paper researches the whole procedure of formal development, the emphases is how to partition system, block, process and procedure and then formally describe them using SDL.

关 键 词：形式描述技术 SDL语言 PPP协议 

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