WCOP 2000, held in conjunction with ecoop 2000 in Sophia Antipolis, France, was the fifth workshop in the successful series of workshops on component- orientedprogramming. The previous workshops were held in conjunct...
ISBN:
(纸本)3540415130
WCOP 2000, held in conjunction with ecoop 2000 in Sophia Antipolis, France, was the fifth workshop in the successful series of workshops on component- orientedprogramming. The previous workshops were held in conjunction with the respective ecoopconferences in Linz, Austria, Jyv?skyl?, Finland, Brussels, Belgium and Lisbon, ***96 had focussed on the principal idea of software components and worked towards definitions of terms. In particular, a high-level definition of what a software component is was formulated. WCOP97 concentrated on compositional aspects, architecture and gluing, substitutability, interface evolution, and non-functional requirements. WCOP98 had a closer look at issues arising in industrial practice and developed a major focus on the issues of adaptation. WCOP’99 moved on to address issues of component frameworks, structured architecture, and some bigger systems built using components frameworks. The topics for WCOP 2000 focussed on component composition, validation and refinement and the use of component technology in the software industry.
This report summarizes the contributions and discussion of the 4th ecoop Workshop on Quantitative Approaches in object-oriented Software Engineering held in Sophia Antipolis on Tuesday, June 13, 2000. This workshop ai...
详细信息
EOOLT'2008 was the second edition of the ecoop-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) modeling languages and different applicat...
详细信息
ISBN:
(纸本)9783642020469
EOOLT'2008 was the second edition of the ecoop-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) modeling languages and different application areas making use of such languages together. The aim of the workshop is to explore common grounds and derive software design principles that may make future EOO modeling languages more robust, more versatile, and more widely accepted among the various stakeholders. At EOOLT'2008, researchers with diverse backgrounds and needs came together to present and discuss fourteen different concept papers grouped into the four topic areas of integrated system modeling approaches: modeling for multiple applications;modeling language design, and equation handling, diagnosis, and modeling.
The lecture will trace the development of some important object-oriented concepts and point out the analogy between performances at the stage of a theatre and the operation of information systems (and program executio...
详细信息
ISBN:
(纸本)3540630899
The lecture will trace the development of some important object-oriented concepts and point out the analogy between performances at the stage of a theatre and the operation of information systems (and program executions). This metaphor will be used in a description of the ideas pursued and developed in the GOODS Project (General object-oriented Distributed Systems), a three year project supported by The Norwegian Research Council, starting January 1997. GOODS aims at extending the framework of object-orientedprogramming to include a multi-layered approach to the organisation of the relationship between people, computer hardware, organisational rules and programs in general distributed systems. GOODS also aims at introducing general tools for specifying visibilities of objects (scopes) and the precise dealing with the identities of objects that exist in many versions in a distributed environment.
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows the explicit representation of frame...
详细信息
ISBN:
(纸本)3540676600
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows the explicit representation of framework variation points. The paper discusses some of the relevant aspects of UML-F, which is based on standard UML extension mechanisms. A case study shows how it can be used to assist framework development. A discussion of additional tools for automating framework implementation and instantiation rounds out the paper.
Component-based programming is currently carried out using mainstream object-oriented languages. The languages have to be used in a highly disciplined way to guarantee flexible component composition and extensibility....
详细信息
ISBN:
(纸本)3540437592
Component-based programming is currently carried out using mainstream object-oriented languages. The languages have to be used in a highly disciplined way to guarantee flexible component composition and extensibility. This paper investigates abstractions for component-orientedprogramming on the programming language level. We propose a simple prototype-based model for first-class components on top of a class-based object-oriented language. The model is formalized as an extension of Featherweight Java. Our calculus includes a minimal set of primitives to dynamically build, extend, and compose software components, while supporting features like explicit context dependencies, late composition, unanticipated component extensibility, and strong encapsulation. We present a type system for our calculus that ensures type-safe component definition, composition, and evolution.
ICOOOLPS'2008 was the third edition of the ICOOOLPS workshop at ecoop. ICOOOLPS intends to bring researchers and practitioners both from academia, and industry together, with a spirit of openness, to try and ident...
详细信息
ISBN:
(纸本)9783642020469
ICOOOLPS'2008 was the third edition of the ICOOOLPS workshop at ecoop. ICOOOLPS intends to bring researchers and practitioners both from academia, and industry together, with a spirit of openness, to try and identity and begin to address the numerous and very varied issues of optimization. After two very successful editions, this third put a stronger emphasis on exchanges and discussions amongst the participants, progressing on the bases set previous years in Nantes and Berlin. The workshop attendance was relatively successful: There was about 20 attendees which was good considering the remote location and that the general attendance of ecoop was much lower than expected. Some of the discussions (e.g., much of the afternoon sessions) were so successful that they would required even more time than we were able to dedicate to them. That is one area we plan to further improve vet again for the next, edition.
An effects systems describes how state may be accessed during the execution of some program component. This information is used to assist reasoning about a program, such as determining whether data dependencies may ex...
详细信息
ISBN:
(纸本)3540661565
An effects systems describes how state may be accessed during the execution of some program component. This information is used to assist reasoning about a program, such as determining whether data dependencies may exist between two computations. We define an effects system for Java that preserves the abstraction facilities that make object-orientedprogramming languages attractive. Specifically, a subclass may extend abstract regions of mutable state inherited from the superclass. The effects system also permits an object's state to contain the state of wholly-owned subsidiary objects. In this paper, we describe a set of annotations for declaring permitted effects in method headers, and show how the actual effects in a method body can be checked against the permitted effects.
We present an implementation of the Train Algorithm, an incremental collection scheme for reclamation of mature garbage in generation-based memory management systems. To the best of our knowledge, this is the first Tr...
详细信息
ISBN:
(纸本)3540601600
We present an implementation of the Train Algorithm, an incremental collection scheme for reclamation of mature garbage in generation-based memory management systems. To the best of our knowledge, this is the first Train Algorithm implementation ever. Using the algorithm, the traditional mark-sweep garbage collector employed by the Mjolner run-time system for the object-oriented BETA. programming language was replaced by a non-disruptive one, with only negligible time and storage overheads.
作者：
UUSTALU, TDept. of Mathematics
Institute of Cybernetics Estonian Acad. Sci. Akadeemia tee 21 Tallinn EE-0108 Estonia
In this paper, a number of existing solutions and suggestions towards combining the object-oriented (OO) and logic programming paradigms have been briefly studied and categorized, and a sketch of a new solution has be...
详细信息
暂无评论