In recent years there has been a substantial increase in the availability and quality of software engineering tools;such tools are invaluable in ensuring program correctness and identifying performance problems. The m...
详细信息
ISBN:
(纸本)0769507751
In recent years there has been a substantial increase in the availability and quality of software engineering tools;such tools are invaluable in ensuring program correctness and identifying performance problems. The majority of these, however, do not interoperate and are available on a limited platform set. We analyse such deficiencies and propose an extensible architecture for a distributed software engineering tool framework using CORBA object-orientedtechnology. The resulting framework provides a unified interface for parallel, distributed and single-processor systems, facilitates tool development, promotes tool interoperability, and can be extended by the integration of new tools and services. This flexibility is demonstrated by the specification of an extension to support the MPI programming paradigm and a wide selection of tools that have been built using the system.
In the past, object-oriented design focused on encapsulation and inheritance as primary concepts. As a consequence, there has been a lot of work in the domain of inheritance and the problems coming up, i.e. with covar...
详细信息
ISBN:
(纸本)0769507743;0769507751
In the past, object-oriented design focused on encapsulation and inheritance as primary concepts. As a consequence, there has been a lot of work in the domain of inheritance and the problems coming up, i.e. with covariant type systems. Recently, parameterized (generic) classes become more popular in object-oriented design. While the use of genericity in functional languages is well known and delivers no major problems, the situation in object-orientedlanguages differs: The combination of inheritance with genericity raises problems. This paper describes the theoretical foundations of designing and using generic classes irt object-orientedsystems. It discusses the possible relationships between generic subclasses as well as those between specialized instances of one generic class. The ideas presented here use the concept of context dependent subtypes, so-called weak subtypes [10] to define criteria for correctness, well-formedness and substitubability.
This paper presents A-TOS, an aspect-oriented reflective middleware for distributed programming. It provides a very special kind of entities called aspect components that implement global and transversal properties of...
详细信息
ISBN:
(纸本)0769507328
This paper presents A-TOS, an aspect-oriented reflective middleware for distributed programming. It provides a very special kind of entities called aspect components that implement global and transversal properties of (distributed) applications like security, fault tolerance, transactions, and so on. Since the application code does not directly refer to the aspect components, A-TOS achieves clean and powerful separation of concerns based on a wrapping composition model. Its adaptability and aspect distribution capabilities make it well suited to aspect-oriented programming in a distributed environment.
A suite of measures is presented that addresses two problem areas within contemporary object-oriented software measurement theory and practice, i.e. the lack of OOA measures and the lack of measures for behavioural as...
详细信息
ISBN:
(纸本)0769507328
A suite of measures is presented that addresses two problem areas within contemporary object-oriented software measurement theory and practice, i.e. the lack of OOA measures and the lack of measures for behavioural aspects of software. Our suite of measures is based on a formally defined model of object-event interaction, called the object-event association matrix. Generally, the objects in a domain or system are affected by the occurrence of real-world or information-system events. a framework for measurement is presented that expresses and measures attributes (features, properties, characteristics) of objects, related to the data, function and dynamic behaviour dimensions of software, in terms of object-event interactions. This framework allows for early measurement because it applies to OOA, CBSE, and domain analysis methods that support the notion of events, or that support similar dynamic concepts (use cases, scenarios, actions) that can be transformed into events.
Some designers of class-based objectorientedlanguages choose not to support multiple inheritance. As a result, programmers often resort to ad hoc workarounds. The most common of these workarounds is delegation. Even...
详细信息
ISBN:
(纸本)0769507751
Some designers of class-based objectorientedlanguages choose not to support multiple inheritance. As a result, programmers often resort to ad hoc workarounds. The most common of these workarounds is delegation. Even delegation is tedious and error prone, however We believe that language designers who choose against multiple inheritance should consider automating delegation in order to alleviate these problems. In this paper we present Jamie, a language extension for Java that automates delegation. We also discuss the advantages and disadvantages of both delegation and automating if in a class-based programming language. Many of our observations are based on our experiences with implementing and using Jamie.
This paper describes experiences with the design and implementation of the NPIC program analysis system, We describe how the object-oriented design of the intermediate representation provides front end and analysis in...
详细信息
ISBN:
(纸本)0769507751
This paper describes experiences with the design and implementation of the NPIC program analysis system, We describe how the object-oriented design of the intermediate representation provides front end and analysis independence using the abstract factory pattern, and illustrate how using multiple inheritance allows it to be extended to support program analysis. We also describe how the intermediate representation can be Serialized to and from a file. The techniques described in this work provide useful insight into the construction of an object-oriented program analysis system.
Over the past years, along with the increase in popularity of design patterns, some problems with the use of design patterns have been identified. The so-called tracing problem describes the difficulty in documenting ...
详细信息
ISBN:
(纸本)0769507328
Over the past years, along with the increase in popularity of design patterns, some problems with the use of design patterns have been identified. The so-called tracing problem describes the difficulty in documenting software systems using design patterns. Initial approaches to solving the tracing problem have focused on guidelines for documenting design pattern roles and rules within a system, but experience has shown that both in the initial design, and especially in later code revisions, it is all too easy for code and documentation to diverge, rendering the documentation misleading. In, this paper we present a flexible and extensible tool which enables designers to use design patterns in a safe and efficient way, which checks the design pattern rules, and which semi-automatically documents, and maintains the documentation of a software system.
It is common to imbed business rules within the code of distributed objectsystems, When business practices and/or policies change, as they often do, it is difficult if not impassible to correctly reflect those change...
详细信息
ISBN:
(纸本)0769507328
It is common to imbed business rules within the code of distributed objectsystems, When business practices and/or policies change, as they often do, it is difficult if not impassible to correctly reflect those changes in the applications implementing them. This paper describes a framework that enables enterprises to develop distributed business applications that systematically externalize the time- and situation-variable parts of their business logic as externally applied entities called business rules. Decoupling business rules from the application can provide a number of advantages, Because business rules are external to the applications that depend upon them, the variable business logic contained in them can easily be changed. Because the management of the externalized business rules is done explicitly through a rule management facility, it is easy to understand what rules exist and to locate those that need to be changed The Accessible Business Rule (ABR) framework is available as early test function in IBM Component Broker 2.0 and 3.0 (a parr of WebSphere Enterprise).
Multimethods can provide considerable flexibility to the OO designer. Our goal in this paper is to address issues related to reasoning about the behavior of multimethods. Specifically we show that the important notion...
详细信息
ISBN:
(纸本)0769507743;0769507751
Multimethods can provide considerable flexibility to the OO designer. Our goal in this paper is to address issues related to reasoning about the behavior of multimethods. Specifically we show that the important notion of behavioral subtyping can. be naturally extended to multimethods. We also investigate how, when reasoning about code that invokes multimethods, we can appeal to the enriched behavior provided by the specialized methods.
The Unified Modeling Language (UML) has been established as a standard in object-oriented software engineering, defining parts of a model and making systems more easily understandable. The results of modeling can be e...
详细信息
ISBN:
(纸本)0769507743;0769507751
The Unified Modeling Language (UML) has been established as a standard in object-oriented software engineering, defining parts of a model and making systems more easily understandable. The results of modeling can be exploited in various ways. In this article, we want to propose two possibilities. Model examination defines strategies to ensure consistency in object-oriented models. Apart from that, if makes it possible to recognize and minimize errors already on the level of the individual,models. Through the extension of the collaborations of the UML, we have also developed a new kind of description for various forms of reuse. This kind of description can be used for frameworks, patterns and idioms. For both innovations, specific elements were integrated in the UML modeling tool objecttechnology Workbench OTW(R).
暂无评论