Objectif
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.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- sciences naturelles informatique et science de l'information bases de données
- sciences naturelles informatique et science de l'information logiciel logiciel d’application
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Données non disponibles
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Données non disponibles
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Données non disponibles
Coordinateur
3078 EVERBERG
Belgique
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.