LOGOS and the software engineer

Rose, Charles W.

doi:10.1145/1479992.1480034

Cited by 17 publications

(2 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The parallel program schemata introduced information regarding the data structure of a computation linked to the asynchronous control graph. In particular, the counter schema devised by Karp and Miller formed the basis of the model used in LOGOS [11], from which the AIDS structured directed graphs were developed. Models based on the schemata of Karp and Miller have also been developed at MIT [12] and at UCLA [13].…”

Section: Design Methodsmentioning

confidence: 99%

Analysis and restructuring of concurrent systems using prolog

Heath

Foulk

Li³

1984

IEE Proc. E Comput. Digit. Tech. UK

View full text Add to dashboard Cite

The paper describes a CAD system for the analysis and restructuring of complex concurrent systems. The design process can be divided into two stages: top-down analysis and bottom-up restructuring. At the top-down stage, a complex system is represented by a hierarchy of subsystems written in the language SDL. Each subsystem is the integration of data and control flow, and can be treated independently for the purpose of design, optimisation, etc. Then, at the bottom-up stage, they are locally or globally restructured to obtain a new construction exhibiting maximal parallelism. Taking full advantage of logic progamming, the system has been implemented entirely in Prolog.

show abstract

Section: Design Methodsmentioning

confidence: 99%

Analysis and restructuring of concurrent systems using prolog

Heath

Foulk

Li³

1984

IEE Proc. E Comput. Digit. Tech. UK

View full text Add to dashboard Cite

show abstract

“…SARA emphasizes interfaces as places where inconsistencies are revealed and where information hiding is enforced. The analysis strength that had evolved around the UCLA Control Flow Graph [39] and the LO-GOS [11], [12] work on associated control flow and data flow graphs was combined with UCLA experience on effectiveness of simulation as a design tool [40]. Starting with Gardner's proposal [20], the rich set of interactive SARA tools in Fig.…”

Section: Modeling Domains and Primitivesmentioning

confidence: 99%

SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems

Estrin¹,

Fenchel

Razouk

et al. 1986

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

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.

show abstract