Abstract Model Specification Lecture # 18.. Notation Example[r]
(1)Formal Methods in SE
(2)(3)Notation
• Is used to test the results
• Independent of program code • Mathematical Data model
(4)4
Features( Znotation)
• Decompose specification into small pieces (Schemas)
• Schemas are used to describe both static and dynamic aspects of a system
• Data Refinement • Direct Refinement
(5)Schema
Static Aspect
The state can occupy.
The invariant relationships that are
(6)6
Schema(cont.)
Dynamic Aspect
The operations that are possible
The relationship between their inputs and
outputs
(7)Notation Example
Some variables are declared.
Relationship between the values of the variables Name