Communications of the ACM
S-R machines: a visual formalism for reactive and interactive systems
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
This paper describes the process guide, behavior model, icons, and diagrams of SCOOP-3, a pictorial method for developing reactive systems. SCOOP-3's semantics are Concurrent C++ or Ada: its icons and diagrams are mechanically translatable to these languages. SCOOP-3's process guide supports reuse, prototyping, and concurrent specification and design. Its behavior model (S-R Machines) integrates the notions of finite and infinite automata, data abstractions, and objects. My earlier notes in SEN demonstrated the Finite State Automata power of S-R Machines. This note demonstrates their far greater power and expressiveness. SCOOP-3's black box, machine, and clear box diagrams have the same objective (and names!) as Mills' Box-Structured approach: stepwise provable specifications and designs.