this report covers the ninth Workshop on Component-orientedprogramming (WCOP). WCOP has been affiliated withecoop since its inception in 1996. the report summarizes the contributions made by authors of accepted posi...
详细信息
ISBN:
(纸本)354023988X
this report covers the ninth Workshop on Component-orientedprogramming (WCOP). WCOP has been affiliated withecoop since its inception in 1996. the report summarizes the contributions made by authors of accepted position papers as well as those made by all attendees of the workshop sessions.
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.
Current views of intelligent agent technologies are reviewed with respect to (a) their general cognitive capabilities and (b) the classic Belief-Desire-Intention (BDI) model. A benchmark agent model is developed as a ...
详细信息
Current views of intelligent agent technologies are reviewed with respect to (a) their general cognitive capabilities and (b) the classic Belief-Desire-Intention (BDI) model. A benchmark agent model is developed as a basis for analyzing and comparing agent systems. PROforma is an agent technology that has grown out of work in modeling medical expertise and the benchmark is used to carry out a case study analysis of this technology, looking at it from three contrasting points of view: logic programming, object-orientedprogramming and agent-orientedprogramming. these viewpoints yield different insights into the strengths and weaknesses of PROforma and lead to a clarification and consolidation of the benchmark agent features. the consolidated model offers a useful framework for analysis and comparison of other agent systems in medicine or other domains.
this chapter contains summaries of the presentations given at the Intercontinental Workshop on Aliasing in object-oriented Systems (IWAOOS'99) at the europeanconference on object-orientedprogramming (ecoop'9...
详细信息
Integration of data from autonomous, distributed and heterogeneous data sources poses several technical challenges. this paper overviews the data integration system AMOS II based on the wrapper-mediator approach. AMOS...
详细信息
Integration of data from autonomous, distributed and heterogeneous data sources poses several technical challenges. this paper overviews the data integration system AMOS II based on the wrapper-mediator approach. AMOS II consists of. (i) a mediator database engine that can process and execute queries over data stored locally and in several external data sources, and (ii) object-oriented (OO) multi-database views for reconciliation of data and schema heterogeneities among sources with various capabilities. the data stored in different types of data sources is translated and integrated using OO mediation primitives, providing the user with a consistent view of the data in all the sources. through its multi-database facilities many distributed AMOS II systems can interoperate in a federation. Since most data reside in the data sources, and to achieve high performance, the core of the system is a main-memory DBMS having a storage manager, query optimizer, transactions, client-server interface, disk backup, etc. the AMOS II data manager is optimized for main-memory access and is extensible so that new data types and query operators can be added or implemented in some external programming language. the extensibility is essential for providing seamless access to a variety of data sources. Copyright (C) 2001 John Wiley & Sons, Ltd.
Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose significant difficulty for type inference, in partic...
详细信息
this paper presents a model for the representation and retrieval of structured documents considering their temporal properties. the purpose of this model is to serve as a platform for the development of digital librar...
详细信息
this paper presents a model for the representation and retrieval of structured documents considering their temporal properties. the purpose of this model is to serve as a platform for the development of digital library applications. thus, it consists of both a new data model and a query language that are specially adapted to the requirements of these applications. the main elements of the data model are a flexible type system for structured documents, and two temporal dimensions that represent the temporal properties of documents and the evolution of the database schema. As for its query language, it allows the retrieval of documents by specifying conditions on their structure, contents and temporal properties. this query language has been designed for exploiting the temporal information stored into a large digital library, making possible to relate document contents in time, as well as to analyse the evolution of topics. the paper also includes some guidelines for the efficient implementation of databases of structured documents by adopting the proposed data and query models. Copyright (C) 2001 John Wiley & Sons, Ltd.
Re-classification changes at run-time the class membership of an object while retaining its identity. We suggest language features for object re-classification, which could extend an imperative, typed, classbased, obj...
详细信息
the proceedings contain 15 papers. the topics discussed include: implementation, compilation, optimization of object-oriented languages, programs and systems;aspects, dependencies, and interactions;formal techniques f...
详细信息
ISBN:
(纸本)9783540717720
the proceedings contain 15 papers. the topics discussed include: implementation, compilation, optimization of object-oriented languages, programs and systems;aspects, dependencies, and interactions;formal techniques for Java-like programs;program analysis for security and privacy;object-oriented reengineering;quantitative approaches in object-oriented software engineering;component-orientedprogramming;fractal component-based software engineering;object technology for ambient intelligence and pervasive computing: language constructs and infrastructures;parallel/high-performance object-oriented scientific computing today;and tenth workshop on pedagogies and tools for the teaching and learning of objectoriented concepts.
this paper reports on the results of the Fifth International Workshop on object-oriented Reengineering in Oslo on June 15, 2004. It enumerates the presentations made, classifies the contributions and lists the main re...
详细信息
ISBN:
(纸本)354023988X
this paper reports on the results of the Fifth International Workshop on object-oriented Reengineering in Oslo on June 15, 2004. It enumerates the presentations made, classifies the contributions and lists the main results of the discussions held at the workshop. As such it provides the context for future workshops around this topic.
暂无评论