In this paper we describe the data access features of Cω, an experimental programming language based on C# currently under development at Microsoft Research. Cω targets distributed, data-intensive applications and a...
详细信息
the objective of the 13th edition of Ph Doctoral Students in object-oriented Systems workshop (PHDOOS) was to offer an opportunity for PhD students to meet and share their research experiences, and to discover commona...
详细信息
CORBA lacks a mature interface versioning system, which makes it difficult to use in the implementation of tightly-coupled distributed systems. there are patterns of inheritance that can substitute for specialized ver...
详细信息
the proceedings contain 22 papers. the special focus in this conference is on object Interoperability, object-Orientation and Operating Systems. the topics include: Protocol-safe workflow support for santa claus;seman...
ISBN:
(纸本)354066954X
the proceedings contain 22 papers. the special focus in this conference is on object Interoperability, object-Orientation and Operating Systems. the topics include: Protocol-safe workflow support for santa claus;semantic and usage packaging for software components;tackling interoperability problems during system integration;reasoning about object clients and distributed object interaction;automatic selection of problem solving libraries based on competence matching;behavioural mapping for service substitutability;conceptual design and development of applications based on object interoperability;improving the interoperability in multi-agent systems;automatic configuration in the 2K operating system;an explicit binding model for runtime extensible operating systems;supervision of CORBA applications;on the development of object-oriented operating systems for deeply embedded systems;scalable adaptation based on decomposition;an object-oriented operating system;an object-oriented, dynamically adaptable, virtual file system for CHEOPS;eliminating garbage collection by using virtual memory techniques to implement complete object persistence and object model with exchangeable invocation semantics.
the proceedings contain 24 papers. the special focus in this conference is on Invited Paper 1 and Mixins. the topics include: A trace model for pointers and objects;synthesizing objects;a core calculus of classes and ...
ISBN:
(纸本)3540661565
the proceedings contain 24 papers. the special focus in this conference is on Invited Paper 1 and Mixins. the topics include: A trace model for pointers and objects;synthesizing objects;a core calculus of classes and mixins;propagating class and method combination;a study of the allocation behavior of the SPECjvm98 java benchmarks;visualizing reference patterns for solving memory leaks in java;dynamic query-based debugging;foundations for virtual types;unifying genericity;an object-oriented effects system;providing persistent objects in distributed systems;inlining of virtual methods;modular statically typed multimethods;multi-method dispatch using multiple row displacement;internal iteration externalized;type-safe delegation for run-time component adaptation;towards automatic specialization of java programs;wide classes;an approach to classify semi-structured objects;object-orientedprogramming on the network;providing fine-grained access control for java programs;formal specification and prototyping of CORBA systems;a process algebraic specification of the new asynchronous CORBA messaging service;object-orientedprogramming.
the ecoop workshop on Mobile object Systems was first organized in 1995 and has been held every year since. the first two episodes in the series ~ entitled “objects and Agents” (1995) and “Agents on the Move” (199...
ISBN:
(数字)9783540362081
ISBN:
(纸本)3540002332
the ecoop workshop on Mobile object Systems was first organized in 1995 and has been held every year since. the first two episodes in the series ~ entitled “objects and Agents” (1995) and “Agents on the Move” (1996) ~ were exploratory in nature, reflecting a growing awareness and interest in the possibilities of mobile code and mobile objects for Internet programming. Towards the end of the 1990s, Interest in the domain began to mature and several mobile object systems appeared in the research community. As a consequence, further editions of the Mobile object Systems workshop concentrated on specific aspects of mobile objects. For instance, the title of the 1997 workshop was “Operating System Support”, the theme of the 1998 workshop was “Security”, and the theme of the 1999 installment was “programming Language Support”.
While OO has become ubiquitously employed for design, implementation, and even conceptualization, many practitioners recognize the concomitant need for other programming paradigms according to problem domain. Neverthe...
详细信息
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.
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.
A generic graphical query language for ODMG-compliant object databases – called Unified Query By Example (UQBE) – is proposed, based on the ideas of Zloof’s Query-By-Example, and using UML-like diagrams as schema n...
详细信息
暂无评论