Object-oriented technology and computing systems re-engineering

This book delivers the latest developments in object technology and their impact in computing systems re-engineering. Object-oriented programming is here shown to provide support for constructing large scale systems that are cheaply built and with reusable components, adaptable to changing requirements and use efficient and cost-effective techniques. Internationally recognised authorities from Finland, France, Germany, Italy, Poland, Spain, the UK and the USA here record their research and development work on the industrial techniques and structured object-oriented methodologies in forward and reverse engineering of computing systems. This book takes stock of progress of that work showing its promise and feasibility, and how its structured technology can overcome the limitations of forward engineering methods used in industry. Forward methods are focused in the domain of reverse engineering to implement a high level of specification for existing software. The book contains the selected, quintessential content of the first UK Colloquium on Object Technology and Systems Re-Engineering held at Oxford University in 1998. The conference was sponsored by British Telecom Laboratories, EMSI limited and the OOSP Specialised Group of The British Computer Society. Delivers the latest developments in object technology and their impact in computing systems re-engineeringProvides support for constructing large scale systems that are cheaply built and with reusable components, adaptable to changing requirements and use efficient and cost-effective techniquesContains the content of the first UK Colloquium on Object Technology and Systems Re-Engineering held at Oxford University in 1998.

Front Cover; Object-Oriented Technology and Computing Systems Re-Engineering; Copyright Page; Table of Contents; Preface; Chapter 1. Toward an Object-Oriented Design Methodology for Hybrid Systems; 1.1 INTRODUCTION; 1.2 NOTATION; 1.3 SOME INITIAL ELEMENTS OF A DESIGN METHODOLOGY; 1.4 TOOL SUPPORT; 1.5 AN EXAMPLE; 1.6 CONCLUSIONS; 1.7 REFERENCES; Chapter 2. Design Patterns and their Role in Formal Object-oriented Development; 2.1 OBJECT-ORIENTED DESIGN PATTERNS; 2.2 OBJECT STATE ATTRIBUTES AND INVARIANTS; 2.3 CONTROL SYSTEM EXAMPLE; 2.4 SOME FURTHER ""STANDARD"" DESIGN STRUCTURES.

2.5 VERIFICATION2.6 CONCLUSION; 2.7 REFERENCES; Chapter 3. Devising Coexistence Strategies for Objects with Legacy Systems; 3.1 INTRODUCTION; 3.2 THE ERCOLE PROJECT: BACKGROUND INFORMATION AND GOALS; 3.3 COEXISTENCE STRATEGIES FOR SYSTEMS THAT EXHIBIT DATA IN-TERACTIONS; 3.4 THE DATA INTEGRITY PROBLEM; 3.5 THE CONSTRAINTS IN THE SCENARIO OF MINIMAL REENGINEERING; 3.6 CONCLUDING REMARKS; 3.7 ACKNOWLEDGEMENTS; 3.8 REFERENCES; Chapter 4. Object-Oriented Model for Expert Systems Implementation; 4.1 INTRODUCTION; 4.2 FROM THE APPLICATION DOMAIN TO THE IMPLEMENTATION DOMAIN.

4.3 REUSABLE OPEN MODEL FOR EXPERT…