Aktueller Stand und Workshop MSEIM
Kategorie Promotion | 2 Kommentare »
Nun sind schon wieder fast 2 Monate in 2008 vorbei und es wird deshalb mal wieder Zeit für einen kleinen Statusbericht. In der Zwischenzeit hat sich einiges getan und es gibt auch mal wieder eine neue Publikation zum Download…
Der Anfang des Jahres war etwas beängstigend. In kurzen Abständen wurden 3 Publikationen angenommen, was die Zahl der im Review befindlichen Publikationen auf bedenkliche 2 fallen ließ. Auch wenn es natürlich positiv ist, wenn was angenommen wird, so heisst das halt auch, dass da weniger für die Zukunft übrig ist, auf dass man hoffen könnte :-) Deshalb habe ich mich im Januar ziemlich ins Zeug gelegt und 2 komplett neue Beiträge eingereicht. Weiterhin habe ich einen abgelehnten Beitrag überarbeitet und zum Review weitergeleitet. Bis Ende März plane ich wiederum die Fertigstellung von 2 Beiträgen und ich will noch die Grundlage für 2 weitere Beiträge schaffen. Die hoffe ich dann bis Ende April fertig für die Einreichung zu haben. Dann sollte ich Ende April mit Papern soweit durch sein und muss dann lediglich angenommene oder abgelehnte Paper überarbeiten bzw. neu einreichen. Achja, und ich müsste dann noch die eigentliche Diss schreiben…
Bei den 2 neu im Januar eingereichten Beiträgen mache ich mir eigentlich kaum Hoffnung auf Annahme, da ich damit doch ziemlich hochwertige Konferenzen angepeilt habe, wie zum Beispiel die IEEE Requirements Engineering 2008 mit einer Annahmequote von 10-15% (also 85-90% aller Einreichungen werden abgelehnt!). Allerdings hoffe ich, dass die Kommentare der Reviewer so nützlich sind, dass man mit diesen die Beiträge fit für weniger prestigeträchtige Konferenzen machen kann. Mal schauen ob das klappt…
Die 3 angenommenen Beiträge sind ein Buchkapitel, ein Konferenzbeitrag bei der BIS 2008 Konferenz in Innsbruck und ein Workshop Paper. Über das Konferenzpaper bei der BIS muss ich in einem oder wahrscheinlich sogar mehreren Beiträgen noch ausführlicher schreiben. Deshalb heute nur eine kurze Zusammenfassung zu dem Workshop Paper.
Das Paper „Grafische Validierungsregeln am Beispiel von EPKs“ der Herren Feja, Fötsch und mir wurde bereits letzte Woche beim Workshop „Modellgetriebene Softwarearchitektur – Evolution, Integration und Migration“ (MSEIM) präsentiert. Der Workshop fand im Rahmen der GI Software Engineering Konferenz 2008 in München statt. Ich war nicht vor Ort.
Das Paper fasst einen Teil der Arbeiten zu Modellvalidierung im Rahmen des Forschungsprojekt OrViA zusammen. Im Paper zeigen wir, wie man Geschäftsprozessmodelle (EPKs) semantisch überprüfen kann, ob sie bestimmten Regeln genügen. Damit die ganze Sache auch benutzerfreundlich bleibt, werden die Regeln nicht als formale Ausdrücke spezifiziert, sondern mit einer speziellen Notation. Die Validierung basiert auf so genannten Model Checking Algorithmen, die wiederum in die Familie der temporalen Logik einzuordnen sind.
Die entwickelte Lösung fetzt, weil sie doch recht einfach, überschaubar und erlernbar ist. Selbst ich, der nun wahrlich kein Experte in formalen Sprachen ist, kann nach kurzer Lernphase mit der grafischen Notation die Regeln formulieren. Trotzdem bleibt natürlich noch Einiges zu tun. So ist die Integration des Verfahrens in die tägliche Geschäftsprozessmodellierung noch nicht wirklich gelöst. Momentan funktionieren die Regeln zum Beispiel nur, wenn die in der Regel verwendeten Worte auch so bei der Modellierung von Geschäftsprozessen verwendet wurden. Das ist natürlich eine ziemliche Einschränkung. Ich bin mir aber sicher, dass sich da in Zukunft noch einiges tun wird. Wer sich für die Modellierung von Prüfregeln und deren Auswertung interessiert, dem kann ich auch den Blog meines Kollegen Marwane wärmstens ans Herz legen, da er sich mit genau diesem Thema in seiner Promotion beschäftigt.
Ansonsten kann man ab sofort hier im Blog die Kommentare zu einem Beitrag abonnieren, nachdem man selbst ein Kommentar hinterlassen hat. Man bekommt dann automatisch eine Email, wenn ich oder ein anderer Leser geantwortet habe. Damit braucht der geneigte Kommentierer nicht mehr ständig auf die Seite schauen, ob es zu einem Beitrag neue Kommentare gibt.
[…] man zum Beispiel mein letztens hier vorgestelltes Paper vom MSEIM Workshop, so lautet der […]
[…] ist wieder ein Monat vergangen. Den habe ich wieder aktiv genutzt und ein neues Paper geschrieben und eingereicht. In der […]