《网络协议工程》课程教学大纲.docVIP

《网络协议工程》课程教学大纲 一、课程基本信息 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计算机网络—互联网协议与技术(英文版), 电子工业出版社, 2006.8 Douglas E.Comer. Internetworking with TCP/IP Vol.1: 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、考核方式：根据平时考勤、实验成绩和期末考试成绩进行考核，其中，平时成绩根据课堂考勤进行考核，实验成绩作为期中考试成绩，根据平时实验项目的阶段报告和期末综合报告进行