Oberseminar Arbeitsbereich Programmiersprachen SS2002

10/7/02

An XML document is considered as a semi-structured database, which evolves over time and can be used by different applications. As opposed to most schema languages that define a grammar and thus a closed-content model to define the format of an instance document (eg. XML Schema), an XInterface imposes constraints on structure and type of an instance document (similar to Schematron). This open-content model forms the base for sharing the instance document among different applications and provides every application with its own view of the data. The model features an explicit type hierarchy which enables easy data extension but guarantees backward compatibility with existing views. Access mechanisms are investigated to guarantee the validity of the dataset for all applications after modifications.

As a proof of concept we have implemented a tool that maps an interface definition into a class framework for accessing and modifying instance documents.

An der University of York wird zur Zeit Hat, ein Tracing-Werkzeug für die funktionale Sprache Haskell, entwickelt. Hat ermöglicht mehrere unterschiedliche Sichten auf eine Berechnung: Funktionen werden als endliche Abbildungen dargestellt, Redex Trails können von der falschen Ausgabe einer Berechnung rückwärts zur Fehlerstelle verfolgt werden und algorithmisches Debuggen lokalisiert Programmfehler halb-automatisch. Wir stellen sowohl die Benutzersicht als auch die wesentlichen der Implementierung von Hat zugrundeliegenden Techniken vor.