SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems
Issue No.02 - Feb. (1986 vol.12)
Mary K. Vernon , Department of Computer Science, University of Wisconsin-Madison, Madison, WI 53706
An environment to support designers in the modeling, analysis, and simulation of concurrent systems is described. It is shown how a fully nested structure model supports multilevel design and focuses attention on the interfaces between the modules which serve to encapsulate behavior. Using simple examples the paper indicates how a formal graph model can be used to model behavior in three domains: control flow, data flow, and interpretation. The effectiveness of the explicit environment model in SARA is discussed and the capability to analyze correctness and evaluate performance of a system model are demonstrated. A description of the integral help designed into SARA shows how the designer can be offered consistent use of any new tool introduced to support the design process.
Analytical models, Data models, Manuals, Semantics, User interfaces, Grammar, Syntactics, reachability analysis, Concurrent systems, graph models, hierarchical design, integral help, interactive simulation, performance models, queueing models
Mary K. Vernon, "SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems", IEEE Transactions on Software Engineering, vol.12, no. 2, pp. 293-311, Feb. 1986, doi:10.1109/TSE.1986.6312945