We consider the inheritance of state-based behavior in object-oriented analysis and design, as it arises, for example, in specifying behavior in the UML using statecharts. We concentrate on behavioral conformity and t...
详细信息
ISBN:
(纸本)0769507743;0769507751
We consider the inheritance of state-based behavior in object-oriented analysis and design, as it arises, for example, in specifying behavior in the UML using statecharts. We concentrate on behavioral conformity and the resulting substitutability of classes, whereby the inheritance mechanism is to retain original behaviors. There are many deep and unresolved questions around this issue, which cannot be addressed without a clear and rigorous picture of what exactly is meant by behavioral conformity, and how computationally complex it is to detect. We first define a basic propositional-level computational model for object-oriented designs, and then define substitutability and inheritance in the linear and branching paradigms. We relate these to trace containment and Milner's notion of simulation and deduce the complexity of some of the relevant algorithmic problems. The paper thus sets the stage for further research on behavioral inheritance.
The architecture of Wabash, a tool for testing, monitoring and control of distributed applications, is described. The need and utility of Wabash in testing and managing such applications is discussed. A comparison wit...
详细信息
The architecture of Wabash, a tool for testing, monitoring and control of distributed applications, is described. The need and utility of Wabash in testing and managing such applications is discussed. A comparison with similar tools is provided.
Interface Mutation (IM) is proposed as an adequacy criterion to assess the adequacy of test sets developed to test components and systems. IM uses the description of a component's interface to generate interface m...
详细信息
ISBN:
(纸本)0769507743;0769507751
Interface Mutation (IM) is proposed as an adequacy criterion to assess the adequacy of test sets developed to test components and systems. IM uses the description of a component's interface to generate interface mutants. Tests are assessed on their ability to distinguish interface mutants. Experiments conducted to evaluate the goodness of IM are reported. Analysis of experimental data suggests that test sets adequate with respect to IM are effective in revealing errors in components. The effort required to develop the tests is lower compared to the effort required to develop test sets adequate with respect to the traditional code coverage criteria based on control flow.
Operation Execution Groups (OEGs) address the problem of efficient execution of a sequence of long-distance remote object invocations in widely distributed, cross-organizational systems. OEGs are designed to improve t...
详细信息
Operation Execution Groups (OEGs) address the problem of efficient execution of a sequence of long-distance remote object invocations in widely distributed, cross-organizational systems. OEGs are designed to improve the performance of operation processing with respect to client response time, using distributed replication that can be implemented without significant impact on existing server configurations and server objects. We present the general pattern of our solution, and describe and discuss a CORBA-based OEG-implementation.
Workflow systems and object-orientedtechnology have undoubtedly been some of the most important domains of interest of information technology over the past decade. Both domains however, have largely evolved independe...
详细信息
Workflow systems and object-orientedtechnology have undoubtedly been some of the most important domains of interest of information technology over the past decade. Both domains however, have largely evolved independently, and not much research can be found in which workflow modelling principles and concepts have been applied to OO systems development or vice versa. In this paper we show the two domains can be integrated. By integrating both domains, business process modelling can benefit from the advantages of the object-oriented approach. On the other hand, a more process oriented approach to OO development would enhance the organisational fit of object-oriented information systems development. The architecture that results from this integration is a tier-based one with a separate tier for workflow aspects.
Traditional networks are too complex to set lip, expand, and manage. Jini is a new objecttechnology that expands the power of Java platform to enable impromptu networking of a wide variety of digital devices and soft...
详细信息
ISBN:
(纸本)0769507751
Traditional networks are too complex to set lip, expand, and manage. Jini is a new objecttechnology that expands the power of Java platform to enable impromptu networking of a wide variety of digital devices and software services. Jini is designed for building flexible, scalable and robust networked community of multi-vendor devices and services-called Jini community. This paper describes the Jini vision, its key concepts, the Jini architecture, the Jini technology infrastructure, and different approaches to joining a Jini community. This paper also provides the background information required for understanding the issues and technologies involved.
This paper presents an objectoriented framework for task scheduling. This framework can be used in domains such as Process-centred Software Engineering Environments, Workflow Management systems or Project Management ...
详细信息
This paper presents an objectoriented framework for task scheduling. This framework can be used in domains such as Process-centred Software Engineering Environments, Workflow Management systems or Project Management systems. The framework was conceived based on both current methods for the development of frameworks and an existing architectural pattern for process managers. A prototype of the framework was developed using the Java Language. The lessons learnt show the experience of extracting a framework from well-known applications that can be reused in practical domains. Thus, this work contributes not only in the production of a framework but also giving insights in the application of novel techniques to the development of frameworks.
object-orientedlanguages, in particular Java, are beginning to make their way into embedded real-time software development. This is not only for the safety and expressiveness of the source language;the mobility and d...
详细信息
object-orientedlanguages, in particular Java, are beginning to make their way into embedded real-time software development. This is not only for the safety and expressiveness of the source language;the mobility and dynamic loading of Java bytecode make it particularly useful in embedded real-time systems. However, using such languages in real-time systems makes it more difficult to predict the worst-case execution time of tasks. Such predictions are necessary for predictable task scheduling in the developed system. Garbage collection, common in object-orientedlanguages, must be considered;to schedule garbage collection safely, we must know how much memory it has to handle. Dynamic binding in conjunction with dynamic loading of code also needs treatment. We show how techniques for predicting time and memory demands of object-oriented programs are integrated into the Skanerost development environment. The environment explicitly targets an iterative development process, which is particularly important in real-time software development since time and memory demands cannot be determined until the code is written. Design changes due to timing problems become more costly as development progresses, and Skanerost allows such problems to be detected early.
This paper focuses on a CBS module of Knowledge-Based Tutoring System for Software Reuse Practices. The paper presents a public CBS using a validated Software Reuse Reference Model (SRRM). A CBS-SRRM allows the softwa...
详细信息
ISBN:
(纸本)0769507751
This paper focuses on a CBS module of Knowledge-Based Tutoring System for Software Reuse Practices. The paper presents a public CBS using a validated Software Reuse Reference Model (SRRM). A CBS-SRRM allows the software engineer to improve reuse practice by being tutored with selected course material based on the user profile. This material is combined with actual practice-based knowledge derived from different case studies from software development organizations' reuse practices. A CBS-SRRM provides software engineers with a way to be tutored using positive lessons learned by other organizations. Our research focuses on achieving more effective means for software development organizations to find alternative educational (training) solutions to problems in software reuse practices.
The success of distributed objecttechnology, depends on the advent of object Request Broker (ORB) architectures that are able to integrate flexible support for various non-functional requirements such as security, re...
详细信息
The success of distributed objecttechnology, depends on the advent of object Request Broker (ORB) architectures that are able to integrate flexible support for various non-functional requirements such as security, real-time, transactions, etc. We promote component framework technology as the cornerstone for realizing such generic platforms. An ORB component framework leverages the 'glue' that connects customized ORB components together. In this paper we present a reflective component architecture that improves the dynamics of this glue, such that system-wide integration of a new non-functional requirements into a running ORB system becomes possible.
暂无评论