A Z notation

Nagyobb rendszerek modellezése

A nagy rendszerek alrendszerekbe gyűjtött komponensekből állnak.A bonyolultabb komponenseket egyszerűbbekből
építhetjük fel "Schema inclusion"-nel

Schema incusion

Minden komponensnek van egy neve.Különbözők a típusaik de ugyanolyan típusú a nevük.A hasonló nevű komponenseket
halmazba gyűjtjük.Az egész rendszer állapota egy függvény gyűjtemény.

Komponens kombinálás

Az egyszerű komponensek tevékenységeit kiterjeszthetjük az egész rendszerre.Előszőr egy "framing schema"kell.

Framing Schema

Azután kössük össze a "frame"-t a tevékenységgel.

Frame kötés

Az egymásra nem hasonlító objektumok neveinek halmazával modellezhetünk alrendszereket.

Alrendszerek

Teljes rendszerek.

Teljes rendszer