the paper presents concepts and ideas underlying an approach for consistency management in object-oriented (OO) databases. In this approach constraints are considered as first class citizens and stored in a meta-datab...
详细信息
the paper presents concepts and ideas underlying an approach for consistency management in object-oriented (OO) databases. In this approach constraints are considered as first class citizens and stored in a meta-database called constraints catalog. When an object is created constraints of this object are retrieved from the constraints catalog and relationships between these constraints and the object are established. the structure of constraints has several features that enhance consistency management in OO database management systems which do not exist in conventional approaches in a satisfactory way. this includes: monitoring object consistency at different levels of update granularity, integrity independence, and efficiency of constraints maintenance;controlling inconsistent objects;enabling and disabling constraints, globally to all objects or locally to individual objects;and declaring constraints on individual objects. All these features are provided by means of basic notations of OO data models. Copyright (C) 2001 John Wiley & Sons, Ltd.
Multimethods offer several well-known advantages over the single dispatching of conventional object-oriented languages, including a simple solution to the "binary method" problem, cleaner implementations of ...
详细信息
ISBN:
(纸本)3540661565
Multimethods offer several well-known advantages over the single dispatching of conventional object-oriented languages, including a simple solution to the "binary method" problem, cleaner implementations of the "visitor," "strategy," and similar design patterns, and a form of "open objects," However, previous work on statically typed multimethods whose arguments are treated symmetrically has required the whole program to be available in order to perform typechecking. We describe Dubious, a simple core language including first-class generic functions with symmetric multimethods, a classless object model, and modules that can be separately typechecked. We identify two sets of restrictions that ensure modular type safety for Dubious as well as an interesting intermediate point between these two. We have proved each of these modular type systems sound.
the goal of the First ecoop Workshop on object-oriented Databases was to bring together researchers working in the field of object-oriented databases, to discuss the work which is going on. the aim of the workshop was...
详细信息
ISBN:
(纸本)354066954X
the goal of the First ecoop Workshop on object-oriented Databases was to bring together researchers working in the field of object-oriented databases, to discuss the work which is going on. the aim of the workshop was twofold: to discuss the current status of research in the field and to critically evaluate object-oriented database systems in terms of their current usage, of their successes and limitations, and their potential for new applications. the workshop thus consisted of a number of presentations of reviewed papers and of discussions on the topics mentioned above.
the aim of this workshop was to discuss any aspect of time critical applications which are based on (a combination of) object-oriented and constraint technology: Language design, implementation, hybrid systems, tempor...
详细信息
this chapter contains a summary of the presentations given at the Workshop on Parallel/High-Performance object-oriented Scientific Computing (POOSC’99) at the europeanconference on object-orientedprogramming (ecoop...
详细信息
Compensation plays an important role in advanced transaction models, cooperative work and workflow systems. A schema designer is typically required to supply for each transaction T another transaction T-1 to semantica...
详细信息
Compensation plays an important role in advanced transaction models, cooperative work and workflow systems. A schema designer is typically required to supply for each transaction T another transaction T-1 to semantically undo the effects of T. Little attention has been paid to the verification of the desirable properties of such operations, however. this paper demonstrates the use of a higher-order logic theorem prover for verifying that compensating transactions return a database to its original state. It is shown how an OODB schema is translated to the language of the theorem prover so that proofs can be performed on the compensating transactions. Copyright (C) 2001 John Wiley & Sons, Ltd.
the proceedings contain 3 papers. the topics discussed include: resolving synchronization conflicts in role-based multimodel-synchronization environments;first-class concepts: reifying architectural knowledge beyond t...
ISBN:
(纸本)9781450385428
the proceedings contain 3 papers. the topics discussed include: resolving synchronization conflicts in role-based multimodel-synchronization environments;first-class concepts: reifying architectural knowledge beyond the dominant decomposition;and towards a framework for analyzing context-orientedprogramming languages.
We propose to extend the CORBA interface definition of distributed objects by a behavioral specification based on high level Petri nets. this technique allows specifying in an abstract, concise and precise way the beh...
详细信息
ISBN:
(纸本)3540661565
We propose to extend the CORBA interface definition of distributed objects by a behavioral specification based on high level Petri nets. this technique allows specifying in an abstract, concise and precise way the behavior of CORBA servers, including internal concurrency and synchronization. As the behavioral specification is fully executable, this approach also enables to early prototyping and testing of a distributed object system as soon as the behaviors of individual objects have been defined. the paper discusses several implementation issues of the multithreaded, distributed interpreter built for that purpose. the high level of formality of the chosen formalism allows for mathematical analysis of behavioral specifications.
this paper reports the activities that took place during the third edition of the workshop on Experiences in object-oriented Reengineering (Previous editions were held during ecoop’97 and ecoop’98 [3] [2]). this yea...
ISBN:
(纸本)354066954X
this paper reports the activities that took place during the third edition of the workshop on Experiences in object-oriented Reengineering (Previous editions were held during ecoop’97 and ecoop’98 [3] [2]). this year seventeen participants attended the workshop. the overall organization stayed the same. Prior to the workshop each participant was asked to read the full version of the submitted papers that have been edited as internal proceedings. then each participant presented his paper in 10 minutes followed by 10 minutes discussion. then during the afternoon the two focus groups were formed to discuss the following topics: (1) Metrics, Visualisation and Problem Detection, and (2) Program Understanding, (Re)-documentation and Refactoring Composition. Suggested further reading are the previous edition of the proceedings [2], the proceedings of this workshop containing the full versions of the papers[1], and look at the FAMOOS Esprit project whose main goal is reengineering objectoriented applications (http://***/~famoos, http://***/projects/FAMOOS/).
this article summarizes the workshop on human factors in use cases and object-oriented development methods. the following questions were the main focus of the workshop: Can use cases be improved by the incorporation o...
详细信息
ISBN:
(纸本)354066954X
this article summarizes the workshop on human factors in use cases and object-oriented development methods. the following questions were the main focus of the workshop: Can use cases be improved by the incorporation or consideration of formal task analysis models and human centered design techniques in general? Are there ways of integrating human factors and user-centered techniques into use cases and object-oriented methods? the workshop brought a multidisciplinary blend of researchers and practitioner;involved in user-centered design together withthose interested by user requirements and use cases. If highlighted fundamental problems arising from the integration of human factors in use cases and OO methods.
暂无评论