Formalising simple codecharts

Jonathan Nicholson, Aidan Delaney

Research output: Contribution to conferenceAbstract

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.
Original languageEnglish
Pages346-348
Number of pages3
DOIs
Publication statusPublished - 4 Jul 2012
EventDiagrammatic Representation and Inference, Proceedings of the 7th International Conference, Diagrams 2012 - Canterbury, UK, 2-6 July, 2012
Duration: 4 Jul 2012 → …

Conference

ConferenceDiagrammatic Representation and Inference, Proceedings of the 7th International Conference, Diagrams 2012
Period4/07/12 → …

Fingerprint Dive into the research topics of 'Formalising simple codecharts'. Together they form a unique fingerprint.

  • Cite this

    Nicholson, J., & Delaney, A. (2012). Formalising simple codecharts. 346-348. Abstract from Diagrammatic Representation and Inference, Proceedings of the 7th International Conference, Diagrams 2012, . https://doi.org/10.1007/978-3-642-31223-6_47