Formalising simple codecharts

Authors:
Jon Nicholson;Aidan Delaney
Affiliations:
Visual Modelling Group, University of Brighton, Brighton, UK;Visual Modelling Group, University of Brighton, Brighton, UK
Venue:
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Year:
2012

Citing 3
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Type-syntax and token-syntax in diagrammatic systems

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Codecharts: Roadmaps and blueprints for object-oriented programs

Codecharts: Roadmaps and blueprints for object-oriented programs

Quantified Score

Hi-index	0.00

Visualization

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.