Band 46, Heft 5

Portlets are Java technology based web components, managed by a portlet container, that process requests and generate dynamic content. They are used by portals as pluggable user interface components that provide a presentation layer to Information Systems. After servlets portlets are the next step in web application programming, as they allow the integration of different applications into one consistent view for the end-user. They enable modular and user centric web applications and thus go beyond the servlet model where the web application is one monolithic block. In this article we present the JSR 168 Java Portlet Specification and explain its underlying concepts. We show a Portlet example and discuss how portlets interact with other Java technologies.

In the last few years, Internet Portals have evolved from proprietary solutions to frameworks supporting open standards for portal applications, commonly called portlets. Despite this evolution, portals supporting data access on multiple devices are still in their infancy. The differences in the capabilities of the supported devices and the used protocols are significant. While there are some answers on the horizon for presenting applications on multiple devices, such as JSR 188 and new markup languages like RIML, we are still missing solutions supporting multi modal devices on portals.

Zusammenfassung Wir stellen ein Web-basiertes System zur Abwicklung des Übungsbetriebs im Grundstudium Technische Informatik an der FernUniversität vor. Das System umfasst drei Komponenten: ein Entwurfswerkzeug zur leichten Eingabe von Digitalschaltungen und der Möglichkeit der Selbstkontrolle ihrer Korrektheit, ein Web-gestütztes System zur Einreichung der Schaltungen und Rücksendung der korrigierten Einsendungen und ein Modul zum halbautomatischen Test der Korrektheit der eingesandten Schaltungen. Wir berichten weiterhin über die positiven Erfahrungen während des Pilotbetriebs und über die positiven Ergebnisse der Evaluation des ersten Einsatzes in einem Kurs mit mehreren Tausend Kursteilnehmern.

Zusammenfassung Übersetzer ( Compiler ) sind das Herzstück bei der Erstellung von Software, erlauben sie es doch, Programme in höheren Programmiersprachen zu schreiben, die dann mithilfe von Übersetzern in Maschinencode transformiert werden. Um zuverlässige Software zu erstellen, ist es daher unbedingt erforderlich, dass Übersetzer nachweislich korrekt arbeiten. Das DFG-Projekt Verifix , das gemeinsam in den Arbeitsgruppen von Prof. Goos (Universität Karlsruhe), Prof. v. Henke (Universität Ulm) und Prof. Langmaack (Christian-Albrechts-Universität zu Kiel) durchgeführt wurde, hat Methoden entwickelt, mit denen formal korrekte Übersetzer konstruiert werden können, ohne dass dabei Leistungseinbußen entstehen. In diesem Artikel stellen wir diese Methoden sowie unsere im Projekt erzielten Ergebnisse im Überblick vor.

Similar to all other types of information, geographic information is nowadays more and more processed in a digital manner (data acquisition, storage, analysis, presentation, etc.). In contrast to traditional administrative information systems, the geometric nature of the information requires specific attention when handling this information. In this Dagstuhl seminar representatives from different disciplines, namely Computer Science, Cartography, Geography, Geodesy, Image Processing, and Cognitive Psychology are brought together in order to exchange ideas and solve open problems.

Zusammenfassung In der Dissertation wurde das Konzept der Kommunikation durch Übertragung von Code statt Nachrichten, insbesondere in Form von mobilen Prozessen (“Agenten”), gründlich analysiert und ein Laufzeitsystem für mobile Agenten vorgestellt. Das System besitzt zum Teil neue Eigenschaften und bewies in einer Anwendung zur verteilten Suche deutliche Geschwindigkeitsvorteile. Als Fazit der Dissertation wird mobiler Code, eher als die noch einmal zusätzlichen Aufwand erfordernden mobilen Agenten, als wichtiger Mechanismus in kommenden verteilten Anwendungsplattformen gesehen.