Formalising simple codecharts

Jonathan Nicholson; Aidan Delaney

doi:10.1007/978-3-642-31223-6_47

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 language	English
Pages	346-348
Number of pages	3
DOIs	https://doi.org/10.1007/978-3-642-31223-6_47
Publication status	Published - 4 Jul 2012
Event	Diagrammatic Representation and Inference, Proceedings of the 7th International Conference, Diagrams 2012 - Canterbury, UK, 2-6 July, 2012 Duration: 4 Jul 2012 → …

Conference

Conference	Diagrammatic Representation and Inference, Proceedings of the 7th International Conference, Diagrams 2012
Period	4/07/12 → …

Access to Document

10.1007/978-3-642-31223-6_47Licence: Unspecified

http://link.springer.com/chapter/10.1007%2F978-3-642-31223-6_47Licence: Unspecified

Cite this

@conference{43bb67422bc14fba968612d5a16d9bfc,

title = "Formalising simple codecharts",

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.",

author = "Jonathan Nicholson and Aidan Delaney",

year = "2012",

month = jul,

day = "4",

doi = "10.1007/978-3-642-31223-6_47",

language = "English",

pages = "346--348",

note = "Diagrammatic Representation and Inference, Proceedings of the 7th International Conference, Diagrams 2012 ; Conference date: 04-07-2012",

}

TY - CONF

T1 - Formalising simple codecharts

AU - Nicholson, Jonathan

AU - Delaney, Aidan

PY - 2012/7/4

Y1 - 2012/7/4

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-31223-6_47

DO - 10.1007/978-3-642-31223-6_47

M3 - Abstract

SP - 346

EP - 348

T2 - Diagrammatic Representation and Inference, Proceedings of the 7th International Conference, Diagrams 2012

Y2 - 4 July 2012

ER -

Formalising simple codecharts

Abstract

Conference

Access to Document

Fingerprint

Cite this