Objetivo
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.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
- ciencias naturales informática y ciencias de la información base de datos
- ciencias naturales informática y ciencias de la información software software de aplicación
Para utilizar esta función, debe iniciar sesión o registrarse
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Datos no disponibles
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Datos no disponibles
Coordinador
3078 EVERBERG
Bélgica
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.