2.4 The Big Picture

This chapter has provided an overview of the entire process. The remainder of the book covers the details of what exactly needs to be done to build and compile Executable UML models.

Chapter 3 and Chapter 4 address the topics of working out what needs to be modeled in the first place, addressed in this chapter as Section 2.1: The System Model.

Chapter 5 and Chapter 6 cover the class diagram, addressed here as Section 2.2.1: Classes.

Chapter 7 covers action semantics and action language (Section 2.2.3: Procedures) and Chapter 8 covers constraints on the class diagram.

Chapter 9 covers the basics of statechart diagrams (Section 2.2.2: State Machines). Chapter 10 through Chapter 14 cover ways to build sets of communicating statechart diagrams.

Chapter 15 covers model verification (Section 2.3.1: Model Verification).

Chapter 16 covers model management.

Chapter 17 and Chapter 18 cover weaving the models together so they will execute (Section 2.3.2: Model Compilation).