More than ever before schema transformation is a prevalent problem that needs to be addressed to accomplish for example the mi- gration of legacy systems to the newer OODB systems, the generation of structured web pag...
详细信息
object-oriented software patterns account for knowledge regarding a solution to a programming problem in a context. Software patterns are increasingly popular and consequently their numbers are growing. Under these ci...
详细信息
Modelling languages such as the Unified Modeling Language are used during the early phases of system development to capture requirements and to express high-level designs. Many such languages have no universally fixed...
详细信息
ISBN:
(纸本)3540672613
Modelling languages such as the Unified Modeling Language are used during the early phases of system development to capture requirements and to express high-level designs. Many such languages have no universally fixed interpretations since different development projects often use key concepts, like Class, Generalization and Association, in slightly different ways. therefore meta-modelling, i.e. the precise specification of the concepts used in a model, is of importance in order to avoid misunderstandings. the BOOM framework, presented in this paper, is intended for this kind of meta-modelling. the framework consists of a collection of modelling constructs specified with a small object-oriented language. the framework is simple enough for an engineer to adjust the modelling concepts to project specific needs. It includes all necessary aspects of language specification, among them definition of abstract syntax, well-formedness rules, and dynamic semantics. To demonstrate its use, this paper includes a specification of some of the constructs defined in the Unified Modeling Language.
A C++ programming framework (Slabber) is introduced which supports matrix algorithms on distributed and shared memory parallel architectures in an objectoriented way. It has the following goals: First, the algorithm ...
详细信息
ISBN:
(纸本)9781509020881
A C++ programming framework (Slabber) is introduced which supports matrix algorithms on distributed and shared memory parallel architectures in an objectoriented way. It has the following goals: First, the algorithm implementation should be as convenient as possible by making parallelization details transparent to the algorithm implementation. Second, the choice of architecture (MPI or threads) and the choice of data distribution must not require changing or adapting the algorithm. these goals are achieved by a new approach to decompose matrix operations such as the matrix multiplication into communication free sub-operators, and letting the framework take care of data redistributions between those sub-operators. As a usage example, an iterative algorithm for the non-negative matrix decomposition is implemented using the framework, serving as a usage tutorial and performance test. the results are promising and improve over a straight forward ScaLapack implementation while providing a much cleaner and easier algorithm formulation.
We propose design patterns as a new mechanism for expressing object-oriented design experience. Design patterns identify, name, and abstract common themes in object-oriented design. they capture the intent behind a de...
详细信息
Inheritance has intensively been investigated during the past decades in object-orientedprogramming and knowledge representation and reasoning areas. In the paper we focus on recently introduced inheritance expressio...
详细信息
ISBN:
(数字)9783031160141
ISBN:
(纸本)9783031160141;9783031160134
Inheritance has intensively been investigated during the past decades in object-orientedprogramming and knowledge representation and reasoning areas. In the paper we focus on recently introduced inheritance expressions that allow one to represent dynamic concept hierarchies as well as fuse and disambiguate beliefs acquired by the objects involved. We focus on querying and reasoning about inheritance expressions using a four-valued paraconsistent formalism that has been developed over the last ten years. In particular, we show that querying inheritance expressions and formulas can be efficiently implemented. In addition, we provide tableaux for general reasoning purposes. Complexity of the investigated tools is also analyzed.
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynamic class loading. One distinctive fea...
详细信息
In this paper we provide a framework for building management services for software agents using conversation patterns. these patterns classify agent interaction, using the principles of objectoriented software design...
详细信息
暂无评论