Specification of Reactive Hardware/Software Systems - Electronic ...

LIST OF FIGURES xix
6.16 Strongly Distributed Communication ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 190
6.17 Boot Scenario ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 196
6.18 Configuration Scenario ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 196
6.19 Normal Operation Scenario ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 196
6.20 Scenario Assembly ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 197
6.21 Channel Renaming ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 218
6.22 Common Channels on Multiple Process Objects ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 219
9.1 A Simple Handshake Protocol ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 286
9.2 A Transition Graph of the Handshake Protocol ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 288
9.3 A 1-place Buffer ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 289
9.4 A Transition Graph of the 1-place Buffer ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 290
9.5 State Diagram of a 1-place Buffer ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 296
9.6 A Comparison of Process Stacks ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 299
10.1 Instance Structure Diagram of the Initial Elevator Specification ¢ ¡ ¢ ¡ ¢ 320
10.2 Architecture Structure Diagram of the Elevator Problem ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 321
10.3 Intermediate Instance Structure Diagram of the Elevator Specification ¢ 323
10.4 Instance Structure Diagram of the Transformed Elevator Specification ¢ 325
10.5 Illustration of Transformational Design ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 328
10.6 An Infinite Partitioning of the Design Space ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 329
11.1 SHE Bridging the Gap ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 334
11.2 Elements of an Analysis Method ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 335
11.3 Phases and Milestones ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 336
11.4 Overlap in Specification and Design ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 339
11.5 SHE Framework ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 340
11.6 SHE Framework ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 342
11.7 Purpose of SHE Framework Blocks ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 343
11.8 Simplified Overview of Textual and Graphical Representations ¢ ¡ ¢ ¡ ¢ 344
11.9 Development of Models in the Course of Time ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 346
11.10Architecture Structure Diagram ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 348
11.11Message Flow Diagram ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 350
11.12Feeder Station: Product Flow Scenario ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 354
11.13Feeder Station: Feeding Scenario ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 355
11.14Feeder Station: Scenario Assembly ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 356
11.15Overview of Message Flow Symbols ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 357
11.16Feeder Station: Object Class Diagram ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 359
11.17Development of Models in the Course of Time ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 361
11.18Feeder Station: Instance Structure Diagram ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 362
11.19An Abstract Channel ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 371
11.20Extended Channel Model ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 371
11.21Explicit Channel Model ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 372
11.22Local Extensions ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 372
12.1 A Typical Mailing Machine ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 376
12.2 Architecture Structure Diagram of the Control System ¢ ¡ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ 379