Transformatie Natuurlijke Taal Object Georiënteerd Analyse ...

Door het achter elkaar zetten van selectie- en iteratiesymbolen is het mogelijk om ingewikkelde volgordes van
acties te representeren. Zo is het mogelijk om sequenties van acties te nesten en door het plaatsen van een selectie
na een iteratie kan een iteratieve keuze (herhalen van de keuze) gemodelleerd worden.
Parallelle Iteratie
Met een parallelle iteratie is het mogelijk om het parallel uitvoeren van een of meer acties te modelleren. Ook
hier geldt weer dat de ingang van het parallelle iteratiesymbool aan de linker of bovenkant is en de uitgang aan
de rechterkant. Aan de onderkant van het parallelle iteratiesymbool hangen één of meer paden die elk parallel
uitgevoerd kunnen worden. Als er één pad aan hangt wil dat zeggen dat dit pad meerdere keren tegelijk kan
worden uitgevoerd. Dit geldt uiteraard ook voor als er meer dan een pad aan hangt.
2.4.4 Syntax van een KISS-model
Hierboven staat op een informele wijze de syntax (en ook semantiek) van een KISS-model beschreven. De
structuur van een KISS-model komt sterk overeen met een (wiskundige) boomstructuur (n-air). De root is altijd
een objecttype. De knopen zijn de actietypen en de coördinatiesymbolen. Er kunnen geen cycles in een KISSmodel
voorkomen. Wel kan een actietype meerdere keren op een KISS-model voorkomen. Hieronder wordt een
formele beschrijving van een KISS-model gegeven. Dit wordt gedaan door middel van een grammatica die
aangeeft hoe correcte KISS-modellen gegenereerd kunnen worden. Als een KISS-model niet door de grammatica
kan worden beschreven dan is dat KISS-model syntactisch niet correct (niet Well Formed).
Voor de grammatica worden de volgende symbolen gebruikt:
O Het objecttype waarvoor het KISS-model wordt opgezet.
A Een willekeurig actietype dat geassocieerd is aan het objecttype waarvan het KISS-model wordt opgesteld.
S Sequentiesymbool
T Terminatie symbool (Dit komt rechts van het selectie-, iteratie- of parallelle iteratiesymbool). Dit is
eigenlijk een sequentiesymbool maar met een iets afwijkende semantiek.
Sel Selectie symbool
Ite Iteratie symbool
Par Parallelle Iteratie symbool
, x,y wil zeggen dat x gevolgd wordt door y. In de modellen betekent dit zoveel als y komt onder x te
hangen, of in het geval dat y een T is, rechts van x.
; x;y betekent dat voor het vervolg een keuze gemaakt moet worden tussen x en y
(x) n+
n of meer keren x naast elkaar
[x] x is optioneel.
∅ Hiermee wordt een pad in het KISS-model beëindigd. Dit symbool komt zelf niet op het KISS-model
voor.
Met haakjes worden meerdere symbolen gegroepeerd om duidelijker aan te geven wat de scope van een operator
zoals de ; is
KISS-model = O, S, Instantiatie
Instantiatie = A, ActieBoom1 ;
Sel, (S, A) 2+ , T, ActieBoom2
ActieBoom1 = ∅ ; {Dit wil zeggen dat je niet verder hoeft uit te werken}
S, ActieBoom2
ActieBoom2 = A, ActieBoom1 ;
Ite, S, ActieBoom_na_Ite, [T, ActieBoom2] ;
Sel, (S, ActieBoom_na_Sel) 2+ , [T, ActieBoom2] ;
Par, (S, ActieBoom_na_Par) 1+ , [T, A, ActieBoom1]
ActieBoom_na_Ite = A, ActieBoom1 ;
Sel, (ActieBoom_na_Sel) 2+ , [T, A, ActieBoom1] ;
Par, (ActieBoom_na_Par) 1+ , [T, A, ActieBoom1]
ActieBoom_na_Sel = A, ActieBoom1 ;
Sel, (S, Actieboom_na_Sel) 2+ , T, A, ActieBoom1;
Ite, ActieBoom_na_Ite, [T, A, ActieBoom1] ;
© KISS b.v. 20