文档介绍：一、课程基本信息
1、课程名称（中/英文）：网络协议工程/Network Protocol Engineering
2、课程性质：专业必修
3、周学时/学分：4/3
4、授课对象：网络工程专业
5、参考书目：
Andrew S Tannenbaum Computer Networks, Fourth Edition [M] Pearson Education,2004
William Stallings, Computer Networking with Internet Protocols and Technology, Prentis Hall,2003计算机网络—互联网协议与技术(英文版), 电子工业出版社, 20068
Douglas EComer Internetworking with TCP/IP Vol1: Principles, Protocols, and Architecture (5th Edition) [M] Pearson Education,Inc, 2006
Jianping Wu , Samuel T Chanson , Quiang Gao Formal Methods for Protocol Engineering and Distributed Systems
古天龙网络协议的形式化分析与设计（Formal Analysis and Design for Networking Protocol）[M]电子工业出版社，2003
龚正虎计算机网络协议工程[M] 长沙 : 国防科技大学出版社，1993
二、课程简介
本课程为软件学院网络工程专业的必修课，学分为3分，周学时为4学时，
理论课总学时为54学时，课程的实验总学时为18学时。
课堂理论教学方面：在全面复****计算机网络原理基本内容基础上，首先拓展介绍除TCP/IP协议之外的计算机网络有关的关键问题和协议，然后从工程角度介绍网络协议工程的概念和方法学，介绍网络协议工程的主要环节，重点介绍FSM、Petri网、进程代数等形式化的网络协议工程方法学，同时简要介绍SDL、LOTOS、Estelle等网络协议形式化描述方法，在此基础上，介绍网络协议测试过程和TTCN网络协议测试方法。并以课程报告的形式，介绍网络软件体系、中间件服务和体系、Web计算体系、XML应用技术等前沿技术。
课程实践项目：结合网络软件体系、中间件服务和体系、移动分布式计算、Web计算体系、XML应用技术、WAP协议体系、工作流管理系统等前沿技术，罗列主要的协议标准、技术体系、开源代码和框架形成课程实践项目。由学生选择研究学****内容，形成项目小组，教师指导，学生利用互联网进行相关技术的学****本环节重点在于学生技能的培养。
先修课程：学****本课程之前，要求学生先修课程《计算机网络原理》。课程教学内容分为课堂理论教学、前沿技术讲座、面向学生技能培养的课程实践项目两个个方面。
三、教学目的与基本要求
教学目的与基本要求：通过本门课程的学****要求学生：熟练掌握协议服务模型、服务原语等网络协议工程基本概念；掌握网络协议工程的方法学和主要环节、协议测试的目的和环节；掌握FSM、Petri网、进程代数、SDL、LOTOS、Estelle等网络协议形式化描述方法学、网络协议测试方法学、基于中间件的多层软件体系、XML应用技术和Web计算体系
的关键概念；初步了解网络协议工程的形式化方法、工作流、WAP协议栈；培养学生利用互联网自我学****的方法、团体精神、自我规划管理能力、项目执行能力、技术报告编写方法。
主要教学方法：课堂讲授内容包括课程教学和前沿技术报告，课堂教学采用多媒体投影手段进行讲授，以教师讲授重点、难点问题为主，一般性问题由学生自由阅读，通过课堂提问、讨论，活跃课堂气氛、提高学生的学****积极性。课程实践项目采用教师辅导的方式，由学生形成项目小组，独立完成。通过课程实践项目，加深学生对网络协议实现的理解。
四、教学进度表（理论部分）
章次
题目
教学时数
第一部分
绪论及网络分层体系设计
10学时
第二部分
网络协议工程概念和方法学概述
6学时
第三部分
FSM概念与扩展
4学时
第四部分
Petri网和着色Petri概念与应用
6学时
第五部分
进程代数、SDL、Estelle和LOTOS简介
8学时
第六部分
协议测试概念和方法
10学时
第七部分
前沿和关键技术报告
10学时
第八部分
课程实践
18学时
总计
72学时
五、考核方式和成绩评定办法
1、考核方式：根据平时考勤、实验成绩和期末考试成绩进行考核，其中，平时成绩根据课堂考勤进行考核