Animations-Framework in Java Systematische Animationsentwicklung mit Mehrschichtenarchitektur

Multimedia-Anwendungen und Animationen sind durch Dynamik gekennzeichnet. Die Dynamik muss sich in der Architektur der Anwendung niederschlagen. Eine M?glichkeit hierbei besteht darin, die Dynamik in einer speziellen Softwareschicht innerhalb einer Mehrschichtenarchitektur zu realisieren. Dieses Papier stellt ein Animations-Framework in Java vor, das diese Architektur JavaBeans-konform als muster-orientiertes Framework realisiert und somit die systematische Entwicklung von animierten Multimedia-Anwendungen in Java unterstützt.     

Das AutoMoDe-Projekt Modellbasierte Entwicklung softwareintensiver Systeme im Automobil

Die Entwicklung eingebetteter Software für Automobile ist inh?rent komplex und vereint verschiedene Entwicklungsphasen, mehrere fachliche Disziplinen, sowie verschiedene Akteure in beteiligten Unternehmen. Der AutoMoDe-Ansatz zur Entwicklung automotiver Software beschreibt Systeme auf verschiedenen Abstraktionsebenen und definiert schrittweise überg?nge zwischen diesen Ebenen. Neben der Definition geeigneter Ebenen werden zur Modellierung von Echtzeitsystemen ein einheitliches Berechnungsmodell sowie dom?nenspezifische Beschreibungstechniken verwendet. Automatisierte Anbindungen für Analyse und Synthese komplexer Softwaresysteme mit dem Ziel eines konsistenzbetonten Entwicklungsprozesses wurden realisiert. Die beschriebenen Techniken wurden in den Werkzeugprototypen AutoFocus integriert und im Zusammenspiel mit einer Werkzeugkette demonstriert.     

Lernen mit Kernen Support-Vektor-Methoden zur Analyse hochdimensionaler Daten

Dieser Beitrag erl?utert neue Ans?tze und Ergebnisse der statistischen Lerntheorie. Nach einer Einleitung wird zun?chst das Lernen aus Beispielen vorgestellt und erkl?rt, dass neben dem Erkl?ren der Trainingdaten die Komplexit?t von Lernmaschinen wesentlich für den Lernerfolg ist. Weiterhin werden Kern-Algorithmen in Merkmalsr?umen eingeführt, die eine elegante und effiziente Methode darstellen, verschiedene Lernmaschinen mit kontrollierbarer Komplexit?t durch Kernfunktionen zu realisieren. Beispiele für solche Algorithmen sind Support-Vektor-Maschinen (SVM), die Kernfunktionen zur Sch?tzung von Funktionen verwenden, oder Kern-PCA (principal component analysis), die Kernfunktionen zur Extraktion von nichtlinearen Merkmalen aus Datens?tzen verwendet. Viel wichtiger als jedes einzelne Beispiel ist jedoch die Einsicht, dass jeder Algorithmus, der sich anhand von Skalarprodukten formulieren l?sst, durch Verwendung von Kernfunktionen nichtlinear verallgemeinert werden kann. Die Signifikanz der Kernalgorithmen soll durch einen kurzen Abriss einiger industrieller und akademischer Anwendungen unterstrichen werden. Hier konnten wir Rekordergebnisse auf wichtigen praktisch relevanten Benchmarks erzielen.     

Forschungs- und Entwicklungsprojekte Virtuelle Maschinen: zSeries- und S/390-Partitionierung

Der gleichzeitige Betrieb mehrerer Gast-Betriebssysteme auf einem einzigen physischen Rechner unter einem Host-Betriebssystem ist eine leistungsfähige moderne Entwicklung. Bekannte Beispiele sind VMware für die IA32-Architektur sowie das Betriebssystem z/VM und die PR/SM-LPAR Einrichtungen der zSeries-Architektur. Die Nutzung eines Betriebssystems als Gast bedingt einen Leistungsverlust. Die als Partitionierung bezeichnete Zuordnung von Systemressourcen zu den einzelnen Gast-Betriebssysteme ist schwierig, wenn eine dynamische Anpassung an sich ändernde Lastprofile erforderlich ist. Diese Probleme lassen sich mittels Erweiterungen der Hardwarearchitektur adressieren, sowie durch Softwarestrukturen, welche diese Erweiterungen nutzen. Die Erweiterungen der Hardwarearchitektur gehen über das hinaus, was auf heutigen Rechnerarchitekturen wie IA32 oder Mips verfügbar ist. Der vorliegende Beitrag erläutert den optimalen Betrieb von Gast-Betriebssystemen und die begleitenden Partitionierungsmöglichkeiten auf der zSeries-Plattform und beschreibt die zusätzlichen Hardware- und Software-Einrichtungen, welche dies ermöglichen.     

An industrial application of symbolic model checking The TWIN elevator case study

Model checking techniques are recognized to provide reliable and copious results. Instead of examining a few cases only – as it is done in testing – model checking includes the whole state space in mathematical proofs of correctness. Yet, this completeness is seen as a drawback as the state explosion problem is hard to handle. In our industrial case study, we apply automated model checking techniques to an innovative elevator system, the TWIN by ThyssenKrupp. By means of abstraction and nondeterminism, we cope with runtime behaviour and achieve to efficiently prove our specification’s validity. The elevator’s safety requirements are exhaustively expressed in temporal logic along with real-world and algorithmic prerequisites, consistency properties, and fairness constraints. Beyond verifying system safety for an actual installation, our case study demonstrates the rewarding applicability of model checking at an industrial scale.     

Rekonstruktion von Software-Architekturen Ein Literatur- und Methoden-überblick zum Stand der Wissenschaft

Software-Architekturen werden aus verschiedenen Sichten beschrieben, die abh?ngig von den Anliegen sind, die mit der Beschreibung verfolgt werden. In vielen F?llen ist die Software-Architektur eines Systems nicht ausreichend beschrieben. Sichten müssen dann rekonstruiert werden, um für Planung von ?nderungen zur Verfügung zu stehen. Dieser Artikel fasst die in der wissenschaftlichen Literatur vorgeschlagenen Techniken zur Rekonstruktion von Software-Architektursichten zusammen und stellt sie den Sichten des Architekturentwurfs gegenüber. Anhand der Gegenüberstellung identifiziert er Forschungsbedarf.     

Die Beweisentwicklungsumgebung W\Omega -Mkrp

Zusammenfassung. Die Beweisentwicklungsumgebung -Mkrpsoll Mathematiker bei einer ihrer Hauptt?tigkeiten, n?mlich dem Beweisen mathematischer Theoreme unterstützen. Diese Unterstützung mu? so komfortabel sein, da? die rechnergestützte Suche nach formalen Beweisen leichter und insbesondere weniger aufwendig ist, als ohne das System. Dazu mu? die verwendete Objektsprache ausdrucksstark sein, man mu? die M?glichkeit haben, abstrakt über Beweispl?ne zu reden, die gefundenen Beweise müssen in einer am Menschen orientierte Form pr?sentiert werden und vor allem mu? eine effiziente Unterstützung beim Füllen von Beweislücken zur Verfügung stehen. Das im folgenden vorgestellte $\Omega$-Mkrp-System ist der Versuch einer Synthese der Ans?tze des vollautomatischen, des interaktiven und des planbasierten Beweisens. Dieser Artikel soll eine übersicht über unsere Arbeit an diesem System geben. Eingegangen am 24. Juni 1994 / Angenommen am 3. November 1995     

Flexible Autorisierung in Datenbank-basierten Web Service-F?derationen Unterstützung von stark und schwach gekoppelten Kollaborationsnetzwerken auf Web Service-Technologie

Die plattformunabh?ngige und organisationsübergreifende Web Services-Interoperabilit?t setzt ein leistungsf?higes und flexibles Autorisierungssystem voraus. In diesem Beitrag wird ein Zugriffskontrollsystem vorgestellt, welches sich durch das Zusammenspiel lokaler und verteilter Autorisierung auszeichnet. Im Zusammenhang mit lokaler Zugriffskontrolle, bei der Rechte innerhalb einer Organisation ausgewertet werden, stellt sich insbesondere die Herausforderung, Autorisierungsregeln zu konsolidieren: Da die Funktionalit?t von Web Services h?ufig auf weitere Anwendungen und Betriebsmittel wie Datenbanksystemen aufsetzt, ergeben sich Abh?ngigkeiten bezüglich der Autorisierung, die überprüft und eingehalten werden müssen. über eine verteilte Zugriffskontrolle wird der Aufbau von Kollaborationsnetzwerken erm?glicht. Der Augenmerk liegt im Folgenden auf schwach gekoppelten Zusammenschlüssen, die die Autonomie der beteiligten Organisationen beibeh?lt. Skalierbarkeit und Effizenz werden durch den Einsatz von rollenbasierter Zugriffskontrolle einerseits und dem Caching ?hnlicher, wiederkehrender Autorisierungen andererseits erreicht.     

DFG-Schwerpunktprogramm V3D2V^3D^2 hat Arbeit aufgenommen

Informatik-Forschung und Entwicklung   erschienenen Berichts über das DFG Schwerpunktprogramm [1] gibt dieser Beitrag einen überlick über die Ausrichtung des Schwerpunktprogramms, das mit dem Auftaktworkshop im Mai dieses Jahres seine Arbeit offiziell aufgenommen hat, und erl?utert kurz die Fragestellungen, die in den entsprechenden Teilprojekten bearbeitet werden.     

Formale objektorientierte Softwareentwicklung mit FOX{\cal F}{{\scriptstyle{\cal O}{\cal X}}}

Zusammenfassung.   Wir stellen die neue Methode vor, die auf die formale Entwicklung sequentieller, objektorientierter Softwaresysteme abzielt. ist eine synergetische Kombination aus der semiformalen Methode Fusion und der formalen Spezifikationssprache Object-Z. Die Methode unterscheidet ausdrücklich Analyse und Entwurf, um die Komplexit?t und die unterschiedlichen Aufgaben der Softwareentwicklung zu bew?ltigen. In jeder Entwicklungsphase werden Zustands- und Verhaltensspezifikationen in graphischer oder textueller Form erstellt. Wir geben Beweisverpflichtungen an, um zu gew?hrleisten, da? die entwickelten Spezifikationen formal konsistent und vollst?ndig sind, und da? das resultierende System zur Ausgangsspezifikation konform ist. Wir illustrieren die Anwendung von an einem einfachen Beispiel, einem Grapheditor. Eingegangen am 24. Dezember 1996 / Angenommen am 8.10.1997     

Lesetechniken für die Inspektion von Software-Anforderungsdokumenten Ein kontrolliertes Experiment zur Untersuchung der Effektivit?t und Verwendung von Zeit bei der Anwendung verschiedener Lesetechniken

Inspektion hilft bereits in frühen Phasen der Softwareentwicklung, die Qualit?t von Softwareprodukten zu bestimmen und Nachbearbeitungsaufwand einzusparen. Lesetechniken sind ein Ansatz, der die Aufmerksamkeit von Inspektoren beim individuellen Lesen auf bestimmte Fehlermengen lenken und dadurch die Arbeit mehrerer Inspektoren untereinander koordinieren soll. Diese Arbeit berichtet über ein Experiment, das einerseits die Effektivit?t und Effizienz mehrerer Lesetechniken auf individueller und auf Teamebene miteinander vergleicht und andererseits Zusammenh?nge der Verwendung von Lesezeit mit der Effektivit?t von bestimmten Inspektorengruppen untersucht.     

Communities of Public Service Support: Citizens engage in social learning in peer-to-peer networks

New Public Management and bureaucratic models fail to acknowledge the value of peer-to-peer cooperation between citizens as a resource for public service support. Social media enable citizens to create environments for sharing information about public services in Communities of Public Service Support. The success of this model for public service support depends on the availability of communities, the level of active participation, and the information content. This paper presents an empirical study of virtual communities of expats in The Netherlands. Our analysis shows that there is a wide variety of virtual expat communities with a high level of participation and valuable content. We conclude that virtual communities play an important role in public service support since they facilitate social learning between citizens.     

Modellierung und Simulation hybrider Systeme mit Smile

Zusammenfassung. Es wird eine werkzeugunterstützte Entwicklungsmethodik vorgestellt, die der Erstellung von Berechnungsmodellen für die Simulation hybrider physikalisch-technischer Systeme dient. Dafür werden verschiedene Modellbeschreibungstechniken dargestellt und klassifiziert, die anschlie?end in einen falltypischen Entwicklungsproze? eingebettet werden, der auf hybriden Erweiterungen von UML und Z basiert. Die Simulationsumgebung Smile (http://buran.fb10.tu-berlin.de/Energietechnik/EVT\_KT/smile/) erm?glicht schlie?lich die generische Erzeugung eines ausführbaren Simulators. Architektur und Kernkomponenten dieses Systems, wie beispielsweise L?sungsverfahren und Experimentshell, werden eingehender diskutiert. Ein Anwendungsbeispiel illustriert den beschriebenen Entwicklungsproze?. Eingegangen am 15. Juli 1999 / Angenommen am 12. November 1999     

Personalization in the public sector: An inventory of organizational and user obstacles towards personalization of electronic services in the public sector

The public sector more and more deploys personalized e-government services. Personalization offers great opportunities to make communication more effective and efficient, to infer and predict citizens' behavior and to even influence behavior. However, some drawbacks must be considered. Important organizational barriers hinder the implementation of personalized e-government services and important user obstacles, such as access, trust, control, and privacy, have to be overcome to make fruitful use of those personalized e-government services.     

Publishing public performance results on the Internet: Do stakeholders use the Internet to hold Dutch public service organizations to account?

This paper analyzes the relation between publishing public performance results on the Internet, stakeholder accountability, and the effectiveness and legitimacy of Dutch public service organizations. The empirical research focuses on Web sites with performance results of schools and hospitals. These results are published on the Internet by ‘third parties’ (government organizations, associations of public service organizations, and newspapers). Publications of performance results stimulate schools and hospitals to score better on performance indicators because they feel the ‘public eyes’ on them. However, the risk of a ‘performance paradox’ and adverse effects is great since strategic behavior may lead to higher scores but not improve the effectiveness of these organizations. The research provides moderate support for negative effects on the legitimacy of schools and hospitals which may be attributed to the sole use of the Internet as a medium for access to information and negligence of its communicative potential.