[Original link] System Architect (Second Edition) Study Notes----Computer Language
Article directory
1. The composition of computer language
1.1 Classification of computer languages
- machine language
- Assembly language
- high level language
- modeling language
- formal language
2. Machine language
2.1 Machine language instruction information
- opcode
- address of operand
- The storage address of the operation result
- The address of the next instruction
2.2 Types of Machine Language Instruction Formats
- Three address instructions
- Two address instructions
- single address instruction
- zero address instruction
- variable address instructions
3. Assembly language
3.1 Types of Statements in Assembly Language
- command statement
- directive statement
- macro statement
3.2 Statement format of assembly language instructions and pseudo-instructions
- name
- Operator
- operand
- Comment
4. High-level language
4.1 Common high-level languages
- C
- C++
- Java
- VB
- C#
- Python
- Ruby
5. Modeling language
5.1 Components of UML
- Basic building blocks of UML (transactions, relationships)
- Diagram (the rules that govern how the basic building blocks are put together)
- Common mechanisms used throughout the language
5.2 Transaction classification in UML
- Structural affairs
- behavioral matters
- group transactions
- Comment transaction
5.3 Types of Structural Transactions in UML
- kind
- interface
- cooperation
- Example
- Active type
- member
- Products
The graphical representation of node various structural transaction classes is shown in the figure below
5.4 Types of behavioral transactions in UML
- interact
- state machine
- Activity
5.5 Classification of Relationships in UML
- rely
- association
- generalize
- accomplish
5.6 Diagrams provided in UML2.0
- Class Diagram
- object graph
- use case diagram
- Sequence Diagram
- communication diagram
- State diagram
- activity diagram
- Component diagram
- Deployment diagram
- Combined structure diagram
- Package map
- Interactive overview diagram
- timing diagram
5.7 Types of interaction diagrams
- Sequence Diagram
- communication diagram
- Interactive overview diagram
- timing diagram
5.8 5 views of UML
- use case view
- logical view
- process view
- Implementation view
- Deployment view
6. Formal Language
6.1 Types of formal specification languages
- The kilometer method uses preconditions and postconditions to describe the behavior of a program
- Meta-IV language and Z language based on set theory and first-order predicate calculus
- Algebraic specifications are algebraic descriptions of abstract data types. The languages are OBJ and ACT
- Process description language, used to describe the behavior of development processes
6.2 Classification based on description method using formal methods
- Formal methods for model description
- Formal methods for property description
6.3 Classification based on expressive ability using formal methods
- model approach
- algebraic method
- process algebraic method
- Logical method
- network model approach
6.4 Development process of formal methods
- Feasibility Analysis
- demand analysis
- Architecture analysis
- detailed design
- coding
- test release