Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
D.C. Ince, A Compatibility Software Tool for Use with Separately Compiled Languages, SIGPLAN Notices, Vol. 18(9) pp. 31–34, 1983.
D.C. Ince, A Source Code Control System Based on Semantic Nets, Software—Practice and Experience, Vol. 14(12) pp. 1159–1168, 1984.
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.
M.A. Jackson, System Development, London, Prentice Hall, 1983.
G. Rose and J. Welsh, Formatted Programming Languages, Software—Practice and Experience, Vol. 11 pp. 651–669, 1981.
G. Rose and T. Roper, Generation of Program Preparation Systems for Formatted Languages, Proc. IFIP '83, Paris, 1983.
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.
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.
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.
E. Yourdon and L.L. Constantine, Structured Design, New York, Yourdon Press, 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hekmatpour, S., Woodman, M. (1987). Formal specification of graphical notations and graphical software tools. In: Nichols, H., Simpson, D. (eds) ESEC '87. ESEC 1987. Lecture Notes in Computer Science, vol 289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022122
Download citation
DOI: https://doi.org/10.1007/BFb0022122
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18712-7
Online ISBN: 978-3-540-48117-1
eBook Packages: Springer Book Archive