DocumentCode
745111
Title
Analysis and Design in MSG.84: Formalizing Functional Specifications
Author
Berzins, Valdis ; Gray, Michael
Author_Institution
Department of Computer Science, University of Minnesota
Issue
8
fYear
1985
Firstpage
657
Lastpage
670
Abstract
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.
Keywords
Actor formalism; concurrency; data abstraction; diagrams; formal language; functional specification; modeling; modularity; user review; Buildings; Formal languages; Formal specifications; Power system modeling; Process design; Programming; Prototypes; Software design; Software systems; Specification languages; Actor formalism; concurrency; data abstraction; diagrams; formal language; functional specification; modeling; modularity; user review;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1985.232516
Filename
1702076
Link To Document