Strategic Defense Initiative Architecture Dataflow Modeling Technique, Version 1. 5. Final report

This report presents the SDI Architecture Dataflow Modeling Technique (SADMT), a uniform formal notation for the description of SDI system architectures and Battle Management and Command, Control, and Communications (BM/C3) architectures. SADMT is a technique for thinking about and describing architectural processes and structures that use the typing and functional facilities of the Ada programming language. This document defines SADMT and the programming interface to the SADMT Simulation Facility (SADMT/SF). The issues addressed here are those relevant to providing formal descriptions of system structure and behavior for interface consistency checking, system simulation, and system evaluation.