Mini specifikacije

Mini specifikacije izdelamo le za tiste procese diagrama toka podatkov, ki niso razgrajeni. Za te procese se uporabljajo tudi izrazi: elementarni ali atomarni procesi. Z mini specifikacijami  opišemo transformacijo vhodnih podatkov v izhodne. Za predstavitev mini specifikacije se uporabljajo:

• strukturirano besedilo,
• odločitvene tabele in
• odločitvena drevesa.

 

Strukturirano besedilo

Za formaliziranje zapisa mini specifikacije so uporabljeni osnovni proceduralni konstrukti:

• zaporedje / sekvenca (blok),
• odločitev / vejitev (if – then – else) in
• ponavljanje / zanka (while, repeat).

Kot operandi nastopajo tisti podatkovni tokovi, ki prihajajo v ali izstopajo iz procesa, ki ga mini specifikacije opisuje.

 

Primer strukturiranega besedila

proces Izdaja_čekov

številka procesa: 1.5

begin

     if stanje >= 0 then

          izdaj 20 čekov

else // negativno stanje

          if dovoljena_prekoračitev then

            izdaj 10 čekov

  napiši opozorilo o negativnem stanju

          else  // prekoračitev je večja od dovoljenega limita

  napiši opozorilo o negativnem stanju

end

 

Odločitvena tabela - shema

Odločitvena tabela opisuje pogoje in akcije z dvodimenzionalno tabelo. Odločitvene tabele lahko kombiniramo s strukturnim besedilom. Shema tabele:

(ukrep-akcija)

popis pogojev | vrednosti pogojev

     . . .    |     . . .

--------------|---------------------

popis ukrepov | ukrepi pri pogojih

     . . .    |     . . .