Modeleerimine Jacksoni süsteemiarenduse meetoditega.

Näiteid

  • Näide 1.
        Ülesanne - arvutada ringi pindala etteantud raadiuse põhjal.

        1. Sisesta ringi raadius R
        2. Kontrolli, kas R on positiivne
        3. Arvuta ringi pindala S
        4. Väljasta tulemus

Jackson näide
  • Näide 2. Raamat koosneb lehekülgedest. Iga lehekülg koosneb tekstiridadest. Iga rida koosneb sõnadest. Joonisel 1 on toodud esimene katse luua vastavat struktuurdiagrammi.

Joonis 1 Esimene samm struktuurdiagrammi loomisel

Toodud pilti on võimalik lihtsustada, asendades iga järjestus kordusega, nagu on toodud Joonisel 2.


 
Joonis 2

Toodud näites on näha, et kordus on jada üldistus. Raamat koosneb lehekülgedest, lehekülg on seejuures korduv element. Iga leheküljel on read korduvad elemendid. Reas on aga korduvaks elemendiks sõna.

  • Näide 3. Raamat koosneb esi- ja tagakaanest ning nende vahel olevatest lehekülgedest. Iga lehekülg koosneb tekstiridadest; iga rida koosneb sõnadest. Iga lehekülje alumise ääres on lehekülje number.

    Esimene loodav struktuurdiagramm on toodud Joonisel 3



Joonis 3

Selline struktuuridiagramm on ebakorrektne, esiteks formaalselt. Näiteks, võime esitada küsimuse "Milline komponent on raamat?". Toodud diagrammi vaadates jääb mulje, et tegemist on millegi korduvaga, kuna üks selle osa (lehekülg) on korduv. Samas tundub, et tegemist on millegi järjestikusega, kuna selles on kolm üksteisele järgnevat osa: esikaas, lehekülg, tagakaas. Kuid selline situatsioon on võimatu - komponent peab olema kas korduv, valik või järjestikuline. Kombinatsioone mainitutest tekkida ei tohi.

Veel üks formaalne viga esineb diagrammis selles kohas, mis näitab, et rida koosneb kahest osast, millest üks on korduv
. Seega, milline komponent rida õigupoolest on? See ei saa olla korduv, kuna koosneb kahest osast; see ei saa olla järjestikkomponent, kuna osa sellest kordub. Tegemist on võimatu konstruktsiooniga, mis ei vasta struktuurdiagrammi koostamise reeglitele.

Kolmas viga on lehekülje numbri paigutus. Diagrammist võib välja lugeda, et leheküljenumber on olemas peale igat sõna kõikides ridades.

Õige struktuurdiagramm näeks välja järgmiselt (Joonis 4):



Joonis 4.