Die FAKULTÄT FÜR INFORMATIK an der TU Wien lädt zu folgendem Vortrag ein: ======================================================================== Professor Dines Bjørner Technical University of Denmark Datum: Mittwoch, 2. Juni 2004 Uhrzeit: 17.00 Uhr pünktlich Ort: Hörsaal EI 8, TU Wien, Gußhausstr. 27-29, Erdgeschoss Im Anschluss lädt die Informatik-Fakultät zur informellen Diskussion bei Snacks und Erfrischungen. ======================================================================== TITEL: "UML"-izing Formal Techniques ======================================================================== ABSTRACT: In this talk we present a number of correlated specifications of example railway system problems. They use a variety of partially or fully integrated formal specification. The talk thus represents a mere repository of what we consider interesting case studies. The existence of the Unified Modeling Language has caused, for one reason or another, the research community to try formalise one or another facet of UML. In this talk we report on another way to achieve what UML attempts to achieve: Broadness of application, convenience of notation and multiplicity of views. Whether these different UML views are unified, integrated, correlated or merely co-located is for others to dispute. We also seek to support multiple views, but are also in no doubt that there must be sound, well defined relations between such views. WE thus report on ways and means of integrating formal techniques such as RAISE (RSL), Petri Nets Message and Live Sequence Charts, Statecharts RAISE with Timing (TRSL) and TRSL with Duration Calculus. In this way one achieves a firm foundation for combined unses of these formal developement techniques, one that can be believably deployed for as wide a spectrum, or even a wider spectrom of software (and Hardware) development,as, respectively than UML. ======================================================================== Kurzbiographie zu Professor Dines Bjørner ======================================================================== Bjoerner hat sowohl am IBM Lab in Wien die Vienna Definition Language zur prozeduralen Semantikdefinition als auch die funktionale Semantik-Methode VDM (Vienna Definition Method) in Daenemark wesentlich mitgestaltet. Er ist einer der ganz Grossen im Formal Methods im Software-Bereich und trotz vorgerueckten Alters noch wissenschaftlich hochaktiv. IBM: 1.3.1962 -- 31.8.1975 Design of IBM System 1070, Stockholm & San Jose Design of IBM System 1130 and IBM System 1800, San Jose Design of IBM Adv. Comp. System (ACS/1), Gene Amdahl Reduction (Pure Functional) Languages, John W. Backus Relational Database Theory, E.F.Codd Formal Semantics of PL/I, Vienna (With Peter Lucas, Cliff B. Jones, Wolfgang Henhapl and the late Hans Bekic) R&D of VDM, Vienna (With Peter Lucas, Cliff B. Jones, Wolfgang Henhapl and the late Hans Bekic) Technical Univ. of Denmark (incl. DDC and CRI) 1.9.1976 -- ... R&D of VDM Formal Semantics of CHILL, with Hans Bruun et al. Formal Semantics of Ada, with Hans Bruun et al. CHILL Compiler Development, with Hans Bruun, Søren Prehn et al. Ada Compiler Development, with Hans Bruun, Ole N. Oest et al. Initialisation of RAISE, with Søren Prehn Initialisation of LaCoS, with Søren Prehn ProCoS, Oxford + Århus + Royal Holloway + Kiel + Oldenburg (with Tony Hoare, Hans Langmaack, Ernst-Rüdiger Olderog et al.) UNU/IIST 2.7.1992 -- 1.7.1997 Domain Engineering: Analysis, Modelling, Theory Requirements Engineering: Derivation from Domain Models, &c. Infrastructure Software Editorships: SCP, FACS, IEEE TSE, CAI, Chinese Journal of CS&E, etc., in all: Some 12 journals over the years (Still: SCP, FACS, CAI). "Co-Creations" Co-founder: Dansk Datamatik Center (DDC Intl.) Chairman, Danish Govt. Informatics Commission Co-founder: VDM-Europe + FME: Formal Methods Europe First & Founding Director: UNU/IIST Weitere Informationen über den Vortragenden finden Sie auf www.imm.dtu.dk/~db ------------------------------------------------------------------------ Kontaktperson an der TU Wien: Prof. Dr. Georg Gottlob Tel. 58801-18420, email gottlob@dbai.tuwien.ac.at Die Finanzierung dieser Veranstaltung erfolgt durch das Institut für Informationssysteme und die TU Wien ------------------------------------------------------------------------ Die Fakultät für Informatik erhält Sponsorgelder u.a. von - Siemens AG Österreich - Austrian Research Centers Seibersdorf - Sun Microsystems - Caramba Labs Software AG