Formal Methods in System Design

, Volume 43, Issue 1, pp 1–28

Modeling and visualizing object-oriented programs with Codecharts


DOI: 10.1007/s10703-012-0181-1

Cite this article as:
Eden, A.H., Gasparis, E., Nicholson, J. et al. Form Methods Syst Des (2013) 43: 1. doi:10.1007/s10703-012-0181-1


Software design, development and evolution commonly require programmers to model design decisions, visualize implemented programs, and detect conflicts between design and implementation. However, common design notations rarely reconcile theoretical concerns for rigor and minimality with the practical concerns for abstraction, scalability and automated verifiability. The language of Codecharts was designed to overcome these challenges by narrowing its scope to visual specifications that articulate automatically-verifiable statements about the structure and organization of object-oriented programs. The tokens in its visual vocabulary stand for the building-blocks of object-oriented design, such as inheritance class hierarchies, sets of dynamically-bound methods, and their correlations. The formalism was tailored for those pragmatic concerns which arise from modeling class libraries and design patterns, and for visualizing programs of any size at any level of abstraction. We describe design verification, a process of proving or refuting that a Java program (i.e. its native code) conforms to the Codechart specifying it. We also describe a toolkit which supports modeling and visualization with Codecharts, as well as a fully-automated design verification tool. We conclude with empirical results which suggest gains in both speed and accuracy when using Codecharts in software design, development and evolution.


Design notations and documentation Object-oriented programming Patterns Design concepts 

Copyright information

© Springer Science+Business Media New York 2013

Authors and Affiliations

  • A. H. Eden
    • 1
  • E. Gasparis
    • 1
  • J. Nicholson
    • 2
  • R. Kazman
    • 3
    • 4
  1. 1.School of Computer Science & Electronic EngineeringUniversity of EssexColchesterUK
  2. 2.School of Computing, Engineering and MathematicsUniversity of BrightonBrightonUK
  3. 3.University of HawaiiHonoluluUSA
  4. 4.Software Engineering InstituteCarnegie-Mellon UniversityPittsburghUSA

Personalised recommendations