2005-ongoing.

Codecharts: Roadmaps and Blueprints for Object-Oriented Programs

Codecharts (LePUS3) is a formal diagrammatic language that can express the structural aspects of object-oriented design patterns, application frameworks, and programs.

During my PhD I made many contributions to codecharts, including refining their design and definition [2, 4, 5] and applying it to challenges such as software verification [1] and reverse engineering [6]. This work was conducted as part of the Two-Tier Programming Team, and I continue to investigate codecharts within the Visual Modelling Group at the University of Brighton [3].

As part of my PhD I developed the Two-Tier Programming Toolkit (or simply “Toolkit”), a proof of concept re-engineering tool based on codecharts. My principle contributions to the Toolkit were the verification algorithm (the Verifier), static analyser for Java 6 (using BCEL), XML specification import/export (and the online pattern library system, using JDOM), Schema viewer (using XSLT and XHTMLrenderer). My colleague, Dr Gasparis, principally developed the chart editor (using JGraph), the reverse engineering tool (the Design Navigator), and design model (using an embedded MySQL database) modules.

The Two-Tier Programming Project website has more information including videos, tutorials, and downloads.

This slideshow requires JavaScript.

Selected Publications

  • [1] [DOI] J. Nicholson, A. H. Eden, R. Kazman, and E. Gasparis, Automated verification of design patterns: A case study. Science of Computer Programming, 80(Part B):211-222, 2014.
  • [2] [DOI] A. H. Eden, E. Gasparis, J. Nicholson, and R. Kazman, Modeling and visualizing object-oriented programs with Codecharts. Formal Methods in System Design, 43(1):1-28, 2013.
  • [3] [DOI] J. Nicholson and A. Delaney, Formalising Simple Codecharts. In 7th International Conference on the Theory and Application of Diagrams, Lecture Notes in Computer Science, volume 7352, pages 346-348. Canterbury, UK. Springer, 2012.
  • [4] [DOI] J. Nicholson, A Theory of Classes from the Theoretical Foundations of LePUS3. In 13th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science, volume 6991, pages 522-536. Durham, UK. Springer, 2011.
  • [5] [DOI] A. H. Eden and J. Nicholson, Codecharts: Roadmaps and Blueprints for Object-Oriented Programs, Wiley-Blackwell, 2011.
  • [6] [DOI] E. Gasparis, A. H. Eden, J. Nicholson, and R. Kazman, The Design Navigator: Charting Java Programs. In 30th International Conference on Software Engineering, pages 945-946. Leipzig, Germany. ACM, 2008.

See all my publications.