协议工程课件-概论

络、数据通信等。这些课程往往描述的是一些被广泛接受并被一些国际标准化组织标准化了的协议。它们并不解释:协议为什么正确工作、协议的设计过程,协议是不是有缺陷。而这些正是本课程要解决的问题。*课程目标(续)内容要求:对协议工程学有一个基本认识重点掌握协议设计技术、形式化描述技术(FSM,SDL)了解协议验证技术和一致性测试技术锻炼的科研技能:独立解决一个具体科研问题的能力科研表达与沟通的能力撰写科技文章的能力面对一个并不熟悉的科研领域,可以做到独立查阅资料、确定一个具体的研究目标、制定实施计划、最终完成一个相对独立的研究。将已经掌握的科研内容,用精练的语言表达出来,通过与其他人讨论,更深入地掌握此方面知识。在独立解决了某个科研问题后,将科研成果以学术论文的形式表达出来。争取发表一篇论文。*授课内容概述协议设计形式化描述技术(FSM,,SDL,LOTOS,ESTELLE)协议验证协议一致性测试*国内相关课程清华大学:计算机网络中的形式化方法和协议工程学主要内容:形式化描述方法、一致性测试技术北京邮电大学:协议工程与通信软件协议工程的概念协议模型技术协议形式化描述技术协议验证技术协议实现和测试技术MSC和SDL语言简介通信软件设计方法与实践*国内相关课程(Cont.)中国科技大学软件学院:《通信系统软件开发》东南大学,河海大学研究生课程:《计算机网络协议工程》云南大学,华中科技大学,渐江理工大学等也开设了类似课程*国外相关课程一些欧洲国家的大学普遍开设类似课程UniversityofTwente:ProtocolEngineeringhttp://arch.cs.utwente.nl/courses/municationhttp://piglet.uccs.edu/~municationsSoftwareandArchitecture/kurssit/02-03/010607000