Journal•
Object Oriented Systems
About: Object Oriented Systems is an academic journal. The journal publishes majorly in the area(s): Computer science & Method. Over the lifetime, 16 publications have been published receiving 316 citations.
Topics: Computer science, Method, Object (computer science), Action semantics, Operational semantics
Journal Tools
Papers
Journal Article•
TL;DR: The entire multiple inheritance dilemma can and should be seen as a conflict between inheritance and data encapsulation only and orthogonalizing these two concepts in a mixin-based framework permits appropriate solutions of all the problems listed above.
Abstract: In class-based multiple inheritance systems, interpretations as different as duplication, sharing and specialization are associated with the single phenomenon of name collisions. To deal with those name collisions, various mechanisms have been proposed, but these solutions generally restrain software reusability which is considered to be one of the key features of OO systems. On top of this, most multiple inheritance systems do not completely cover all the different interpretations of name collisions. This paper shows that the entire multiple inheritance dilemma can and should be seen as a conflict between inheritance and data encapsulation only. Orthogonalizing these two concepts in a mixin-based framework permits appropriate solutions of all the problems listed above. To this extent a formal model is proposed together with its denotational semantics. This minimal multiple inheritance model establishes a valuable basis for OO languages and software engineering systems.
61 citations
Journal Article•
45 citations
Journal Article•
40 citations
Journal Article•
26 citations
Journal Article•
TL;DR: A semantic mapping from the formal notation (Object-Z (Duke et al., 1991)) which underlies FOOM to a semi-formal object-oriented notation which is an extension of that associated with the systematic OO systems development methodology MOSES (Henderson-Sellers & Edwards, 1994).
Abstract: FOOM (Formal Object-OrientedMethodology) is an information systems acquisition/development method which assists in understanding and modelling organisational and inter-organisational systems. The method promotes highly appropriate and precise requirements speci cations for both interand intra-organisational information systems. In this paper, we describe, in outline, FOOM (which has been under development since 1989 and which was initially described in (Swatman & Swatman, 1992a)), then examine a semantic mapping from the formal notation (Object-Z (Duke et al., 1991)) which underlies FOOM to a semi-formal object-oriented notation which is an extension of that associated with the systematic OO systems development methodology MOSES (Henderson-Sellers & Edwards, 1994). The mapping contributes to resolving di culties both in creating and in validating precise requirement speci cations within the Information Systems domain. It also forms a basis for a prototype CASE (Computer-Aided Software Engineering) workbench to support FOOM which is currently under development.
13 citations
Related Journals (5)
Performance Metrics
| Year | Papers |
|---|---|
| 1998 | 1 |
| 1997 | 4 |
| 1996 | 8 |
| 1994 | 3 |