In this paper, we propose constraint-based modeling using constraint patterns, which can utilize information of constraint effectively, reuse the structure of efficient and executable software, and construct constrain...
详细信息
ISBN:
(纸本)9789806560536
In this paper, we propose constraint-based modeling using constraint patterns, which can utilize information of constraint effectively, reuse the structure of efficient and executable software, and construct constraint representation and constraint solvers suitable to domains easily. In order to construct domain-specific constraint solvers, we define the new pattern realized by combining extended patterns and existing patterns as constraint pattern. We show that by sub-classing and refining components of constraint patterns, object-oriented software development using constraint solvers which maintain consistency of relationships among domain-specific objects and among attributes on an object leads to easy construction of applications. We select two problems: GUI system for information control system and design system for mechanical engineering as application, and apply constraint-based modeling to these problems. Furthermore, typical problems of constraint satisfaction problem are also selected and applied as applications. The result of these applications shows that our development method using constraint-based modeling leads to easy development of object-oriented systems that include constraint solver systems facilitating declarative description of relations among objects and flexible control of behavior of these objects, by regarding these relations as constraint.
An object-oriented application softwaredevelopment approach with fault tolerance for distributed real-time systems is presented. This approach is based on the PaRallel object-oriented Functional computation model (PR...
详细信息
ISBN:
(纸本)0818675705
An object-oriented application softwaredevelopment approach with fault tolerance for distributed real-time systems is presented. This approach is based on the PaRallel object-oriented Functional computation model (PROOF) with real-time and fault tolerance features. The real-time constraints are satisfied by using multi-version methods, which are based on virtual method definitions with different underlying implementations, and encapsulation of time constraints in objects. The fault tolerance in application software layer is supported by monitoring, checkpoints and recovery.
Reflects on the contributions made by object-oriented (OO) development and its future. Don't blame OO programming in general for the limitations of those who don't know how to apply the principles! Only a mino...
详细信息
Reflects on the contributions made by object-oriented (OO) development and its future. Don't blame OO programming in general for the limitations of those who don't know how to apply the principles! Only a minority of the industry has tried seriously and without compromise. The experience of others-those who go at it half-heartedly-is not a good technology. So the author's answer to the OO critics is the application to object technology of Gandhi's retort when he was asked for his thoughts about Western civilization: it would be a good idea
object-oriented software development as well as relational data storage are leading standards in their respective areas. The persistent storage of objects in relational tables is therefore a topic of major interest. T...
详细信息
object-oriented software development as well as relational data storage are leading standards in their respective areas. The persistent storage of objects in relational tables is therefore a topic of major interest. To do so efficiently, a plethora of problems has to be overcome due to the impedance mismatch between the object-oriented and relational paradigms. Nowadays, dedicated object-relational middlewares are frequently used to decouple relational databases from object-oriented applications. Even if this approach shields the developer from the majority of run-time related aspects, the manual mapping of incrementally evolving complex object models to relational tables still remains as an inherently difficult and error-prone task. Therefore, this article focuses on automation support for the model driven generation and testing of object-relational mappings. (c) 2004 Elsevier Inc. All rights reserved.
software systems are subject to series of changes during their evolution as they move from one release to the next. The change histories of software systems hold useful information that describes how artifacts evolved...
详细信息
software systems are subject to series of changes during their evolution as they move from one release to the next. The change histories of software systems hold useful information that describes how artifacts evolved. Evolution-based metrics, which are the means to quantify the change history, are potentially good indicators of the changes in a software system. The objective of this paper is to derive and validate (theoretically and empirically) a set of evolution-based metrics as potential indicators of the change-prone classes of an object-oriented system when moving from one release to the next. Release-by-release statistical prediction models were built in different ways. The results indicate that the proposed evolution-based metrics measure different dimensions from those of typical product metrics. Additionally, several evolution-based metrics were found to be correlated with the change-proneness of classes. Moreover, the results indicate that more accurate prediction of class change-proneness is achieved when the evolution-based metrics are combined with product metrics. Copyright (c) 2012 John Wiley & Sons, Ltd.
The automatic synthesis of state machines describing the behaviour of a class of objects in object-orientedsoftware modelling is studied. It is shown that the synthesis can be carried out on the basis of trace diagra...
详细信息
The automatic synthesis of state machines describing the behaviour of a class of objects in object-orientedsoftware modelling is studied. It is shown that the synthesis can be carried out on the basis of trace diagrams giving possible sequences of events during the execution of the system. An algorithm originally developed for the automatic construction of programs on the basis of their execution traces is applied to the problem, and an experimental state machine synthesizer is implemented. It is demonstrated that such a synthesizer is a highly useful component in a practical object-oriented CASE system.
This paper introduces some of the literature on object-oriented analysis and design. concentrating on the study of object-orienteddevelopment methods. It outlines both regular and irregular sources of material on obj...
详细信息
This paper introduces some of the literature on object-oriented analysis and design. concentrating on the study of object-orienteddevelopment methods. It outlines both regular and irregular sources of material on object-orienteddevelopment methods and it lists over 240 references of which approximately 60 are annotated.
This paper describes a functional tool for engineers to make rational design decisions by balancing cost and safety. Focus is on seismic design, in which nonlinear structural response must be considered. For this purp...
详细信息
This paper describes a functional tool for engineers to make rational design decisions by balancing cost and safety. Focus is on seismic design, in which nonlinear structural response must be considered. For this purpose, we implement and apply a state-of-the-art algorithm for reliability-based design optimization. The work extends the OpenSees software, which is rapidly gaining users in the earthquake engineering community. Consequently, design optimization with sophisticated nonlinear finite element models of real structures is possible. An object-orientedsoftware architecture is employed that focuses on maintainability and extensibility of the software. This approach also offers flexibility in the choice of optimization and reliability methods for each specific problem, supported by the decoupled nature of the optimization algorithm. Our work utilizes and extends the existing tools for structural reliability analysis in OpenSees. In particular, we employ response sensitivities that are computed within the finite element code by direct differentiation. The implementation is tested through case studies with nonlinear structural response. Discontinuous response gradients are overcome by use of fibre cross sections and smoothed material models. The numerical examples include the seismic design optimization of a six-storey, three-bay, reinforced concrete building.
In this paper, we present a fuzzy extension of inheritance hierarchies. The purpose of this extension is to provide a more refined construct that facilitates the representation of relations among concepts under uncert...
详细信息
In this paper, we present a fuzzy extension of inheritance hierarchies. The purpose of this extension is to provide a more refined construct that facilitates the representation of relations among concepts under uncertainty conditions. The extension is done in two steps. First, the synonymy relation is incorporated in the inheritance hierarchy, resulting in a new construct denoted a concept-network. Second, the relations of the concept-network are fuzzified, yielding a new construct denoted a fuzzy concept-network. We show how a fuzzy concept-network can be interpreted as a collection of inheritance hierarchies. Thus simplicity, which is an important characteristic of inheritance hierarchies, is preserved. We discuss how fuzzy concept-networks can be used in the application of reusable software retrieval in object-oriented software development.
In object-oriented design, behavioral modeling aims at describing the behavior of objects using state machines. State machines can also be used in dynamic reverse engineering to capture the overall run-time behavior o...
详细信息
In object-oriented design, behavioral modeling aims at describing the behavior of objects using state machines. State machines can also be used in dynamic reverse engineering to capture the overall run-time behavior of the objects of interest. The unified modeling language (UML) statechart diagram notation provides powerful means to structure state machines, thus avoiding the plague of combinatorial explosion. Tool support for constructing statechart diagrams automatically from example scenarios is currently available. These tools are applicable in both forward and reverse engineering. For complicated objects, the statechart diagrams tend to be large, which makes them difficult to visualize and understand. In this paper, we discuss information preserving means to transform flat statechart diagrams into a more compact form. These algorithms can be applied to both manually constructed and automatically generated diagrams. The proposed technique is integrated with a UML-based software design environment TED. (C) 2002 Elsevier Science B.V. All rights reserved.
暂无评论