系统架构设计师（第二版）学习笔记----计算机语言

【原文链接】系统架构设计师（第二版）学习笔记----计算机语言

一、计算机语言的组成

1.1 计算机语言的分类

• 机器语言
• 汇编语言
• 高级语言
• 建模语言
• 形式化语言

二、机器语言

2.1 机器语言指令信息

• 操作码
• 操作数的地址
• 操作结果的存储地址
• 下一条指令的地址

2.2 机器语言指令格式的种类

• 三地址指令
• 二地址指令
• 单地址指令
• 零地址指令
• 可变地址指令

三、汇编语言

3.1 汇编语言中语句种类

• 指令语句
• 伪指令语句
• 宏指令语句

3.2 汇编语言指令和伪指令的语句格式

• 名字
• 操作符
• 操作数
• 注释

四、高级语言

4.1 常见的高级语言

• C
• C++
• Java
• VB
• C#
• Python
• Ruby

五、建模语言

5.1 UML的组成要素

• UML的基本构造块（事务、关系）
• 图（支配基本构造块如何放在一起的规则）
• 运用于整个语言的公用机制

5.2 UML中的事务分类

• 结构事务
• 行为事务
• 分组事务
• 注释事务

5.3 UML中的结构事务种类

• 类
• 接口
• 协作
• 用例
• 主动类
• 构件
• 制品
• 结点
  各种结构事务类的图形化表示如下图所示
  

5.4 UML中行为事务种类

• 交互
• 状态机
• 活动
  

5.5 UML中关系的分类

• 依赖
• 关联
• 泛化
• 实现

5.6 UML2.0中提供的图

• 类图
• 对象图
• 用例图
• 序列图
• 通信图
• 状态图
• 活动图
• 构件图
• 部署图
• 组合结构图
• 包图
• 交互概览图
• 计时图

5.7 交互图的种类

• 序列图
• 通信图
• 交互概览图
• 计时图

5.8 UML的5中视图

• 用例视图
• 逻辑视图
• 进程视图
• 实现视图
• 部署视图

六、形式化语言

6.1 形式化规格说明语言的种类

• 公里方法，利用前置条件和后置条件描述程序的行为
• 基于集合论和一阶谓词演算的meta-IV语言和Z语言
• 代数规格说明，是关于抽象数据类型的代数描述，语言有OBJ和ACT
• 进程描述语言，用于描述开发进程的行为

6.2 形式化方法基于描述方式的分类

• 模型描述的形式化方法
• 性质描述的形式化方法

6.3 形式化方法基于表达能力的分类

• 模型方法
• 代数方法
• 进程代数方法
• 逻辑方法
• 网络模型方法

6.4 形式化方法的开发过程

• 可行性分析
• 需求分析
• 体系结构分析
• 详细设计
• 编码
• 测试发布