and Evaluation of Structure Charts∗†

We summarize our experience in the use of Prolog to model and evaluate structure charts according to standard guidelines in structured design. We discuss how to construct first-cut structure charts automatically from data flow diagrams using transform and transaction analyses, evaluate them using recommended criteria such as coupling, cohesion, morphology and tramp, and improve on the resulting structure charts by means of automatic backtracking. Logic programming, Prolog, structure charts, structured design ∗ Copyright 1994 Information and Software Technology. This material is presented to ensure timely dissemination of scholarly and technical work. Personal use of this material is permitted. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author¡¯s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder. Permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted componen