1 Model Definition Data Items Elementary Operations Transaction Concept Schedule Concept Correctness Concept Correctness Algorithms.
