% The specification of the whole system
% Version 1, 03.06.1998
module system
graph class: DirectedGraph
% Uses some functionality from the channel module
uses printer, client;
exports
transformation unit go
realized by
transformation unit init
initial:
body:
apply once printer.create;
apply once channel.create;
apply once client.create;
apply once printer.connect;
apply once client.connect
terminal:
end;
transformation unit go
initial:
body:
apply once init;
apply as long as possible client.action | printer.print
terminal:
end
end.