Auflistung nach Autor:in "Linnemann, Volker"
1 - 7 von 7
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragMobiles Computer Aided Facility Management(Datenbanksysteme in Business, Technologie und Web (BTW 2007) – 12. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme" (DBIS), 2007) Buck, Olaf; Gajcy, Robert; Linnemann, VolkerDas Gebiet des Computer Aided Facility Management (CAFM) beschäftigt sich mit der Unterstützung der Verwaltung und Bewirtschaftung von Gebäuden, Anlagen und Einrichtungen in ihrer Nutzungsphase durch die Informationstechnik. Während nicht-mobile CAFM-Systeme inzwischen weit verbreitet sind, befindet sich der Bereich der mobilen CAFM-Systeme noch weitgehend im Anfangsstadium. Mobilität bedeutet in diesem Zusammenhang, dass Liegenschaftsdaten nicht nur von einem stationären PC aus abrufbar und änderbar sind, sondern auch von einem mobilen Gerät. Dieses kann direkt im betrachteten Gebäude von Personen, die mit der Bewirtschaftung und Verwaltung eines Gebäudes betraut sind, verwendet werden. In dieser Arbeit werden die Entwicklung von Benutzerschnittstelle und Architektur eines mobilen CAFM-Systems beschrieben, das im Rahmen einer Diplomarbeit als Erweiterung des seit langem im Einsatz befindlichen CAFM-Systems consultware® der Firma PietschCONSULT GmbH in Lübeck realisiert wurde
- ZeitschriftenartikelSprachen und Werkzeuge zur Generierung von HTML- und XML-Dokumenten(Informatik-Spektrum: Vol. 25, No. 5, 2002) Linnemann, Volker; Kempa, MartinInhalte von Webseiten werden heute zu einem großen Teil beispielsweise mit Hilfe des Inhalts von Datenbanken oder aus aktuellen Daten wie Aktienkursen oder Wetterdaten dynamisch generiert. Es gibt eine Fülle von Sprachen für die Realisierung solcher Webanwendungen.Summary. Nowadays, contents of web pages are very often generated dynamically, for example by integrating the results of data base queries or by using up to date stock exchange data or weather data. Numerous languages exist for implementing these web applications. In this paper, some languages are considered which, at least in part, are concerned with the generation of HTML- or XML-Documents. It is shown that, besides being rather complicated, these languages allow to ”prove” the validity of the generated structures only at runtime. A proposal which is currently being developed in Lübeck allows to check the validity of the generated HTML- and XML-documents at compile time.
- ZeitschriftenartikelSprachliche Formulierung rekursiver und iterativer Anfragen in Datenbanksystemsn(Informatik Spektrum: Vol. 17, No. 3, 1994) Linnemann, Volker; Pampel, Holger
- KonferenzbeitragType checking in XOBE(BTW 2003 – Datenbanksysteme für Business, Technologie und Web, Tagungsband der 10. BTW Konferenz, 2003) Kempa, Martin; Linnemann, VolkerXML is the upcoming standard for internet data. Java is the most important programming language for internet applications. Nevertheless, in today's languages and tools there is no smooth integration of Java and XML. The XML OBjEcts project (XOBE) at the University of Lübeck addresses this mismatch by defining XML objects by XML schemas and by making them to first-class data values. In XOBE, the distinction between XML documents and XML objects no longer exists. Instead, a running XOBE program works only with XML objects. XML documents in text form with explicit tags exist only for communicating with the outside world. This approach allows to check the validity of all XML objects within a program statically at compile time. This is accomplished by XML constructors. Previously generated XML objects are inserted in these constructors such that the validity can be checked at compile time. This paper concentrates on the type checking algorithm in XOBE which is used, among others, for checking the correctness of assignment statements involving XML objects. The type checking algorithm assures that all XML objects that can occur dynamically on the right hand side of an assignment statement are objects that can be assigned to the variable on the left hand side. This type checking is done statically without running the program. The algorithm is based upon regular hedge grammars and regular hedge expressions.
- KonferenzbeitragType safe programming of XML-based applications(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Kempa, Martin; Linnemann, VolkerThere is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML structures statically at compile time of an XML-based application. In the XOBE (XML OBJECTS) project we extend the object-oriented programming language Java by new language constructs. XML Schema is used for describing sets of valid XML documents. An XML schema provides a vehicle to define new classes, i.e. each element declaration in a schema defines a new class of objects (XML objects). Each object within a class represents an XML structure which is valid according to the underlying XML schema. XML objects are created by a new language construct called XML object constructor. XML object constructors are expressed in XML syntax. Previously generated XML objects can be inserted according to the declared XML schema. The main focus of the paper is the type system of XOBE. Among others, this type system provides the basis for checking the validity of assignments of XML objects to variables. The type system will be described and we present formally a type checking algorithm based on this type system.
- KonferenzbeitragValid updates for persistent XML objects(Datenbanksysteme in Business, Technologie und Web, 11. Fachtagung des GIFachbereichs “Datenbanken und Informationssysteme” (DBIS), 2005) Schuhart, Henrike; Linnemann, VolkerXML has emerged as the industry standard for representing and exchanging data and is already predominant in several applications today. Business, analytic and structered data will be exchanged as XML between applications and web services. XQuery is a language designed and developed for querying, filtering and generating XML structured data and is currently being standardized by the World Wide Web Consortium(W3C). XQuery seems to become the query language in context of (native) XML databases. Moreover in the context of document management XQuery seems suitable for querying large collections of documents with more irregular and deeply nested data structures. Despite these promising features XQuery or more precisely its FLWOR expression lacks of any update capability. In this paper we present important results concerning the development of XOBEDBPL (XML OBjEcts DataBase Programming Language). XOBEDBPL is the successor of the XOBE project. XOBE integrates XML and XPath into the Java programming language. In XOBEDBPL XML objects can become persistent. Moreover, a new feature in XOBEDBPL is the integration of xFLWOR(extended FLWOR) expressions for updating and querying XML objects. XML updates and queries in XOBEDBPL are statically typechecked. Finally we perform experiments with the XOBEDBPL prototype showing that the performance of low level API-based interfaces can be improved, as well as the performance of related approaches.
- KonferenzbeitragVerbalisierung von Datenbanktransaktionen(BTW 2003 – Datenbanksysteme für Business, Technologie und Web, Tagungsband der 10. BTW Konferenz, 2003) Buck, Olaf Th.; Linnemann, VolkerDatenbanktransaktionen bestehen in der Regel aus mehreren Datenbankanweisungen und haben vielfältige Veränderungen des Datenbestandes zur Folge. Diese Veränderungen sind in der Regel für einen Anwender, der die Details der Transaktion nicht kennt, nicht direkt nachvollziehbar. Daher ist es wünschenswert, wenn dem Anwender eine natürlichsprachliche Erklärung der Auswirkung an die Hand gegeben werden kann, mit Hilfe derer er die Transaktion auf einem hohen Abstraktionsniveau nachvollziehen kann. Darüber hinaus ist es zur Erfüllung von Rechtsvorschriften, wie zum Beispiel für die Sicherstellung von Revisionssicherheit, notwendig, Strategien und Funktionen zur Verbalisierung von Datenbanktransaktionen zu entwickeln. Es wird in dieser Arbeit gezeigt, wie Transaktionen in einem geeigneten Format aufgezeichnet und mit Hilfe von Schablonen in natürliche Sprache übersetzt werden können. Abschließend wird ein System zur Realisierung dieser Funktionen vom Entwurf bis zur Implementierung beschrieben. Dieses wird zur Zeit bei mehreren Anwendern erfolgreich eingesetzt.