Issue No. 08 - August (1985 vol. 11)
V. Berzins , Department of Computer Science, University of Minnesota
Model building is identified as the most important part of the analysis and design process for software systems. A set of primitives to support this process is presented, along with a formal language, MSG.84, for recording the results of analysis and design. The semantics of the notation is defined in terms of the actor formalism, which is based on a message passing paradigm. The automatic derivation of a graphical form of the specification for user review is discussed. Potentials for computer-aided design based on MSG.84 are indicated.
user review, Actor formalism, concurrency, data abstraction, diagrams, formal language, functional specification, modeling, modularity
V. Berzins and M. Gray, "Analysis and Design in MSG.84: Formalizing Functional Specifications," in IEEE Transactions on Software Engineering, vol. 11, no. , pp. 657-670, 1985.