Object-oriented analysis, modeling, and simulation of a notional air defense system

This paper describes the analysis, modeling, and simulation of a notional air defense system using SMOOCHES (State Machines for Object-Oriented, Concurrent, Hierarchical Engineering Specifications). SMOOCHES is an object-oriented environment based on hierarchical state machines and extensions to statecharts, specifically developed as an environment to specify, model, simulate and analyze/evaluate distributed, reactive systems.