Formal specification of graphical notations and graphical software tools

  • Sharam Hekmatpour
  • Mark Woodman
IX — Arrows, Boxes, Circles (1)
Part of the Lecture Notes in Computer Science book series (LNCS, volume 289)


The paper describes a meta language, called PSN (picture specification notation), for the specification of graphical notations in software engineering, and outlines the software tool building system for which it was designed. The latter is based on a prototype system which facilitated the rapid production of tools for processing textual notations. Since software project documents may now contain many graphical notations—data flow diagrams, Jackson system networks, and the like—the prototype has been extended to encompass graphical notations. The construction of tools for processing such notations is assisted by the syntactic correctness of documents containing them. This is guaranteed by a graphics editor which is driven by PSN specifications.


software life cycle support tools formal methods cycle de vie du logiciel environments méthodes formelles 

Specification Formelle des Notations Graphiques et Outils Logiciels Graphiques


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ince83]
    D.C. Ince, A Compatibility Software Tool for Use with Separately Compiled Languages, SIGPLAN Notices, Vol. 18(9) pp. 31–34, 1983.Google Scholar
  2. [Ince84]
    D.C. Ince, A Source Code Control System Based on Semantic Nets, Software—Practice and Experience, Vol. 14(12) pp. 1159–1168, 1984.Google Scholar
  3. [Ince86]
    D.C. Ince and M. Woodman, The Rapid Generation of a Class of Software Tools, The Computer Journal, Vol. 29(2) pp. 151–160, 1986.Google Scholar
  4. [Jackson83]
    M.A. Jackson, System Development, London, Prentice Hall, 1983.Google Scholar
  5. [Rose81]
    G. Rose and J. Welsh, Formatted Programming Languages, Software—Practice and Experience, Vol. 11 pp. 651–669, 1981.Google Scholar
  6. [Rose83]
    G. Rose and T. Roper, Generation of Program Preparation Systems for Formatted Languages, Proc. IFIP '83, Paris, 1983.Google Scholar
  7. [Woodman84]
    M. Woodman, Formatting Syntactically Nested Documents, Proc. PROTEXT I Int. Conf. Text Processing, J.J.H. Miller (ed.), Boole Press, Dublin, pp. 240–246, 1984.Google Scholar
  8. [Woodman85]
    M. Woodman and D.C. Ince, Towards a Unified Representation of Life-cycle Notations for the Rapid Synthesis of Software Tools, Proc. 6th Int. Workshop Software Design and Spec., London, pp. 244–246, 1985.Google Scholar
  9. [Woodman86]
    M. Woodman et. al., A Grammar Formalism As a Basis for the Syntax-Directed Editing of Graphical Notations, Proc. BCS Conf. Workstations & Publication Systems, London, R. A. Earnshaw (ed.), 1986.Google Scholar
  10. [Yourdon78]
    E. Yourdon and L.L. Constantine, Structured Design, New York, Yourdon Press, 1978.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Sharam Hekmatpour
    • 1
  • Mark Woodman
    • 1
  1. 1.Open University, Computing Discipline, Faculty of Mathematics, Walton HallMilton KeynesEngland

Personalised recommendations