This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Analysis and Design in MSG.84: Formalizing Functional Specifications
August 1985 (vol. 11 no. 8)
pp. 657-670
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.
Index Terms:
user review, Actor formalism, concurrency, data abstraction, diagrams, formal language, functional specification, modeling, modularity
Citation:
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, Aug. 1985, doi:10.1109/TSE.1985.232516
Usage of this product signifies your acceptance of the Terms of Use.