Integrating Database Technology, Rule-Based Systems and Temporal Reasoning for Effective Software


TEMPORA - 2469

Keywords software engineering, data modelling, process modelling, rule-based business information systems, temporal databases and temporal logic


Start Date: 01-JAN-89 / Duration: 61 months

[ contact / participants ]


Objectives and Approach

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.

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.

Progress and Results

The project will be completed at the end of 1993. After having defined the architecture and the operating principles of the TEMPORA system, the project has implemented the tools necessary to support both the modeling phase and the run-time exploitation phase, and has successfully integrated them in a running demonstrator, which is being tested on a full scale case study. Remaining work concerns the final testing and documentation of the demonstrator.

The TEMPORA technology offers the following advantages:

The results at the end of 1993 will include the TEMPORA methodology, and the various tools which comprise the TEMPORA system: conceptual level capture tools, schema generators and rule compilers which generate the application software, a run-time system including a rule manager operating on top of a relational database and able to manage temporal rules.

Exploitation

Industrial exploitation of the system by the consortium will be based on the exploitation of specific modules, such as the rule manager and the interactive graphical modeling tools, and on the exploitation of the methodology itself. The technology has already been applied successfully in commercial software development project during the lifetime of TEMPORA itself.


CONTACT POINT

Dr Jean-Louis Binot
BIM SA
Kwikstraat 4
B - 3078 EVERBERG
tel: + 32/ 2-7595925
fax: + 32/ 2-7594795

Participants

BIM SA/NV - B - C
HITEC LTD - GR - P
IMPERIAL COLLEGE OF SCIENCE,
TECHNOLOGY & MEDICINE - UK - P
LOGIC PROGRAMMING ASSOCIATES LTD - UK - P
SINTEF - N - P
SWEDISH INSTITUTE FOR SYSTEMS
DEVELOPMENT (SISU) - S - P
UMIST - UK - P
UNIVERSITE DE LIEGE - B - P


ST synopses home page ST acronym index ST number index
All synopses home page all acronyms index all numbers index

TEMPORA - 2469, December 1993


please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook