Algebraic Specification Techniques in Object Oriented Programming Environments

Front Cover
Springer Science & Business Media, Dec 4, 1991 - Computers - 228 pages
The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstraction, data types are described in an object-oriented way by algebraic specifications or by machine-executable object-oriented programs. The treatment involves two main aspects. First, object-oriented programs have to be related by a notion of correctness that models the transition from specifications to program implementations. The author presents a notion of correctness which relies on the idea of abstraction functions. Second, in order to obtain an integrated design environment, a uniform structuring concept for object oriented programs and algebraic specifications has to be provided. Inheritance, subtyping and clientship are three central notions of object-oriented structuring. Theauthor uses them to develop the kernel of a typed object- oriented programming language. The monograph provides the formal foundation for a unified framework of algebraic specifications and object-oriented programs. A major guideline is the development of a design method supporting the structured design and reuse of software in this environment.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
1
11 An Algebraic Model of Inheritance Subtyping and Clientship
3
12 Integrating Classes and Algebraic Specifications
5
13 Overview of this Book
7
An Integrated Environment of Classes and Algebraic Specifications Basic Notions and Concepts
11
21 Object Oriented Design of Classes with Algebraic Specifications
15
22 Object Oriented Structuring with Inheritance Subtyping and Clientship
19
23 Object Oriented Design Principles
22
553 Support for the Homomorphic Inheritance Relation
104
56 Related Work
106
OP An Object Oriented Kernel Programming Language
113
62 Objects and Methods Basic Notions
119
621 State Based Signatures and the Execution of Terms
120
622 Object Algebras
123
623 Method Implementations
130
63 The Syntax and Semantics of OP
135

232 Design with Reuse
24
233 Design for Reuse
25
A Semantic Framework of Abstract Data Types
27
32 Structured Algebraic Specifications
37
322 Operators on Specifications
41
A Theory of Inheritance Subtyping and Clientship
45
41 Heirs Subclasses and Clients
46
412 Properties of Single Modules
48
413 Properties of Module Families
51
42 The Property of Horizontal Composition
54
43 Generalised Notions of Inheritance
58
OS An Object Oriented Algebraic Specification Language
65
52 The Syntax and Semantics of OS
71
522 The Semantics of OS
72
523 A Deduction System for Object Oriented Relationships
74
53 Design Aspects of Inheritance
80
532 Elimination of the Inheritance Operator
86
54 Term Generation and the Deduction of Properties
89
542 Deduction of Properties
94
55 Extensions of the Language
98
551 Generic Class Specifications
99
552 Class Specifications with Hidden Operations
102
64 The Satisfiability of Classes
143
65 Related Work
147
652 Formal Specifications of Objects
152
An Integrated Design Environment of Classes and Algebraic Specifications
155
71 State Based Homomorphisms
157
711 Definition and Basic Properties
158
712 Quotient Structures
162
713 Example The State Based Implementation of Graphs
163
72 An Implementation Relation between Classes and Class Specifications
168
722 Examples
171
723 Object Implementation and Object Oriented Relationships
181
73 Designing Classes with Algebraic Specifications
184
74 Related Work
191
Final Remarks
195
82 Conclusion
197
Appendix A Basic Notions of Partial Finite Mappings
199
Appendix B Basic Specifications
200
Appendix C Technical Proofs
202
Bibliography
219
Index
225
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information