utzverlag

Stephanie Spranger: Calendars as Types

Stephanie Spranger

Calendars as Types

Data Modeling, Constraint Reasoning, and Type Checking with Calendars

This thesis investigates real-life calendars, calendar and time expressions, and time and date formats. The thesis aims at the development of computer-based tools for modeling and processing such calendric data. The realization is based on a programming language approach to time and calendars that essentially differs from logic-based and algebraic approaches. The thesis underlying this work is twofold: (1) »Calendar as Type«, i.e. time and calendar expressions are not modeled in a logic or an algebra but instead, by means of data types. The user is provided with a set of language constructs (so-called type constructors). Advantages of this approach are: user-friendly modeling, increase of efficiency and consistency, program and document annotation, and abstraction. (2) »Theory Reasoning«, i.e. problems such as appointment scheduling or travel planning are formulated in the environment of a constraint solver specific to arbitrary calendar domains (i.e. user-defined data types like »day« or »consultation hour«) rather than by axiomatization, commonly used with approaches based on ontology modeling and reasoning. The constraint solver refers to and relies on (user-defined) calendric types, it maintains the semantics of different calendric types like »day« and »consultation hour«, and it allows for efficient constraint solving with arbitrary calendric data.
Concerning Computer Science, this work is related to research in the area of modeling language design and design of language constructs for programming languages based on concepts and theories from research on type systems and constraint programming. Theoretical aspects of this work are the use of data types to model time and calendar expressions with type checking approaches and constraint solving over different domains referring to such calendric types. Practical aspects of this work are user-friendly language constructs for modeling calendars and calendric data and constraints which can be efficiently processed. Such specialized language constructs and processing tools for data that refer to a specific domain such as calendars and time are (or will be) important for several Semantic Web applications. Due to use of data types and type checking approaches to temporal and calendric data, the proposed tools can be integrated into any Web language.
The thesis shows perspectives for future research on using data types and specific inference algorithms (e.g. constraint solving) for modeling and reasoning on specific theories (e.g. topologies and locational data).

Leseproben

Inhaltsverzeichnis und Einleitung (pdf)

  • broschiert: 308 Seiten
    Format: 20,5 x 14,5
    ISBN 978-3-8316-0564-4
    Erschienen: 26.01.2006

    59,98 € (Preisbindung aufgehoben)

    wieder lieferbar ab ca. 06/2022

Ähnliche Bücher

  • Josef Adersberger: Modellbasierte Extraktion, Repräsentation und Analyse von Traceability-Informationen

    Josef Adersberger

    Modellbasierte Extraktion, Repräsentation und Analyse von Traceability-Informationen

    Diese Arbeit beschreibt und evaluiert die TraceML, eine Modellierungssprache für Traceability-Informationen. Traceability ist der Grad, in dem Zusammenhänge zwischen Erzeugnissen im Entwicklungsprozess von Software verfolgt werden können. Die Erhebung und Verarbeitung von Traceability-Informationen hilft dabei, die Komplexität moderner Softwareentwicklung besser zu beherrschen und diese damit...

  • Karl R. Brendel: Parallele oder sequentielle Simulationsmethode?

    Karl R. Brendel

    Parallele oder sequentielle Simulationsmethode?

    In Industrie und Wissenschaft sind parallele und verteilte Computersysteme schon seit vielen Jahren im Einsatz. Trotzdem werden heute vor allem im Bereich der Sozialwissenschaften fast alle existierenden Simulationsprogramme in einer sequentiellen Art und Weise auf Einprozessorsystemen ausgeführt.

  • Daniel Motus: Referenzmodell für die Montageplanung in der Automobilindustrie

    Daniel Motus

    Referenzmodell für die Montageplanung in der Automobilindustrie

    Die Montageplanung stellt eine Kernkompetenz der deutschen Automobilindustrie dar. Hier wird der Grundstein für die flexible, effiziente und marktfähige Produktion gelegt. Der Wettbewerbsvorteil der Informationstechnologiebereiche bei den OEMs liegt aus diesem Grund in der Unterstützung der wertschöpfenden Geschäftsprozesse und den dazu notwendigen Geschäftsobjekten.