object-oriented database system supports the powerful concepts of data abstraction and complex data modeling while deductive database system has inferential and declarative query capabilities. Previous research has de...
详细信息
ISBN:
(纸本)9781932415810
object-oriented database system supports the powerful concepts of data abstraction and complex data modeling while deductive database system has inferential and declarative query capabilities. Previous research has demonstrated the advantages and feasibilities of the confluence of the declarative logic-based paradigm and the object-oriented paradigm in the dual-paradigm system of deductive object-oriented database systems. However, the previous research either concentrated on the homogeneous architecture of a complete logical system or the heterogeneous architecture with the schema rules carried over to the deductive database. Our research proposes the use of heterogeneous architecture that minimizes communications between an object-oriented database system and a deductive system. In this paper, we outline the architecture and the system of deductive rules. We demonstrate the efficiency in query processing by separating the schema rules of object orientation from the deductive rules. We also address the object-oriented relationships in this dual-paradigm database system.
The increasing demand on functionalities in new home and building automation systems leads to a considerable complexity increase both in the development as well as in the operation and maintenance of these systems. Th...
详细信息
Studies of Aspect-oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this manner have a fixed, non-extensible AOP fun...
详细信息
Studies of Aspect-oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this manner have a fixed, non-extensible AOP functionality. This paper argues the need for AOP to support the integration and use of multiple domain-specific aspect extensions together. We study the more general case of integrating a base language with a set of third-party aspect extensions for that language. We present a general mixin-based semantic framework for implementing dynamic aspect extensions in such a way that multiple, independently developed aspect mechanisms can be subject to third-party composition and work collaboratively. Principles governing the design of a collaborative aspect mechanism are aspectual effect exposure and implementation hiding. Copyright 2005 ACM.
This paper presents the design and implementation of the MAFTS(A Multi-Agent based Fault-Tolerance System), which is running on distributed multimedia objectoriented environment. DOORAE(Distributed objectoriented co...
详细信息
Languages that support object-oriented programming are now mainstream, and can support software reuse. This study focused on the reusability of components for workflow management systems (WfMSs). Implementing a WfMS i...
详细信息
Among the various QoS schemes that have already been proposed, rerouting critical flows is the most promising for its inherent ability to interface easily with management systems. To enhance the responsiveness, the op...
详细信息
We present three aspect-oriented constructs (formats, scopes, and defaults) that, in combination with a specification language based on abstract sets of objects, enable the modular application of multiple arbitrarily ...
详细信息
ISBN:
(纸本)1595930434
We present three aspect-oriented constructs (formats, scopes, and defaults) that, in combination with a specification language based on abstract sets of objects, enable the modular application of multiple arbitrarily precise (and therefore arbitrarily unscalable) analyses to scalably verify data structure consistency properties in sizable programs. Formats use a form of field introduction to group together the declarations of all of the fields that together comprise a given data structure. Scopes and defaults enable the developer to state certain data structure consistency properties once in a single specification construct that cuts across the preconditions and postconditions of the procedures in the system. Standard approaches, in contrast, scatter and duplicate such properties across the preconditions and postconditions. We have implemented a prototype implementation, specification, analysis, and verification system based on these constructs and used this system to successfully verify a range of data structure consistency properties in several programs. Most previous research in the field of aspect-oriented programming has focused on the use of aspect-oriented concepts in design and implementation. Our experience indicates that aspect-oriented concepts can also be extremely useful for specification, analysis, and verification. Copyright 2005 ACM.
Micro patterns are similar to design patterns, except that micro patterns stand at a lower. closer to the implementation, level of abstraction. Micro patterns are also unique in that they are mechanically recognizable...
详细信息
Micro patterns are similar to design patterns, except that micro patterns stand at a lower. closer to the implementation, level of abstraction. Micro patterns are also unique in that they are mechanically recognizable, since each such pattern can be expressed as a formal condition on the structure of a class. This paper presents a catalog of 27 micro-patterns defined on JAVA classes and interfaces. The catalog captures a wide spectrum of common programming practices, including a particular and (intentionally restricted) use of inheritance, immutability I data management and wrapping, restricted creation, and emulation of procedural-, modular-, and even functional- programming paradigms with objectoriented constructs. Together, the patterns present a set of prototypes after which a large portion Of all JAVA classes and interfaces are modeled. We provide empirical indication that this portion is as high as 75%. A statistical analysis of occurrences of micro patterns in a large software corpus, spanning some 70,000 JAVA classes drawn from a rich set of application domains, shows, with high confidence level that the use of these patterns is not random. These results indicate consciousness and discernible design decisions, which are sustained in the software evolution. With high confidence level, we can also show that the use of these patterns is tied to the specification, or the purpose, that the software realizes. The traceability, abundance and the statistical significance of micro pattern occurrence raise the hope of using the classification of software into these patterns for a more founded appreciation of its design and code quality.
The increasing demand on functionalities in new home and building automation systems leads to a considerable complexity increase both in the development as well as in the operation and maintenance of these systems. Th...
详细信息
The increasing demand on functionalities in new home and building automation systems leads to a considerable complexity increase both in the development as well as in the operation and maintenance of these systems. The major challenge is how obtain systems entirely integrated from isolated devices and subsystems. It is believed that an important stage to assess the actual need of this integration is to project an automating system without a specific technological focus, which does not occur nowadays. Due to the lack of supporting tools for the project, the stages of specification and project are generally focused on the available technology for implementation. This article aims to fill in this gap by specifying an object-oriented framework for the development of applications in the building automation, enabling the modelling of the systems regardless of the technology it will use, leaving this mapping for the last stage of the project.
Traditionally, embedded system design process demands a considerable amount of expertise, time and money. This hinders the testing of new research results in robotics with real embedded systems, which would be require...
详细信息
Traditionally, embedded system design process demands a considerable amount of expertise, time and money. This hinders the testing of new research results in robotics with real embedded systems, which would be required in order to bring the research results into real use. We have earlier presented an easy and fast embedded system development concept based on embedded objects. Embedded object concept utilizes common objectoriented methods used in software by applying them into combined Lego-like software and hardware entities. This concept enables people without comprehensive knowledge in electronics or embedded systemsdesign to create new embedded systems. In this paper, we present an implementation of the embedded object concept as Atomi-objects, and we show how these objects can be mapped to UML, a notation commonly used in objectoriented software development, through an example of creating a simple cleaning robot. The significance of this paper is to present the presuppositions for the embedded object concept to be used with objectorienteddesign methods.
暂无评论