第二卷涵盖的基本原则和技术的具体制度和语言。它涉及的建模符号（语用，语义和语法的系统和语言） ，空间造型和简单的时间现象，而且这种专门题目为模块化（包括uml类图)， petri网，活出序列图，状态图，和颞逻辑学，其中包括持续计算。最后，本书介绍的技术翻译和编译器开发的功能性，势在必行，模块化和并行编程语言。 -The second volume covers the basic principles and techniques of specifying systems and langua