REWERSE-DEL-2008-A1-D10-2

Hans Jürgen Ohlbach:
Hans Jürgen Ohlbach (editor):
Implementation: The CTTN-System, Version 2007.


Complete Text [
.pdf, 1.61MB]
In: (A1-D10-2)

Abstract
The CTTN-system is a computer program which provides advanced processing of temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time intervals, labelled partitionings of the time line, granularities, and calendar systems. The labelled partitionings and granularities are used to model periodic temporal notions, quite regular ones like years, months etc., partially regular ones like timetables, but also very irregular ones like, for example, dates of a conference series. These data structures can be used in the temporal specification language GeTS (GeoTemporal Specifications). GeTS is a functional specification and programming language with a number of built-in constructs for specifying customised temporal notions. CTTN is implemented as a Web server and as a C++ library. This document gives a detailed overview over the current state of the system and its components.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-DEL-2008-A1-D10-2

BibTeX:

@deliverable{REWERSE-DEL-2008-A1-D10-2,
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-DEL-2008-A1-D10-2}
}