© 1994 by British Computer Society
Reconciling OO with Turing machines

1 Model System, 1 Wendle Court, 135 Wandsworth Road, London SW8 2LY, UK, 2 Aspen Lake Software Ltd, 5 Beech Farm Drive, Macclesfield, Cheshire SK10 2ES, UK
Two OO specification techniques have been developed almost independently. The inheritance paradigm emphasizes the analysis of hierarchical structures of super and subtype objects, and reuse by inheritance. The state-transition paradigm emphasizes the analysis of real world events and the state-changes they trigger in objects. Each paradigm has desirable properties that the other lacks. This paper shows ways resolve the structure clash between the paradigms. It also suggests that object processes or methods are emergent properties of an object and event-oriented analysis, rather than an object-oriented analysis alone. The background of the main author is in database systems, but Section 10 shows the paper is relevant to other kinds of software engineering such as real-time process control systems.
Received July 28, 1994. revised October 3, 1994.
* Model System, 1 Wendle Court, 135 Wandsworth Road, London SW8 2LY, UK
Aspen Lake Software Ltd, 5 Beech Farm Drive, Macclesfield, Cheshire SK10 2ES, UK