网络协议工程概述.pdfVIP

第 １ 章 概述 南京邮电大学 内容提要 1 课程概述 2 契约 3 契约工程 第 1 章 概述 2 课程名称 网络契约工程 网络：三网（计算机网络、电信网络、 CATV ）,分布式系统/操作系统 契约：规定通信双方交换数据的格式以及有关 的同步问题。 工程：用工程化的方法来开发契约 第 1 章 概述 3 课程目标 为什么要上这门课？ 与契约有关的课程比较多, 研讨目标：契约开发中常见的设计技术、形式化 如：分布式系统、计算机网 络、数据通信等。这些课程 描述技术和契约工程学的基本理论 往往描述的是一些被广泛接 受并被一些国际标准化组织 立足点：基于最基本的理论,结合最先进的技术, 标准化了的契约。它们并不 理解最本质的知识。 解释：契约为什么正确工作、 契约的设计过程,契约是不 是有缺陷。而这些正是本课 本课程包括：阅读资料、面授教学、课堂讨论、 程要解决的问题 学生讲授、习题讨论等环节。希望通过本课程的 学习,不仅掌握所涉及的契约开发知识,而且锻 炼一些研究生必备的科研技能。 第 1 章 概述 4 课程目标（续） 内容要求： 对契约工程学有一个基本认识 面对一个并不熟悉的科研领 重点掌握契约设计技术、形式化描述技术（FSM, 域,可以做到独立查阅资料、 SDL） 确定一个具体的研究目标、 制定实施计划、最终完成一 了解契约验证技术和一致性测试技术 个相对独立的研究。 将已经掌握的科研内容, 锻炼的科研技能： 用精练的语言表达出来, 通过与其他人讨论,更 在独立解决了某个科研 深入地掌握此方面知识。 独立解决一个具体科研问题的能力