Ziel
This project addresses the problem of developing reliable, flexible and maintainable business information systems. It builds on the results of an earlier ESPRIT project (RUBRIC) which developed a paradigm for specifying a business system by a set of rules reflecting the business environment. The goal of TEMPORA is to apply and further extend this paradigm in two directions.
The means by which the executable temporal logic paradigm known as the declarative past and imperative future can be used to describe the query and updating of databases is presented. The implicit representation of time and evolving facts in a historical database is discussed, and how temporal logic is used as its query language. A set of temporal logic specifications is added to a historical database and the executable temporal logic paradigm is applied to the resulting system to model updates; this is achieved by a combination of the declarative and imperative readings of temporal formulae provided by this paradigm. The effects of altering of information about the past on the validity of past actions is described, and methods by which the database may be made consistent again with respect to the specification are outlined.
The project addresses the problem of developing reliable, flexible and maintainable business information systems. It has built on the results of an earlier ESPRIT project which developed a paradigm for specifying a business system by a set of rules reflecting the business environment. The goal of this project is to apply and further extend the paradigm in 2 directions.
The paradigm is integrated with a state of the art database management system (DBMS) for exploitation in an industrial environment, supported by further development of existing tools for supporting the design discipline of the rule based paradigm and the delivery of application software.
The rule based paradigm is extended to allow the explicit modelling of dynamic and temporal information.
Work concentrated on designing the architecture and the operating principles of the systems as well as on developing key prototype tools for both the modelling the run time phase of the information system. The strategy and tools were successfully tested. In the second phase of the project emphasis was put on further integrating the different components of the architecture as well as on optimizing the dynamic and temporal aspects. The interaction between the user and the information system is studied and tools developed to support that process. Finally the Tempora information system development strategy will be specified in an integrated way and the design methodology will be made explicit and will be formalized.
First the paradigm is integrated with a state-of-the-art RDBMS for exploitation in an industrial environment. This is supported by the development of tools for supporting the design discipline of the rule-based paradigm and the delivery of application software.
Second, the rule-based paradigm is extended to allow the explicit modelling of dynamic and temporal information. This is achieved by using a temporal logic-like language for expressing the rules. This extension is integrated into the design discipline and its exploitation in the run-time environment.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
- Naturwissenschaften Informatik und Informationswissenschaften Datenbank
- Naturwissenschaften Informatik und Informationswissenschaften Software Anwendungssoftware
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Daten nicht verfügbar
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Daten nicht verfügbar
Koordinator
3078 EVERBERG
Belgien
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.