the dovetailing of design and documentation is characteristic for many mature engineering disciplines. In electrical engineering, for example, a circuit diagram is a means and technique for both designing and document...
详细信息
ISBN:
(纸本)3540630899
the dovetailing of design and documentation is characteristic for many mature engineering disciplines. In electrical engineering, for example, a circuit diagram is a means and technique for both designing and documenting. Software engineering falls short in this respect, especially when it comes to architectural issues. Design patterns can help here. Using both form and content of design patterns promotes the principle of documenting by designing. Our experience report presents some examples of this principle taken from an evaluation project at SAP, Germany.
In this paper, we propose an efficient technique to statically manage integrity constraints in object-oriented database programming languages. We place ourselves in the context of an extended version of the O-2 databa...
详细信息
ISBN:
(纸本)3540630899
In this paper, we propose an efficient technique to statically manage integrity constraints in object-oriented database programming languages. We place ourselves in the context of an extended version of the O-2 database programming language, and we assume that updates are undertaken by means of methods. An important issue when dealing with constraints is that of efficiency. A naive management of such constraints can cause a severe floundering of the overall system. Our basic assumption is that the run-time checking of constraints is too costly to be undertaken systematically. therefore, methods that are always safe with respect to integrity constraints should be proven so at compile time. the run-time checks should only concern the remaining methods. To that purpose, we propose a new approach, based on abstract interpretation, to prove the invariance of integrity constraints under complex methods. We then describe the current implementation of our prototype, reporting many experiments that have been performed with it on non trivial examples. though our method is developed in the context of object-oriented database programming languages, it can easily be applied to the problem of static verification of object-oriented languages providing pre and postconditions such as Eiffel.
Support for modular evolution of objects is required in many application areas. However, existing mechanisms for incremental behavior composition either do not support evolving objects at all, or do not satisfactorily...
详细信息
ISBN:
(纸本)3540630899
Support for modular evolution of objects is required in many application areas. However, existing mechanisms for incremental behavior composition either do not support evolving objects at all, or do not satisfactorily solve the encapsulation and name collision problems associated withthem. In this paper, a new approach to behavior composition in a class-based environment is presented. It is based on the encapsulated object model of class-based inheritance, but introduces an additional abstraction layer between objects and classes. By being responsible for the compositional aspects of the behavior of objects, this layer provides support for the evolution of behavior while at the same time solving the name conflicts that may occur. A formal description of the approach is provided and its feasibility is demonstrated by implementing it as a metalevel extension of Smalltalk-80.
Adequate documentation of an object-oriented framework is the prerequisite to its success as a reusable component. the overall design of a framework and its intended method of reuse are not obvious from the source cod...
详细信息
ISBN:
(纸本)3540630899
Adequate documentation of an object-oriented framework is the prerequisite to its success as a reusable component. the overall design of a framework and its intended method of reuse are not obvious from the source code and thus have to be addressed in the documentation. Most importantly, the documentation of a framework has to be structured in such a way that it guarantees the adequate support of three major audiences: users selecting a framework, users learning to develop typical applications based on the selected framework, and users intending to modify its architecture. this paper presents a model for structuring the documentation of an object-oriented framework. the model integrates existing approaches such as patterns, hypertext, program-understanding tools, and formal approaches into a single structure that is geared towards supporting the three audiences. the model will be illustrated using HotDraw, a Smalltalk framework for drawing editors, as an example. We also give a preliminary evaluation of the model.
A software (design) pattern describes a general solution for a recurring design problem. the solution is mostly described in terms of an abstract design structure expressed in design elements such as classes, methods ...
详细信息
ISBN:
(纸本)3540630899
A software (design) pattern describes a general solution for a recurring design problem. the solution is mostly described in terms of an abstract design structure expressed in design elements such as classes, methods and relationships (inheritance, associations). this paper describes a prototype tool that supports working with design patterns when developing or maintaining object-oriented programs. the tool provides three integrated views on a program: the code (classes, methods, etc.), a design view (abstraction of the code plus additional information not in the code) and occurrences of design patterns in the program. the tool assists developers using patterns in three ways: Generating program elements (e.g. classes, hierarchies) for a new instance of a pattern, taken from an extensible collection of "template" patterns Integrating pattern occurrences withthe rest of the program by binding program elements to a role in a pattern (e.g. indicating that an existing class plays a particular role in a pattern instance) Checking whether occurrences of patterns still meet the invariants governing the patterns and repairing the program in case of problems through the use of an existing refactoring package, the tool supports the use of patterns both in forward engineering and in backwards engineering, i.e. documenting occurrences of patterns in existing programs and modifying the program to better reflect the pattern's structure. the tool is implemented in Smalltalk and has been applied to identify pattern occurrences in several non-trivial (Smalltalk) applications and to reorganize these subsequently.
We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM retains most of the features of the earlier language PolyTOIL. However the subtyping relation is dropped from LOOM in ...
详细信息
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an important role in the performance of obje...
详细信息
this book constitutes the strictly refereed proceedings of the 11theuropeanconference on object-orientedprogramming, ecoop'97, held in Jyväskylä, Finland, in June 1997.;the book presents 20 revised fu...
详细信息
ISBN:
(数字)9783540691273
ISBN:
(纸本)9783540630890
this book constitutes the strictly refereed proceedings of the 11theuropeanconference on object-orientedprogramming, ecoop'97, held in Jyväskylä, Finland, in June 1997.;the book presents 20 revised full papers selected from a total of 103 submissions; also included are two full invited presentations and one abstract of an invited talk. the book is divided into topical sections on programming languages, types, metaprogramming, implementation and systems, formal methods and specifications, Java, and patterns. All in all, the volume impressively demonstrates that object-oriented technology has grown from a limited academic exercise to an industrial driving force.
For the ninth time now, the europeanconference on object-oriented P- gramming provides a mid-summer gathering place for researchers, practitioners, students and newcomers in the field of object technology. Despite fi...
详细信息
ISBN:
(数字)9783540495383
For the ninth time now, the europeanconference on object-oriented P- gramming provides a mid-summer gathering place for researchers, practitioners, students and newcomers in the field of object technology. Despite fierce c- petition from an increasing number of attractive conferences on object-related topics, ecoop has successfully positioned itself as the premier european - ject technology conference. One reason is without doubt the composition of the conference week and the nature of its events. Running in parallel on the first two days, a comprehensive tutorial program and a very selective workshop program are offered to attendees. this is followed by a three-day technical p- gram organized in a single track providing a highly communicative atmosphere of scientific exchange and learning. Overlapping withthese events are a two-day industrial exhibition and a two-day opportunity for non-industrial system dev- opers to demonstrate their software. thus, ecoop is not just a conference on programming but an event touching on the full spectrum of object technology. this volume constitutes the proceedings of the Nintheuropeanconference on object-orientedprogramming, ecoop, held in Aarhus, Denmark, August 7-11, 1995. Previous ecoopconferences were held in Paris (France), Oslo (Norway), Nottingham (England), Ottawa (Canada, jointly with OOPSLA) , Geneva (Switzerland), Utrecht (the Netherlands) , Kaiserslautern (Germany) , and Bologna (Italy). object technology continues to increase its impact on the corporate world.
暂无评论