Reconciling OO with Turing machines
Author(s) -
Graham Berrisford
Publication year - 1994
Publication title -
the computer journal
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.319
H-Index - 64
eISSN - 1460-2067
pISSN - 0010-4620
DOI - 10.1093/comjnl/37.10.888
Subject(s) - computer science , inheritance (genetic algorithm) , reuse , programming language , object oriented programming , event (particle physics) , state (computer science) , turing , process (computing) , software engineering , theoretical computer science , ecology , biochemistry , chemistry , physics , quantum mechanics , gene , biology
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom