Previous: Detailed design Up: Design model Next: platform design

Architecture design

set.arch:

Architecture design

computational:

set.comp;

set.comp:

Computational

paradigm:

set manipulation;

command:

repeat, until, get-el, subset, make-el, remove-el

uses:

set.obj;

supports:

set.meth;

has-detailed-design:

setc.dar;

set.obj:

Computational object

set:

``a set that covers several elements''

element:

``a data object that can hold specific characteristics''

special-structure:

``a structure which has two slots, the first slot contains a set and the second an element.''

special-set:

``a set of special structures''

key:

``holds criteria that can be tested''

set.meth:

Computational method

internal-control:

decomposes into

start

read

apply

stop

explicit-control:

consists of

repeat internal-control until stop-condition

get-el:

``get an element of the type element from the special-set according to the criteria in the key slot.''

subset:

``get a subset of the original input set and each element in this subset contains the specified key element''

make-el:

``make an element with the specified characteristics''

remove-el:

``remove all elements that match with a given element out of the special-set''

empty:

``test if a set is empty''

Works-on

get-el

WORKS-ON

special-set, el, key;

subset

WORKS-ON

special-set, key;

make-el

WORKS-ON

element;

remove-el

WORKS-ON

el, special-set;

empty

WORKS-ON

special-set;

set.darc:

Detailed architecture design

PDL:

The program description language will be according to the BNF of Lisp.

program description:

``Specification of the computational methods and objects that are mentioned in the architecture. This specification will be in terms of lisp.''

realised-within:

lisp.targ;