如何阅读、学习本书

给教师的建议：

1．3.5节通信顺序进程(CSP)是第4章LOTOS语言的基础，如果在教学中对CSP不做要求，最好不要对LOTOS部分的内容做过高的要求。

2．虽然在实际工程应用中，时序逻辑、通信顺序进程在协议描述中应用得不如SDL、ESTELLE等形式描述语言那样广泛，但它们对深刻理解形式描述技术、训练学生的逻辑思维能力还是很有好处的。并且，它们在学术研究中的应用还是比较多的。因此，此部分可对学生做适当要求。

3．对第4章形式描述语言，建议采用以学生自学为主的实施方式。教师可以指定一个协议，要求学生用不同的形式描述语言将其描述出来，并进行讨论。

4．关于实验，建议要求学生设计一个协议并用第6章介绍的SPIN验证器对所设计的协议进行描述、分析、验证。建议研究生结合自己所从事的课题来进行协议设计与分析。

5．每章的习题分为两大类，讨论题和普通思考题。其中，教师可以为每章选定1～2个讨论题要求学生进行准备（查资料、撰写技术报告或读书报告、制作演讲PPT），并组织讨论。讨论时，可指定几个重点准备的学生进行演讲，教师和其他同学参与讨论。讨论完成后，要求学生上交报告。

6．由于本门课程是一门专业课，从考查学生的能力方面，建议采用平时作业、课堂讨论和撰写课程报告的考核方式。

7．课程实施时，建议用40学时进行理论讲授（包括课堂讨论），20学时用于实验。

给学生的建议：

1．本门课程涉及的内容较广，要求学生有比较好的相关背景知识，包括：操作系统、计算机网络、程序设计基础知识、分布式系统，特别是前两门课程中的相关知识。

2．应认真思考、完成每章中的讨论题。这些讨论题目除了有助于学生更深入地理解相关知识点外，还有利于提高学生的学术研究能力，包括：如何查阅文献、撰写读书报告或技术报告的能力，英文文献阅读能力，分析问题、解决问题的能力，学会从多个角度、多个层次去思考一个问题（而不是简单地回答是什么或不是什么）。

3．强烈建议学生自已设计一个协议，并用SPIN验证器进行分析、验证。

给工程技术人员的建议：

本书第2、4、6、7章的内容对工程实践有比较强的指导作用，可帮助相关工程技术人员解决实际工程中的通信协议设计、描述、验证及测试问题。