Slide 1 1 Model Definition Data Items Elementary Operations Transaction Concept Schedule Concept Correctness Concept Correctness Algorithms Slide 2 2 Data Items and Operations…