[Acpc-l] Einladung zum Informatik-Kolloquium Prof. Dines Bjørner

[Werner Purgathofer]

I N F O R M A T I K - K O L L O Q U I U M  der  TU-WIEN

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
------------------------------------------------------------------------

Wenn Sie die Einladungen zum Informatik-Kolloquium nicht mehr erhalten
wollen, dann schreiben Sie das bitte an <wp@cg.tuwien.ac.at>. Sie werden
dann verlässlich aus dem Verteiler gestrichen.
--
  Werner Purgathofer             | Tel. +43(1)58801 18648
  Technische Universitaet Wien   | http://www.cg.tuwien.ac.at