OPUS: a Formal Approach to Object-Orientation

Mens, Tom;Mens, Kim;Steyaert, Patrick
(1994) Formal Methods Europe (FME 1994) — Location: Barcelona, Spain (24.October.1994)

Files

OPUSFormalApproachtoOO.pdf
  • Restricted Access
  • Adobe PDF
  • 175.85 KB
Request a copy

Details

Authors
  • Mens, TomVUB
    Author
  • Mens, Kimorcid-logoUCLouvain
    Author
  • Steyaert, PatrickVUB
    Author
Abstract
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, message passing and incremental modification. This is illustrated by numerous examples. Thanks to the way objects are constructed in this calculus, we can deal with self-reference, recursion and even mutual recursion in a straightforward way. We also illustrate that it is relatively easy to model different kinds of inheritance mechanisms. Finally, we argue to which extent our calculus can be used for modeling and investigating object-oriented concepts.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Mens, T., Mens, K., & Steyaert, P. (1994). OPUS: a Formal Approach to Object-Orientation. In Maurice Naftalin, Tim Denvir, Miquel Bertran (ed.), FME ’94: Industrial Benefit of Formal Methods (p. p. 326-345). Springer-Verlag. https://doi.org/10.1007/3-540-58555-9_103