Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation

  title={Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation},
  author={Juan Bicarregui and Kevin Lano and T. S. E. Maibaum},
We describe a compositional approach to the formal interpretation of type view diagrams and statecharts. We deene theories for object instances and classes, and theories for associations between them. These theories are combined with categorical constructions to yield a formalisation of the entire system. We observe that some notations require the identiication of theories intermediate between the theories of the constituent classes and associations and that of the entire system. This leads us… CONTINUE READING

From This Paper

Topics from this paper.
25 Citations
51 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 51 references

Syntropy Case Study: The Petrol Station

  • S Cook, J Daniels
  • Object Designers Ltd.,
  • 1996
Highly Influential
9 Excerpts

Object-oriented Development: The FUSION Method

  • D Coleman
  • 1994
Highly Influential
4 Excerpts

Design Patterns and their Role in Formal Object-Oriented Development, COTSR

  • K. Lano, S. Goldsack
  • Object Technology 98,
  • 1998

Workshop: \Beyond the Notation", Mulhouse, France, June 3

  • P.-A. Muller, J. B ezivin eds, Proc
  • 1998
1 Excerpt

Similar Papers

Loading similar papers…