Atlas home || Conferences | Abstracts | about Atlas

1998 New Zealand Mathematics Colloquium
July 6-9, 1998
Victoria University of Wellington
Wellington, New Zealand

Organizers
Peter Donelan, Chris Atkin, John Harper, Philip Rhodes-Robinson, Jim Neyland, Geoff Whittle, Steve White, Vladimir Pestov, Tom Crosby

View Abstracts
Conference Homepage

An Automatic Decomposition Process for Information Systems
by
Mike Carter
Massey University
Coauthors: Chris Freyberg, Clive Ruggles

A formal system will be described within which a model of an information system may be constructed, based on the primitive notions of ``variable" and state ``transition". The formalism has been designed to mimic those features of the model developed by Wand and Weber which are important for automated decomposition, the process by which a system may be broken down into a modular structure. An example of the decomposition of a small system will be given.

Reference: Yair Wand and Ron Weber, ``An ontological model of an information system", IEEE Transactions on Software Engineering, 16(11), 1990, 1282-92.

Date received: June 7, 1998

Copyright © 1998 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cabd-34.