Hello,

yesterday I worked at the clustering and refinement of AND- and OR- Chart in the Statechart. The work was about all the day and I have to change the structure of some classes an methods. But now it really workes great. When I find time, i will bring pictures here online....till then,

greeting, Anderl

nach langer Zeit mal wieder ein Lebenszeichen....die diplomarbiet geht grad ein wenig schleppend voran...bin mitten im Designen der GUI und hab jetzt auch schon den ersten Editor fertig, mit dem man sich sein Statechart automatisch zusammenklicken kann...funktioniert auch prima und die automatische Visualisierung ist echt total hilfreich beim Erstellen der Statecharts...man muss sich keine Gedanken über Anordnung der Charts machen, oder darüber, wo man denn nun am besten die transitionen durchführt...macht alles die RoutingEngine...so wie das sein soll. Diese Woche werd ich noch fleissig an der GUI basteln und dann fehlen eigentlich (bis auf Kleinigkeiten) nur noch die Parser, die eine Spezifikation vom Beweiser einlesen können und auch wieder an diesen senden können...dann scheint die erste Version beinahe fertig und es kann mit der Ausarbeitung losgehen...ma kuckn, ob das alles so klappt, wie ich mir das vorstelle...

na dann, werd jetzt noch ins Kino kuckn....wünsch euch noch einen schönen Sonntag-Abend und morgen einen ersten warmen Frühlingstag, bis bald mal wieder,
Anderl

Hi there,

my work about category theory is now finished. I invested a lot of time and the result is about 29 sites with a lot of pictures to demonstrate all the properties of a special category PRE about the preorders. For all these people, who are interested in that stuff, i wish a interesting time in reading these paper. Here you get the direct download, but only in german, I'm sorry: [pdf-450,1kB]


have a nice day,
Andi