ecoop-OOOSWS workshops aim to bring together researchers and developers working on object-oriented operating systems and to provide a platform for discussing problems arising from the application of object-orientation...
详细信息
This paper presents SIROCO, a research on user interface design and development support in an object-orientedprogramming environment. User interface (UI) design in SIROCO focuses on conceptual modeling;a fully object...
详细信息
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-orientedprogramming languages allow the programmer to explicitly express relationships. This paper dis...
详细信息
ISBN:
(纸本)9783642226557;9783642226540
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-orientedprogramming languages allow the programmer to explicitly express relationships. This paper discusses how relationships facilitate the verification of multi-object invariants. We develop a visible states verification technique for Rumer, a relationship-based programming language, and demonstrate our technique on the Composite pattern. The verification technique leverages the "Matryoshka Principle" embodied in the Rumer language: relationships impose a stratification of classes and relationships (with corresponding restrictions on writes to fields, the expression of invariants, and method invocations). The Matryoshka Principle guarantees the absence of transitive call-backs and restores a visible states semantics for multi-object invariants. As a consequence, the modular verification of multi-object invariants is possible.
This paper describes a formal object-oriented specification language, Z++, and identifies proof rules and associated specification structuring and development styles for the facilitation of validation and verification...
详细信息
We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally compiles an object-oriented data model to a th...
详细信息
ISBN:
(纸本)9783540705918
We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally compiles an object-oriented data model to a theory containing object-universes, constructors, accessors functions, coercions between dynamic and static types, characteristic sets, their relations reflecting inheritance, and the necessary class invariants. The package is conservative, i.e., all properties are derived entirely from axiomatic definitions. As an application, we use the package for an object-oriented core-language called IMP++, for which correctness of a Hoare-Logic with respect to an operational semantics is proven.
The 10th ecoop workshop on mobile object systems, which was held on 14 June, 2004 in Oslo University is discussed. The workshop has dealt with the topics related to the movement of code and data between application pl...
详细信息
ISBN:
(纸本)354023988X
The 10th ecoop workshop on mobile object systems, which was held on 14 June, 2004 in Oslo University is discussed. The workshop has dealt with the topics related to the movement of code and data between application platforms, security, operating system support, application quality of service, and programming language paradigms. The presentation made at the workshop include portable CPU accounting in Java by Jarle Hualaas and Walter Binder, reducing the overhead of portable CPU accounting in Java by Jarle Hualaas and Walter Binder. The consensus at the end of the workshop was that the workshop was a success, and that the theme of object mobility is present in application.
Data in object-orientedprogramming is organized in a hierarchy of classes. The problem of object-oriented pattern matching is how to explore this hierarchy from the outside. This usually involves classifying objects ...
详细信息
ISBN:
(纸本)9783540735885
Data in object-orientedprogramming is organized in a hierarchy of classes. The problem of object-oriented pattern matching is how to explore this hierarchy from the outside. This usually involves classifying objects by their run-time type, accessing their members, or determining some other characteristic of a group of objects. In this paper we compare six different pattern matching techniques: object-oriented decomposition, visitors, type-tests/type-casts, typecase, case classes, and extractors. The techniques are compared on nine criteria related to conciseness, maintainability and performance. The paper introduces case classes and extractors as two new pattern-matching methods and shows that their combination works well for all of the established criteria.
We report on our ongoing research of an object-oriented language for a metaprogramming framework called Turbine. The paper describes structural elements of models, their relations and intended patterns of usage and th...
详细信息
We are developing an abstract model to provide a framework for comparing the object models of various systems, ranging from object-orientedprogramming languages to distributed object architectures. Our purpose is to ...
详细信息
暂无评论