NEW LANGUAGE VISUALIZES PROGRAM ABSTRACTIONS CLEARLY AND
PRECISELY
Popular software modelling notations visualize implementation
minutiae but fail to scale, to capture design abstractions, and to
deliver effective tool support. Tailored to overcome these
limitations, Codecharts can elegantly model roadmaps and blueprints
for Java, C++, and C# programs of any size clearly, precisely, and
at any level of abstraction. More practically, significant
productivity gains for programmers using tools supporting
Codecharts have been demonstrated in controlled experiments.
Hundreds of figures and examples in this book illustrate how
Codecharts are used to:
* Visualize the building-blocks of object-oriented design
* Create bird's-eye roadmaps of large programs with minimal
symbols and no clutter
* Model blueprints of patterns, frameworks, and other design
decisions
* Be exactly sure what diagrams claim about programs and reason
rigorously about them
Tools supporting Codecharts are also shown here to:
* Recover design from plain Java and visualize the program's
roadmap
* Verify conformance to design decision with a click of a
button
This classroom-tested book includes two main parts:
Practice (Part I) offers experienced programmers,
software designers and software engineering students practical
tools for representing and communicating object-oriented design. It
demonstrates how to model programs, patterns, libraries, and
frameworks using examples from JDK, Java 3D, JUnit, JDOM,
Enterprise JavaBeans, and the Composite, Iterator, Factory Method,
Abstract Factory, and Proxy design patterns.
Theory (Part II) offers a mathematical foundation for
Codecharts to graduate students and researchers studying software
design, modelling, specification, and verification. It defines a
formal semantics and a satisfies relation for design
verification, and uses them to reason about the relations between
patterns and programs (e.g., "java.awt implements Composite" and
"Factory Method is an abstraction of Iterator").
Autorentext
AMNON H. EDEN, PhD, is a computer scientist with the School of Computer Science and Electronic Engineering at the University of Essex and a research fellow at the Center for Inquiry. Dr. Eden has worked as a programmer and consultant to leading software companies, chaired the Software Engineering Diploma Programme at the Tel Aviv College of Management, and served as the associate editor of Minds and Machines. His publications include an entry in the Stanford Encyclopedia of Philosophy and articles in leading software engineering journals.
JONATHAN NICHOLSON, PhD, earned his doctorate from the School of Computer Science and Electronic Engineering at the University of Essex under the co-supervision of Prof. Raymond Turner and Dr. Eden. His research centres on object-oriented design, with a focus on the development and implementation of the logic underlying the language of Codecharts.
Klappentext
NEW LANGUAGE VISUALIZES PROGRAM ABSTRACTIONS CLEARLY AND PRECISELY
Popular software modelling notations visualize implementation minutiae but fail to scale, to capture design abstractions, and to deliver effective tool support. Tailored to overcome these limitations, Codecharts can elegantly model roadmaps and blueprints for Java, C++, and C# programs of any size clearly, precisely, and at any level of abstraction. More practically, significant productivity gains for programmers using tools supporting Codecharts have been demonstrated in controlled experiments.
Hundreds of figures and examples in this book illustrate how Codecharts are used to:
-
Visualize the building-blocks of object-oriented design
-
Create bird's-eye roadmaps of large programs with minimal symbols and no clutter
-
Model blueprints of patterns, frameworks, and other design decisions
-
Be exactly sure what diagrams claim about programs and reason rigorously about them
Tools supporting Codecharts are also shown here to:
-
Recover design from plain Java and visualize the program's roadmap
-
Verify conformance to design decision with a click of a button
This classroom-tested book includes two main parts:
Practice (Part I) offers experienced programmers, software designers and software engineering students practical tools for representing and communicating object-oriented design. It demonstrates how to model programs, patterns, libraries, and frameworks using examples from JDK, Java 3D, JUnit, JDOM, Enterprise JavaBeans, and the Composite, Iterator, Factory Method, Abstract Factory, and Proxy design patterns.
Theory (Part II) offers a mathematical foundation for Codecharts to graduate students and researchers studying software design, modelling, specification, and verification. It defines a formal semantics and a satisfies relation for design verification, and uses them to reason about the relations between patterns and programs (e.g., "java.awt implements Composite" and "Factory Method is an abstraction of Iterator").
Inhalt
Preface xi
Acknowledgements xiii
Guide to the Reader xv
Codecharts xix
Propositions xxv
Prologue 1
1. Motivation 3
2. Design Description Languages 7
2.1 Theory Versus Practice 9
2.2 Decidability 11
2.3 Abstraction 12
2.4 Elegance 16
3. An Overview of Codecharts 19
3.1 Object-Orientation 19
3.2 Visualization 23
3.3 Rigour 26
3.4 Automated Verifiability 28
3.5 Scalability 30
3.6 Genericity 32
3.7 Minimality 33
3.8 Information Neglect 34
4.UML Versus Codecharts 37
5.Historical Notes 43
Part I: Practice 45
6. Modelling Small Programs 47
6.1 Modelling Individual Classes 49
6.2 Modelling Individual Methods 50
6.3 Modelling Properties 53
6.4 Modelling Implementation Minutia 55
6.5 Modelling Simple Relations 56
6.6 Modelling Indirect Relations 64
6.7 Subtyping 66
7. Modelling Large Programs 71
7.1 Modelling Sets of Classes 75
7.2 Modelling Total Relations Between Sets 77
7.3 Modelling Sets of Methods (Clans) 81
7.4 Modelling Isomorphic Relations 83
7.5 Modelling Sets of Methods (Tribes) 85
7.6 Modelling Class Hierarchies 90
7.7 Modelling Methods in Hierarchies 93
7.8 Modelling Properties of Sets 97
7.9 Case Study: Total Versus. Isomorphic 98
7.10 Case Study: JDOM 101
7.11 Case Study: Java 3D 103
8. Modelling Industry-Scale Programs 109
8.1 Modelling Sets of Hierarchies 111
8.2 Modelling Sets of Sets of Methods (Clans) 112
8.3 Modelling Sets of Sets of Methods (Tribes) 115
8.4 Modelling Total Relations Revisited 118
8.5 Modelling Isomorphic Relations Revisited 120
9. Modelling Design Motifs 127
10. Modelling Application Frameworks 133
10.1 Case Study: Enterprise JavaBeans 135
10.2 Case Study: JUnit 136
11. Modelling Design Patterns 139
11.1 Case Study: The Composite Pattern 140
11.2 Case Study: The Iterator Pattern 145
11.3 Case Study: The Factory Method Pattern 149
11.4 Case Study: The Abstract Factory Pattern 154
11.5 Concluding Remarks 157
12. Modelling Early Design Revisited 159
13. Advanced Modelling Techniques 161
13.1 Ad Hoc Symbols 161
13.2 Modelling Information Hiding 164
Part II: Theory 1…