Abstract
We present a general framework for using diagram sequences as plan specifications. We also present an implemented system based on that framework, which generates imperative programs from diagram sequences similar to those used in teaching programming. The specific notations we use in the system are based closely on the diagrams typically used for teaching introductory programming, but the framework is general enough to account for and express many uses of diagram sequences. The system and the underlying theory highlight some areas where planning, reasoning about action, the refinement calculus and diagrammatic reasoning are synergistic. For example, by framing the definition of algorithms as a type of plan specification, it becomes clear that decomposition of a planning problem into sub-plans is analogous to refinement in the software engineering sense. More importantly, the system gives insight into the underlying structure of the largely informal use of diagrams that is routinely found in the explanation of algorithms. Obvious applications include teaching (since the inspiration for the system is a common method for teaching) and software engineering, where diagrams are often used to specify type systems rigorously (e.g. class diagrams), but specify program dynamics informally.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anderson, M. & McCartney, R. Diagrammatic Reasoning and Cases. AAAI/IAAI, Vol2, 1996.
Barwise, J. & Etchemendy, J. Heterogeneous Logic, in Diagrammatic Reasoning Glasgow, J. Narayanan N.H., Chandrasekaran B. eds pp 211–234.
Burnett, M. & Gottfried, H. Graphical definitions: Expanding Spreadsheet Languages through Direct Manipulation and Gestures. ACM Transactions on Human Computer Interactions 5(1). March1998.
Erwig, M. & Meyer, B. Heterogenous Visual Languages-Integrating Visual and Textual Programming. Proceedings, 11th Symposium on Visual Languages, V. Haarslev (ed.), Darmstadt, Germany, Sep. 5–9, 1995, IEEE Press, 1995, pp. 156–163 pp 318–325.
Foo, N. Local Extent in Diagrams. Formalizing Reasoning with Visual and Diagammatic Representations. Technical Report FS-98-04. AAAI Press, 1998
Haarslev, V. Formal Semantics of Visual Languages using Spatial Reasoning Proceedings, 11th Symposium on Visual Languages, V. Haarslev (ed.), Darmstadt, Germany, Sep. 5–9, 1995, IEEE Press, 1995, pp. 156–163
Hoare, C.A.R. An Axiomatic Basis for Computer Programming Communications of the ACM 12(10), 576–580, 583 1969
Kingston, J. Algorithms and Data Structures: Design, Correctness, Analysis. Addison Wesley Publishing Company, Sydney 1990.
Meyer, B. Object-Oriented Software Construction (2nd Ed) Prentice Hall 1997
Morgan, C. Programming from Specifications Prentice Hall, U.K. 1989
Nassi, I. & Schneiderman, B. Flowchart Techniques for Structured Programming. SIGPLAN Notices 8(8):12–26. 1973
Prograph © Pictorius Inc. http://www.pictorius.com
Thurbon, J. & Foo, N.Y Planning with Diagram Sequences [under review].
Thurbon, J., & Foo N.Y Programming with Pictures proceedings of Pan-Sydney Workshop on Area Visual Information Processing Jin, J., Eades, P., Yan, H., & Feng, D. eds. November 1998
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thurbon, J. (2000). Executing Diagram Sequences. In: Anderson, M., Cheng, P., Haarslev, V. (eds) Theory and Application of Diagrams. Diagrams 2000. Lecture Notes in Computer Science(), vol 1889. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44590-0_33
Download citation
DOI: https://doi.org/10.1007/3-540-44590-0_33
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67915-8
Online ISBN: 978-3-540-44590-6
eBook Packages: Springer Book Archive