Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Prof. Gregor v. Bochmann, Ph.D., School of Information Technology and
Engineering, University of Ottawa:
>From Workflow and Use Case Scenarios to Protocols for Distributed
Applications
Beginn: 01.08.2006, 17:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 160
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2006-08-01-bochmann.html
Kontakt: Prof. Dr. Bernhard Rumpe
UML Use Case Diagrams are a first step towards the definition of system
requirements, however, they do not provide enough information for many
purposes. UML Activity Diagrams (AD) and Use Case Maps (UCM) provide
such information in a quite comprehensive manner. The first part of
my talk deals with a "Core Scenario Model" (CSM) which was developed to
capture the common semantics of AD and UCM, as well as performance-related
information.
The CSM can be easily translated into Petri nets, and it is also
related to the BPEL notation of Web Services, which could be taken as an
implementation environment. In the second part of my talk, I will discuss
how one can derive an application protocol from system requirements
Given in the form of such notations together with a distributed system
architecture that identifies a certain number of system components. The
resulting protocol will define the behavior of all the system components
in such a manner as to ensure the given requirements. This problem is
relatively easy to solve if each choice between alternative actions in the
requirements can be performed by one of the components alone, however,
it becomes quite complex if information from several components must be
considered for doing such choices. We also discuss how the concept of
(distributed) transactions, in the sense of databases, can be integrated
into the description of requirements.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Dr. Stephen Kay, Professor of Health Informatics SHIRE, University of
Salford, U.K.:
The Elusive Electronic Health Record
Beginn: 17.07.2006, 17:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 160
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2006-07-17-kay.html
Kontakt: Prof. Dr. Reinhold Haux
The Electronic Health Record (EHR) is now politically important. It has
always, of course, been important to the discipline of Medical/Health
Informatics and in many ways it has been the defining ‘Grand
Challenge’ for its research. Many governments at this time, however, are
taking an aggressive and positive response to the EHR as ‘solution’,
and are actively promoting its rapid development, standardization,
and utilization.
The EHR has been given the role of panacea; one which will not only solve
the immediate and on-going problems of sub-standard care, but will also
simultaneously cure the problems and expense associated with the means of
its delivery. This ‘cure-all’ factor is driving governmental policy
to implement the EHR as soon as possible. It is in many ways a political
leap of faith with the expectation that all the anticipated benefits
will be realized once “this so-called silver-bullet technology” is
widely implemented.
Putting to one side for the moment the potential beneficial outcomes,
it is a valid question to ask why there should be all the political
interest now, particularly given that the EHR concept is not new. Indeed,
the EHR is almost as old as the computers on which it depends. What
then is it about the EHR that has successfully shifted the attention of
the powerful to what is apparently merely a simple means of documenting
health care and its associated processes in an electronic medium?
Furthermore, it is generally acknowledged that there is very little hard,
specific evidence available to justify the grand claims being made on
behalf of the EHR. Yet given the political imperative to implement,
there would also seem to be no requirement for finding any new evidence
as to whether or not the EHR path should be taken. It simply will be. The
emphasis on implementation, however, poses serious questions as to what,
if any, research is required with respect to the EHR and, perhaps more
fundamentally, whether or not the discipline of Health Informatics has
a future.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Prof. Dr. Wilhelm Schäfer, AG Softwaretechnik, Institut für Informatik,
Universität Paderborn:
Ein UML-basierter Ansatz für die Modellierung, Verifikation und
Implementierung der Informationsverarbeitung in mechatronischen Systemen -
Mechatronic UML
Beginn: 06.07.2006, 17:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 160
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2006-07-06-schaefer.html
Kontakt: Prof. Dr. Bernhard Rumpe
Am Beispiel des Projekts Neue Bahntechnik Paderborn wird der, in der
Arbeitsgruppe Softwaretechnik im Rahmen des SFB 614 entwickelte Ansatz zur
Spezifikation und Analyse der Informationsverarbeitung in mechatronischen
Systemen vorgestellt.
Der Ansatz beruht auf einem gemeinsamen hierarchischen Architekturmodell
für alle Systemkomponenten sowie einer speziellen Anpassung und
Erweiterung der UML (Unified Modelling Language) und wird Mechatronic-UML
genannt.
Durch hybride Schnittstellen erweiterte UML-Komponentendiagramme
unterstützen die formale Abbildung des obigen Architekturmodells sowie
eine syntaktische Konsistenzprüfung der verschiedenen Systemebenen
und die korrekte Einbettung kontinuierlicher Systembeschreibungen. Zu
Realtime-Statecharts erweiterte Statecharts, die durch eine Abbildung
auf „Timed Automata“ eine formale Semantik erhalten, ermöglichen
das „Model Checking“ des Systemverhaltens und damit die formale
Überprüfung von sicherheitsrelevanten Eigenschaften. Letztlich wird der
Ansatz zur Zeit durch die Möglichkeit mit Graphtransformationssystemen
komplexere Verhalten beschreiben zu können, erweitert.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Dr. Stephen Kay, Professor of Health Informatics SHIRE, University of
Salford, U.K.:
The Elusive Eletronic Health Record
Beginn: 17.07.2006, 17:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 160
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2006-07-17-kay.html
Kontakt: Prof. Dr. Reinhold Haux
The Electronic Health Record (EHR) is now politically important. It has
always, of course, been important to the discipline of Medical/Health
Informatics and in many ways it has been the defining ‘Grand
Challenge’ for its research. Many governments at this time, however, are
taking an aggressive and positive response to the EHR as ‘solution’,
and are actively promoting its rapid development, standardization,
and utilization.
The EHR has been given the role of panacea; one which will not only solve
the immediate and on-going problems of sub-standard care, but will also
simultaneously cure the problems and expense associated with the means of
its delivery. This ‘cure-all’ factor is driving governmental policy
to implement the EHR as soon as possible. It is in many ways a political
leap of faith with the expectation that all the anticipated benefits
will be realized once “this so-called silver-bullet technology” is
widely implemented.
Putting to one side for the moment the potential beneficial outcomes,
it is a valid question to ask why there should be all the political
interest now, particularly given that the EHR concept is not new. Indeed,
the EHR is almost as old as the computers on which it depends. What
then is it about the EHR that has successfully shifted the attention of
the powerful to what is apparently merely a simple means of documenting
health care and its associated processes in an electronic medium?
Furthermore, it is generally acknowledged that there is very little hard,
specific evidence available to justify the grand claims being made on
behalf of the EHR. Yet given the political imperative to implement,
there would also seem to be no requirement for finding any new evidence
as to whether or not the EHR path should be taken. It simply will be. The
emphasis on implementation, however, poses serious questions as to what,
if any, research is required with respect to the EHR and, perhaps more
fundamentally, whether or not the discipline of Health Informatics has
a future.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Dr.-Ing. Jörg Diederich, Forschungszentrum L3S, Hannover:
Recommender Systeme vs. Ranking Algorithmen im WWW
Beginn: 03.07.2006, 17:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 160
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2006-07-03-diederich.html
Kontakt: Prof. Dr.-Ing. Lars Wolf
Recommender Systeme sind die Grundlage vieler eCommerce Systeme,
wie z.B. Amazon. Diese generieren personalisierte Empfehlungen
für jeden Benutzer aus einer bereits vorhandenen Grundmenge von
Empfehlungen. Ranking Algorithmen wie z.B. PageRank, auf dem die Google
Suchtechnologie basiert, nutzen die Linkstruktur des WWW, um jeder Seite
im Web einen numerischen Wert zuzuweisen, der die Wichtigkeit der Seite
widerspiegelt. Durch eine Sortierung nach dieser Wichtigkeit kann dabei
ebenfalls eine Empfehlungsliste generiert werden, die allerdings nur
bedingt durch eine Parametrisierung des Ranking Algorithmus personalisiert
werden kann.
In diesem Vortrag sollen beide Verfahren grundlegend erläutert und
miteinander verglichen werden. Anschließend soll anhand eines aktuellen
Forschungsvorhabens gezeigt werden, wie diese Verfahren erfolgreich
eingesetzt werden können.
