世界著名计算机教材精选·软件工程卷2：系统与语言规约

　　原著作者为中文版所作的序
　　译者序
　　序言
　　概述
　　“UML”化的形式技术
　　RAISE规约语言：RSL
　　致谢
　　第2卷的简要指南
　　I 开篇
　　1 序言
　　1.1 前言
　　1.1.1 为什么有本卷
　　1.1.2 为什么要掌握这些原理、技术与工具
　　1.1.3 本卷“包含”了什么
　　1.1.4 本卷是如何“陈述”的
　　1.2 “轻量级”形式技术
　　1.3 RSL的入门读物
　　1.3.1 类型
　　1.3.2 RSL谓词演算
　　1.3.3 具体RSL类型
　　1.3.4 入演算＋函数
　　1.3.5 其他应用表达式
　　1.3.6 命令式结构
　　1.3.7 进程结构
　　1.3.8 简单RSL规约
　　1.4 文献评注
　　Ⅱ规约刻面
　　2 层次与复合
　　2.1 关键问题
　　2.1.1 非形式说明
　　2.1.2 形式说明
　　2.2 初步的方法论的结论
　　2.2.1 一些定义
　　2.2.2 原则与技术
　　2.3 主要的例子
　　2.3.1 层次的叙述表示
　　2.3.2 层次的形式表示
　　2.3.3 复合的，叙述性表示
　　2.3.4 复合的形式表示
　　2.4 讨论
　　2.5 文献评注：Stanistaw Leshniewski
　　2.6 练习
　　3 指称和计算
　　3.1 前言
　　3.1.1 计算和指称
　　3.1.2 句法和语义
　　3.1.3 特性描述
　　3.2 指称语义
　　3.2.1 一个简单的例子：数符
　　3.2.2 指称原则
　　3.2.3 表达式指称
　　3.2.4 GOTO连续
　　3.2.5 指称语义的讨论
　　3.3 计算语义
　　3.3.1 关键问题
　　3.3.2 两个例子
　　3.3.3 表达式计算
　　3.3.4 GOTO程序的计算语义
　　3.3.5 协同例程程序的计算语义
　　3.3.6 讨论
　　3.4 回顾：指称和计算
　　3.5 一些语义的创始人
　　3.5.1 John McCarthy
　　3.5.2 Peter Landin
　　3.6 练习
　　4 格局：上下文和状态
　　4.1 引言
　　4.2 问题
　　4.3 “现实世界”上下文和状态
　　4.3.1 物理系统：上下文和状态
　　4.3.2 上下文和状态
　　4.3.3 非物理系统：上下文和状态
　　4.3.4 讨论I
　　4.3.5 讨论Ⅱ
　　4.4 第一次总结：上下文和状态
　　4.4.1 概述
　　4.4.2 开发原则和技术
　　4.5 程序设计语言格局
　　4.6 并发进程格局
　　4.6.1 示例
　　4.6.2 总结
　　4.7 第二次总结：上下文和状态
　　4.8 信息状态和行为状态
　　4.8.1 作为状态机数据的程序流程图
　　4.8.2 流程图三机器
　　4.8.3 流程图机
　　4.8.4 评论
　　4.8.5 结论
　　4.9 最后的总结：上下文和状态
　　4.10 练习
　　Ⅲ关键领域和系统刻面
　　5 时间、空间和空间／时间
　　5.1 时间
　　5.1.1 时间——基础
　　5.1.2 时间——一般问题
　　5.1.3 时间的“A序列”和“B序列”模型
　　5.1.4 时间的连续统理论
　　5.1.5 时态事件
　　5.1.6 时态行为
　　5.1.7 时间表示
　　5.1.8 时间“上”的操作
　　5.2 空间
　　5.2.1 空间——基础
　　5.2.2 位置变化实体
　　5.2.3 位置和动态性
　　5.2.4 空间——一般问题
　　5.3 空间／时问
　　5.3.1 指导示例
　　5.3.2 空问／时问的表示
　　5.3.3 Blizard的时间空间理论
　　5.4 讨论
　　5.5 文献评注
　　5.6 练习
　　Ⅳ语言学
　　6 语用
　　6.1 前言
　　6.2 日常语用
　　6.3 “形式”语用
　　6.4 讨论
　　6.4.1 概述
　　6.4.2 原则和技术
　　6.5 文献评注
　　6.6 练习
　　7 语义
　　7.1 前言
　　7.2 具体语义
　　7.3 “抽象”语义
　　7.4 预备语义概念
　　7.4.1 句法和语义类型
　　7.4.2 上下文
　　7.4.3 状态
　　7.4.4 格局
　　7.4 .5 解释、求值、细化
　　7.5 指称语义
　　7.5.1 简单情况
　　7.5.2 复合情况
　　……
　　7.6 宏扩展语义
　　7.7 操作和计算语义
　　7.8 证明规则语义
　　7.9 讨论
　　7.10 文献评注
　　7.11 练习
　　8 句法
　　8.1 问题
　　8.2 句子和语义结构
　　8.3 第一个抽象句法，John Mc Carthy
　　8.4 BNF语法＝具体句法
　　8.5 结构生成器和识别器
　　8.6 XML：可扩展标{己语言(Extensible Markup Language)
　　8.7 抽象句法
　　8.8 转换RSL类型到BNF
　　8.9 非形式和形式句法讨论
　　8.10 文献评注
　　8.11 练习
　　9 符号体系
　　9.1 符号体系=句法+语义+语用
　　9.2 符号体系
　　9.3 语言构件
　　9.4 语言学
　　9.5 语言和系统
　　9.6 讨论
　　9.7 Charles Sanders Peirce
　　9.8 文献评注
　　9.9 练习
　　V 其他规约技术
　　10 模块化
　　10.1 前言
　　10.2 RSL类、对象和模式
　　10.3 UML和RSL
　　10.4 讨论
　　10.5 文献评注
　　10.6 练习
　　11 自动机和机器
　　11.1 离散状态自动机
　　11.2 离散状态机器
　　11.3 有限状态自动机
　　11.4 有限状态机器
　　11.5 下推栈设备
　　11.6 文献评注：自动机和机器
　　11.7 练习
　　Ⅵ 并发和时态
　　12 佩特里网
　　12.1 问题
　　12.2 条件事件网(Condition EventNet，CEN)
　　12.3 位置变迁网(Place Transition Net，PTN)
　　12.4 染色佩特里网(Coloured Petri Net，CPN)
　　12.5 CEN示例：工作流系统
　　12.6 CPN和RSL示例：超标量处理器
　　19.7 讨论
　　12.8 文献评注
　　12.9 练习
　　13 消息和活序列图
　　13.1 消息序列图
　　13.2 活序列图：非形式阐述
　　13.3 进程代数
　　13.4 活序列图的代数语义
　　13.5 关联消息图到ESL
　　13.6 通信事务进程(Communicating Transaction Processes，CTP)
　　13.7 讨论
　　13.8 文献评注
　　13.9 练习
　　14 状态图
　　14.1 前言
　　14.2 状态图的描述
　　14.3 状态图句法的RSL模型
　　14.4 例
　　14.5 状态图的进程代数
　　14.6 状态图语义
　　14.7 关联状态图到RSL
　　14.8 讨论
　　14.9 文献评注
　　14.10 练习
　　15 时间的定量模型
　　15.1 问题
　　15.2 时态逻辑
　　15.3 时段演算
　　15.4 TRSL：具有时间的RSL
　　15.5 具有时间和时段的RSL
　　15.6 讨论
　　15.7 文献评注
　　15.8 练习
　　Ⅶ 解释器和编译器定义
　　16 SAL：简单应用式语言
　　16.1 提示
　　16.2 SAL句法
　　16.3 指称语义
　　16.4 一阶应用式语义
　　16.5 抽象命令式栈语义
　　16.6 宏扩展语义
　　16.7 ASM：一个汇编语言
　　16.8 一个编译算法
　　16.9 一个属性语法语义
　　16.10 另一个属性语法语义
　　16.11 讨论
　　16.12 回顾和文献评注
　　16.13 练习
　　17 SIL：简单命令式语言
　　17.1 背景
　　17.2 句法类型
　　17.3 命令式指称语义
　　17.4 宏扩展语义
　　17.5 讨论
　　17.6 文献评注
　　17.7 练习
　　18 SMIL：简单模块命令式语言
　　18.1 句法类型
　　18.2 指称语义
　　18.3 宏扩展语义
　　18.4 讨论
　　18.5 文献评注
　　18.6 练习
　　19 SPIL：简单并行命令式语言
　　19.1 问题
　　19.2 句法
　　19.3 进程概念和语义类型
　　19.4 面向进程的语义类型
　　19.5 初始和辅助语义函数
　　19.6 语义函数
　　19.7 讨论
　　19.8 文献评注
　　19.9 练习
　　Ⅷ结束语
　　20结束语
　　20.1 总结
　　20.2 结论：卷1和2
　　20.3 卷3的预览
　　20.4 “UML”化形式技术
　　Ⅸ附录
　　命名规则
　　参考文献

　　《软件工程卷2：系统与语言规约》是冯诺依曼奖章获得者、世界著名的计算机科学家Dines Bjorner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的写个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都足通过大量的案例分析来进行阐述，并覆盖了所有主要的软件开发时期、阶段和步骤；同时，这些原理、技术和工具是能够应用在大型工业和商业软件的开发项目中去的。
　　这套丛书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书，而且在工业和计算机产业界也具有极大的实用价值。
　　《软件工程卷2：系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先，本卷讲授一些高级的原理和技术：分层与组合、指称与计算以及构型：环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术：语用、语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。本卷的主要章节用于介绍一些专门的主题，比如模块(包括UML的类图)、Petri网、活动序列图、状态图和时态逻辑(包括时段演算)。最后，本卷介绍了开发函数式，命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。本卷适合于作为高年级本科生和研究生，以及研究程序设计方法学的学者的教材或参考书。