Section 2 describes a set of modeling tools comprehensive enough to model real-time systems.
The figure below describes the overall layout of the section.
Chapters 6 through 9 introduce tools for modeling transformations — the active part of a system. Chapter 6 introduces the transformations and the connections between them. Chapter 7 describes a set of graphic tools for specifying the details of control transformations, thus providing a description of the dynamic behavior of the system. Chapter 8 provides a set of corrresponding tools for specifying data transformations. Finally, Chapter 9 focuses on the execution of the transformation schema; it supplies tools for checking the rigor of the specification.
Chapter 10 introduces a graphic ...