Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Round-trip engineering with the Two-Tier Programming Toolkit

Round-trip engineering with the Two-Tier Programming Toolkit A major impediment to the long-term quality of large and complex programs is inconsistency between design and implementation. Conflicts between intent and execution are common because detecting them is laborious, error-prone, and poorly supported, and because the costs of continuously maintaining design documents outweigh immediate gains. A growing inconsistency between design and implementation results in software that is unpredictable and poorly understood. Round-trip engineering tools support an iterative process of detecting conflicts and resolving them by changing either the design or the implementation. We describe a Toolkit which supports a round-trip engineering of native Java programs without interfering with any existing practices, tools, or development environments, thereby posing a minimal barrier on adoption. The Toolkit includes a user-guided software visualization and design recovery tool, which generates Codecharts from source code. A “round-trip” process is possible because Codecharts visualizing source code can be edited to reflect the intended design, and the Verifier can detect conflicts between the intended and as-implemented design. We demonstrate each stage in this process, showing how the Toolkit effectively helps to close the gap between design and implementation, recreate design documentation, and maintaining consistency between intent and execution. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Software Quality Journal Springer Journals

Round-trip engineering with the Two-Tier Programming Toolkit

Download PDF
23 pages

Loading next page...
 
/lp/springer_journal/round-trip-engineering-with-the-two-tier-programming-toolkit-svts5uytt1
Publisher
Springer Journals
Copyright
Copyright © 2017 by Springer Science+Business Media New York
Subject
Computer Science; Software Engineering/Programming and Operating Systems; Programming Languages, Compilers, Interpreters; Data Structures, Cryptology and Information Theory; Operating Systems
ISSN
0963-9314
eISSN
1573-1367
DOI
10.1007/s11219-017-9363-9
Publisher site
See Article on Publisher Site

Abstract

A major impediment to the long-term quality of large and complex programs is inconsistency between design and implementation. Conflicts between intent and execution are common because detecting them is laborious, error-prone, and poorly supported, and because the costs of continuously maintaining design documents outweigh immediate gains. A growing inconsistency between design and implementation results in software that is unpredictable and poorly understood. Round-trip engineering tools support an iterative process of detecting conflicts and resolving them by changing either the design or the implementation. We describe a Toolkit which supports a round-trip engineering of native Java programs without interfering with any existing practices, tools, or development environments, thereby posing a minimal barrier on adoption. The Toolkit includes a user-guided software visualization and design recovery tool, which generates Codecharts from source code. A “round-trip” process is possible because Codecharts visualizing source code can be edited to reflect the intended design, and the Verifier can detect conflicts between the intended and as-implemented design. We demonstrate each stage in this process, showing how the Toolkit effectively helps to close the gap between design and implementation, recreate design documentation, and maintaining consistency between intent and execution.

Journal

Software Quality Journal – Springer Journals

Published: May 11, 2017

References

  • Modelling and automated detection of design patterns using Codecharts with applications to security patterns (draft)
    Alzahrani, AAH
  • Conformance checking of single access point pattern in JAAS using Codecharts. In the world congress on information technology and computer applications
    Alzahrani, AAH; Eden, AH; Yafi, MZ
  • Automatic roundtrip engineering
    Assmann, U
  • Design recovery for maintenance and reuse
    Biggerstaff, TJ
  • Mop: an efficient and generic runtime verification framework
    Chen, F; Roşu, G
  • Reverse engineering and design recovery: a taxonomy
    Chikofsky, EJ; Cross, JH
  • Codecharts: roadmaps and blueprints for object-oriented programs
    Eden, AH; Nicholson, J
  • Modeling and visualizing object-oriented programs with Codecharts
    Eden, AH
  • Some notes on putting formal specifications to productive use
    Guttag, JV; Horning, JJ; Wing, J
  • Automated software engineering: supporting understanding
    Jackson, M
  • Playing detective: reconstructing software architecture from available evidence
    Kazman, R; Carrière, SJ
  • On the theoretical foundations of LePUS3 and its application to object-oriented design verification
    Nicholson, J
  • Model driven engineering languages and systems
    Paesschen, EV; Meuter, WD; D’Hondt, M
  • Foundations for the study of software architecture
    Perry, DE; Wolf, AL
  • Visual modeling with rational Rose and UML
    Quatrani, T
  • Guest editor’s introduction: model-driven engineering
    Schmidt, DC
  • Introduction to the theory of computation
    Sipser, M
  • A specifier’s introduction to formal methods
    Wing, JM