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.
There is considerable interest in programs that can migrate from one host to another and execute, Mobile programs are appealing because they support efficient utilization of network resources and extensibility of info...
详细信息
There is considerable interest in programs that can migrate from one host to another and execute, Mobile programs are appealing because they support efficient utilization of network resources and extensibility of information servers. However, since they cross administrative domains, they have the ability to access and possibly misuse a host's protected resources. In this paper, we present a novel approach for controlling and protecting a site's resources. In this approach, a site uses a declarative policy language to specify a set of constraints on accesses to resources, A set of code transformation tools enforces these constraints on mobile programs by integrating the access constraint checking code directly into the mobile program and resource definitions, Using this approach, a site does not need to explicitly include calls to reference monitors in order to protect resources. The performance analysis show that the approach performs better than reference monitor-based approaches in many cases. Copyright (C) 2000 John Wiley & Sons, Ltd.
object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invariants in the presence of object abstra...
详细信息
ISBN:
(纸本)9783540735885
object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invariants in the presence of object abstraction and encapsulation, arbitrary object aliasing and re-entrant method calls, is difficult. We present a framework for reasoning about object invariants based on a behavioural contract that specifies two sets: the validity invariant-objects that must be valid before and after the behaviour;and the validity effect-objects that may be invalidated during the behaviour. The overlap of these two sets is critical because it captures precisely those objects that need to be re-validated at the end of the behaviour. When there is no overlap, no further validity checking is required. We also present a type system based on this framework using ownership types to confine dependencies for object invariants. In order to track the validity invariant, the type system restricts updates to permissible contexts, even in the presence of re-entrant calls. object referencing and read access are unrestricted, unlike earlier ownership type systems.
object invariants define the consistency of objects. They have subtle semantics because of call-backs, multi-object invariants and subclassing. Several visible-state verification techniques for object invariants have ...
详细信息
ISBN:
(纸本)9783540705918
object invariants define the consistency of objects. They have subtle semantics because of call-backs, multi-object invariants and subclassing. Several visible-state verification techniques for object invariants have been proposed. It is difficult to compare these techniques and ascertain their soundness because of differences in restrictions on programs and invariants, in the use of advanced type systems (e.g., ownership types), in the meaning of invariants, and in proof obligations. We develop a unified framework for such techniques. We distil seven parameters that characterise a verification technique, and identify sufficient conditions on these parameters which guarantee soundness. We instantiate our framework with three verification techniques from the literature, and use it to assess soundness and compare expressiveness.
We present a new variation of object-orientedprogramming built around three simple and orthogonal constructs: classes for storing object state, interfaces for expressing object types, and mixins for reusing and overr...
详细信息
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.
As software evolves, so does the interaction between its components. But how can we check if components are updated consistently? By abstracting object usage into temporal properties, we can learn evolution patterns t...
详细信息
ISBN:
(纸本)9783642226557;9783642226540
As software evolves, so does the interaction between its components. But how can we check if components are updated consistently? By abstracting object usage into temporal properties, we can learn evolution patterns that express how object usage evolves over time. Software can then be checked against these patterns, revealing code that is in need of update: "Your check for isValidWidget() is now superseded by checkWidget()." In an evaluation of seven different versions of three open source projects, our LAMARCK tool was able to detect existing code issues with a precision of 33%-64% and to prevent such issues with a precision of 90%-100%.
Following a 13-year tradition of excellence, the 14th ecoopconference repeated the success of its predecessors. This excellence is certainly due to the level of maturity that object-oriented technology has reached, w...
详细信息
ISBN:
(数字)9783540451020
ISBN:
(纸本)9783540676607
Following a 13-year tradition of excellence, the 14th ecoopconference repeated the success of its predecessors. This excellence is certainly due to the level of maturity that object-oriented technology has reached, which warrants its use as a key paradigm in any computerized system. The principles of the object-oriented paradigm and the features of systems, languages, tools, and methodologies based on it are a source of research ideas and solutions to many in all areas of computer science. ecoop 2000 showed a thriving eld characterized by success on the practical side and at the same time by continuous scienti c growth. Firmly established as a leading forum in the object-oriented arena, ecoop 2000 received 109 high quality submissions. After a thorough review process, the program committee selected 20 papers, which well re?ect relevant trends in object-oriented research: object modeling, type theory, distribution and coo- ration, advanced tools, programming languages. The program committee, c- sisting of 31 distinguished researchers in object-orientation, met in Milan, Italy, to select the papers for inclusion in the technical program of the conference.
EOOWS (european workshop on object Orientation and Web Services) brought together the academic and the industrial perspective on Web Services. Specific results presented by the workshop participants and the broad expe...
详细信息
ISBN:
(纸本)354022405X
EOOWS (european workshop on object Orientation and Web Services) brought together the academic and the industrial perspective on Web Services. Specific results presented by the workshop participants and the broad experience of the invited speakers provided the base for a lively discussion on the challenges and potentials of service-oriented computing in relation to object-oriented technologies and methodologies. This report summarises the activities and main threads of discussion within the workshop, as well as the conclusions reached by the participants.
The suitability of the object-orientedprogramming model for implementing distributed systems has lead to middleware platforms, such as CORBA, DCOM, and Java/RMI. Originally, these middleware systems aimed at distribu...
详细信息
ISBN:
(纸本)3540415130
The suitability of the object-orientedprogramming model for implementing distributed systems has lead to middleware platforms, such as CORBA, DCOM, and Java/RMI. Originally, these middleware systems aimed at distribution transparency for Application programmers. However, distributed systems axe exposed to system issues, such as dynamic performance changes or partial errors, which prevent complete distribution transparency. Quality of Service (QoS) management addresses these system issues. The goal is to add QoS management to the interactions between clients and services. Support for QoS management in distributed object systems is a hot topic of current research which poses a number of open questions: How is QoS integrated with the object model that emphasizes encapsulation and information hiding? Can one build generic support frameworks for multiple QoS categories, in contrast to specialized, single category systems, such as TAO, Electra, Eternal, DOORS among others. Can QoS be viewed as an aspect in the sense of Aspect orientedprogramming (AOP) or are other classifications more appropriate? This ecoop-workshop has discussed the open questions and aimed at a summary of the state of the art in the field. The workshop stimulated discussions about how next generation QoS management facilities can be built into object infrastructures.
暂无评论