Exponate auf Industriemessen

Einige der wissenschaftlichen Ergebnisse des Teilprojekts wurden in Exponaten auf der CeBIT'98 [58] [59] sowie auf dem Technologietransferkongress "IKT-Anwendungen auf Netzen" im Rahmen des III. Mannheimer Unternehmerforums [60] vorgestellt.

Präsentationen auf internationalen Veranstaltungen

An exponierter Stelle konnte der im Rahmen des Teilprojekts entwickelte SDL-Pattern-Ansatz auf zwei internationalen Veranstaltungen der SDL-Community, die traditionell eine besonders starke Industriebeteiligung aufweisen, präsentiert werden:

• Während der Internationalen Konferenz "9th SDL Forum 1999" wurde das Tutorial "Pattern-Based Reuse with SDL" gehalten [37].
• Im Rahmen des Internationalen Workshops "SDL and MSC (SAM'98)" wurde die halbtägige Sitzung "Patterns and SDL" organisiert und geleitet (eingeladener Sprecher: Erich Gamma) [62].

Guest Editor "Journal of Universal Computer Science"

In diesem Jahr erscheint eine Sonderausgabe der Internationalen Zeitschrift Journal of Universal Computer Science (kurz: J.UCS), die einen besonderen thematischen Bezug zum SFB 501 besitzt [54]. Das Thema der Sonderausgabe lautet "Requirements Engineering: The Light Control Case Study", Herausgeber sind Egon Börger und Reinhard Gotzhein. Der Call for Papers (URL: http://vs.informatik.uni-kl.de/activities/recs) fand im September 1999 statt, zum Berichtszeitpunkt sind die Begutachtungsphase und die Auswahl der akzeptierten Beiträge abgeschlossen. Der besondere SFB-Bezug besteht in der Wahl der Fallstudie, die auf einer Fallstudie aus den SFB-Querschnittprojekten Q1 und Q4 basiert. Damit werden die im Requirements Engineering erzielten Ergebnisse des SFB international vergleichbar.

Associate Rapporteur der ITU-T "Formal Semantics Definition for SDL-2000"

Während des ITU-T SG10 Meetings in Genf wurde eine revidierte Fassung der Norm Z.100, welche die im SFB in mehreren Teil- und Querschnittprojekten eingesetzte Entwurfssprache SDL definiert, verabschiedet. Die Arbeit an der formalen Semantik von SDL-2000 begann Anfang 1998 [43] und wird seither vom Projektleiter des Teilprojekts B4 in der Funktion des Associate Rapporteurs mitgetragen. Im selben Jahr fiel die Entscheidung, den Formalismus der Abstract State Machines (ASMs) zur operationalen Definition der formalen Semantik einzusetzen [42] [14]. Die Fertigstellung der Semantik ist für November 2000 vorgesehen.

B4

Forschungsaktivitäten

Ergebnisse 98-99-00

Entwicklung

peper@informatik.uni-kl.de

02.08.00