Requirements for the Military Message System (MMS) Family: Data Types and User Commands.
Abstract
This report, an application of Parnas' family methodology, describes the required user-visible behavior of a family of Military Message Systems (MMS). These systems have two significant areas of commonality: all enforce the rules described by the MMS security model; and the user-visible data types and user commands required by each system can be extracted from a large set of data types and user commands. Based on a study of several existing message systems, this report defines the set of data types (e.g., message, message file, directory) and user commands associated with the MMS family. We use an Intermediate Command Language (ICL) to describe the user commands abstractly, i.e., to specify each command's effects without imposing unnecessary restrictions on either the command syntax or the physical characteristics of the user's terminal. To simplify and shorten the specifications, we define a hierarchy data types. Also included is a glossary of terms. Keywords: Requirements, Specifications, Security model, Program families, Functional specifications, and Message systems.
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 11, 1986
- Accession Number
- ADA167128
Entities
People
- Constance L. Heitmeyer
Organizations
- United States Naval Research Laboratory