Event Handling in ET++ - A Case Study in the Algebraic Specification of Object-Oriented Application Frameworks

TL;DR

This paper explores the use of algebraic specification techniques to modularly specify complex object-oriented systems, exemplified through the event handling mechanism of the ET++ framework using Spectrum.

Contribution

It demonstrates the application of algebraic specification to model event handling in an object-oriented framework, highlighting its suitability for modular system design.

Findings

Algebraic specifications can effectively model event handling mechanisms.

Spectrum language facilitates modular and precise specifications.

The approach supports better understanding and potential verification of object-oriented frameworks.

Abstract

In this report we investigate the suitability of algebraic specication techniques for the modular speci cation of complex object oriented systems As an example part of the event handling mechanism of the application framework ET is speci ed using a variant of the algebraic specication language Spectrum.