Specifikacije prvinskih procesov
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
. . . | . . .
Primer odločitvene tabele za proces izdaje čekov