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, M. Gray, "Analysis and Design in MSG.84: Formalizing Functional Specifications", IEEE Transactions on Software Engineering, vol.11, no. 8, pp. 657-670, August 1985, doi:10.1109/TSE.1985.232516