Skip to main content
Book cover

International Conference on Theory and Application of Diagrams

Diagrams 2012: Diagrammatic Representation and Inference pp 346–348Cite as

Formalising Simple Codecharts

  • Conference paper

  • 1286 Accesses

Part of the Lecture Notes in Computer Science book series (LNAI,volume 7352)

Abstract

Codecharts are a formal diagrammatic language for specifying the structure of object-oriented design patterns, frameworks, and programs. Codecharts are attractive for applications in both forward (e.g. design verification) and reverse engineering (e.g. program visualization). Although the definition of Codecharts has been adequate for these applications, there is a need to develop the language further in more precise terms. This paper outlines our work in refining the definition of Codecharts. We informally describe the concrete syntax and semantics of Codecharts, and provide a new formal abstract syntax. We conclude with a brief discussion on future work.

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-31223-6_47
  • Chapter length: 3 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   59.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-31223-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   74.99
Price excludes VAT (USA)
Learn about institutional subscriptions

References

  1. Eden, A.H., Nicholson, J.: Codecharts: Roadmaps and Blueprints for Object-Oriented Programs. Wiley-Blackwell (April 2011)

    Google Scholar 

  2. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software, 1st edn. Addison-Wesley Professional (November 1994)

    Google Scholar 

  3. Howse, J., Molina, F., Taylor, J., Shin, S.-J.: Type-syntax and token-syntax in diagrammatic systems. In: Proceedings of the International Conference on Formal Ontology in Information Systems, FOIS 2001, vol. 2001, pp. 174–185. ACM, New York (2001)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Visual Modelling Group, University of Brighton, Brighton, UK

    Jon Nicholson & Aidan Delaney

Authors
  1. Jon Nicholson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Aidan Delaney
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Computer Science, Dalhousie University, 6050 University Avenue, B3H 1W4, Halifax, NS, Canada

    Philip Cox

  2. Department of Computer Science, University of Auckland, Private bag 92019, Auckland, New Zealand

    Beryl Plimmer

  3. School of Computing, Unviersity of Kent, CT2 7NF, Canterbury, UK

    Peter Rodgers

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nicholson, J., Delaney, A. (2012). Formalising Simple Codecharts. In: Cox, P., Plimmer, B., Rodgers, P. (eds) Diagrammatic Representation and Inference. Diagrams 2012. Lecture Notes in Computer Science(), vol 7352. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31223-6_47

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31223-6_47

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31222-9

  • Online ISBN: 978-3-642-31223-6

  • eBook Packages: Computer ScienceComputer Science (R0)