Informatik in L A TEX (Bäume, Graphen, MSC)

Transkript

1 Informatik in L A TEX (,, MSC) Fakultät für Informatik Humboldt-Universität Berlin 13. Juni 2005

2 Gliederung Pakete (qtree) Pakete (msc)

3 Überblick Pakete (qtree) Pakete (msc)

4 viele Pakete für fast alles Grafische in der Informatik UML, Highlighting,,, Message Sequence Charts... gut und weniger gut dokumentiert vieles kann über ps-tricks gemacht werden, teilweise existieren komfortablere Pakete

5 Überblick Pakete (qtree) Pakete (msc) Pakete (qtree)

6 Pakete (qtree) Pakete(qtree) qtree bindet automatisch eepic ein, es sei denn es wird unterbunden \usepackage[noeepic]{qtree} bei ps sollte eepic zugelassen werden, in pdf muss es unterdrückt werden maximale Tiefe 20, maximale Anzahl an Unterbäumen fünf parsetree ist qtree ähnlich bietet aber weniger Tiefe, weniger Unterbäume und es sieht weniger gut aus

7 Pakete (qtree) Befehlsaufruf mit einer Wurzel, Knoten und Blatte \Tree [.Wurzel [.Knoten Blatt ] ].Wurzel die Bezeichnungen an den schliessenden Klammern sind fakultativ Trennung erfolgt durch die Leerzeichen kann entsprechend der Grenzen beliebig verschachtelt werden

8 Pakete (qtree) \Tree [.A [.B [.C eins ] [.D zwei ] ].B [.E {3 und 4} ] ].A A B E C D 3 und 4 eins zwei mit [noeepic] A B E C eins D zwei 3 und 4 ohne [noeepic]

9 Überblick Pakete (qtree) Pakete (msc) Pakete (msc)

10 Pakete (msc) Pakete(msc) Paket msc wird normal eingebunden allerdings nur für ps (für pdf muss zum PSforPDF eingebunden werden) \PSforPDF{\usepackage{msc}} xcolor wird benötigt, muss auf 2.03 aktualisiert werden

11 Pakete (msc) Einleiten und Ausleitung eines MSC-Diagramms \begin{msc}{}... \end{msc} kommunizierende Objekte definieren \declinst{label}{name}{bezeichnung} Nachrichten zwischen den Objekten \mess{narichtenname}{vonlabel}{bislabel}[+-level] Nachrichte an die Umwelt \mess{narichtenname}{vonlabel}{envrichtung}[+-level] Level \nextlevel

12 Pakete (msc) msc User M 1 K log message1 output message2 M 2 Test \PSforPDF{ \begin{msc}{} \declinst{usr}{user}{} \declinst{m1}{m 1}{K} \declinst{m2}{m 2}{Test} \mess{message1}{usr}{m1} \nextlevel \mess{message2}{m1}{m2} \nextlevel \mess{log}{m1}{envleft} \nextlevel \mess{output}{m2}{usr}[1] \nextlevel \end{msc} }

13 Überblick Pakete (qtree) Pakete (msc)

14 gastex-paket einbinden \usepackage{gastex} benötigt einen speziellen Header gastex.pro nur als ps möglich existiert grafisches Interface mächtig, nur einige weniges Kommandos ausgewählt

15 (Zustände) \compatiblegastexun Picture und Box wird benötigt Punkt für Zustand festlegen (Koordinaten in der Box) \letstate Positionslabel=(x,y) Zustandsart zuweisen Startzustand (x reguliert den Durchmesser des Kreises) \drawinitialstate[x,y](pos.label){name} Endzustand (x reguliert den Durchmesser des Kreises) \drawrepeatedstate[x,y](pos.label){name}

16 (Übergänge) Zustandsübergänge Schleife \drawloop[richtung](pos.label){bezeichnung} gerade Zustandsübergang \drawtrans[richtungbez.](von,nach){name} gebogener Übergang \drawcurvedtrans[richtung](von,nach){name}

17 (Spezielles) gepunktete Übergänge { \setpsdash(stärke) Übergang } manuell gekrümmter Übergang {\setprofcurve{krümmung}übergang}

18 (Quellcode \letstate A=(0,0) \drawinitialstate(a){} \letstate B=(15,0)\drawrepeatedstate(B){1} \letstate C=(30,0)\drawinitialstate(C){2} \letstate D=(0,15)\drawrepeatedstate(D){3} \drawloop[b](b){$a,a,\alpha$} { \setpsdash(3) \drawloop(c){$b,\beta$} } \drawtrans(a,b){} \drawtrans(b,c){} {\setprofcurve{6} \drawcurvedtrans[b](a,c){unter}} \drawcurvedtrans(a,d){oben} { \setpsdash(4) \drawcurvedtrans(d,a){} }

19 (Grafik oben 3 unter B, β 1 2 A, a, α

20 Überblick Pakete (qtree) Pakete (msc)

21 Die Folien sind unter informatik.hu-berlin.de/ amboss/informatikinlatex.pdf zu finden. Die Ausarbeitung folgt. qtree: xcolor: gastex: gastin/gastex/gastex.html msc: sjouke/misc/mscpackage/