download - SPES 2020
download - SPES 2020
download - SPES 2020
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Funktion<br />
• Formalisiert ein Szenario;<br />
• Gegeben durch<br />
– eine syntaktische Schnittstelle und<br />
– eine (partielle) Abbildung von Eingaben auf Ausgaben<br />
m i1,1 m i1,2 m i1,3 … i1<br />
m i2,1 m i2,2 m i2,3 …<br />
m i3,1 m i3,2 m i3,3 …<br />
i 2<br />
i 3<br />
Funktion<br />
o 1<br />
o 2<br />
m o1,1 m o1,2 m o1,3 …<br />
m o2,1 m o2,2 m o2,3 …<br />
16