Work Area: Advanced, Cooperative Transaction Models for Database Systems, Powerful Specification Language
Keywords object-oriented database systems, transaction management, cooperative work, specification languages for database systems
Start Date: to be announced / Status: starting
[ participants / contact ]
Abstract TRANSCOOP is developing a language for defining different kinds of cooperative tasks and a transaction model that can be parameterised to support the execution of different kinds of such tasks as defined by the specification language. The definition of a formal model to prove that the transaction management scheme meets the requirements of cooperative tasks defined in the language is also being undertaken.
In most organisations much of the work is done in teams involving several persons on a single task. Today's electronic tools mostly aim to support a single user only. The cooperative working process is either not supported at all, or users are forced to cope with uncomfortable mechanisms like "user locks". The goal of TRANSCOOP is to develop a cooperative transaction management scheme based on a requirement analysis of selected application scenarios. The scheme consists of a language and a toolset for specifying cooperative tasks, a transaction model that guides the realisation of the database support for the language, formalisms that make it possible to precisely analyse properties of the specifications, and cooperative transactions executing concurrently in the environment.
The research effort proposed for TransCoop addresses and stimulates scientific and technical problems at two levels:
This will be done by utilising results and prototypes of GMD-IPSI and U. Twente. The specification language to be developed will be based on a combination of TM and LOTOS. The processing support for cooperative transactions will be derived from the VODAK open nested transaction model, which already utilises semantics of operations. The formal correctness of the specification language and the correct implementation of specifications by the cooperative transaction processing support will be shown formally. A prototype including a demonstrator will be designed and implemented to demonstrate the concepts. Components of existing prototypes of TM, LOTOS and VODAK open nested transactions will be used for the implementation.
Utilising a high level specification language and database technology in terms of a cooperative transaction model will make it much easier to design and construct collaborative environments. Availability of such basic mechanisms will have serious impact on the construction of cooperative tools. The results of TransCoop will be exploited by small spin-off IT companies, and each partner will use the results of the project for subsequent research and development. The results are to be made known to standardisation bodies, whenever appropriate. In particular, ISO/SWG-EDI is a relevant body to be informed.
Further information about TRANSCOOP is available from the GMD (DE) <URL:http://este.darmstadt.gmd.de:5000/dimsys/transcoop/home.html> or Twente (NL) <URL:http://wwwtranscoop.cs.utwente.nl:8080/>.
Gesellschaft für Mathematik und Datenverarbeitung - D
D- 64293 DARMSTADT
Universiteit van Twente - NL
Technical Research Centre of Finland (VTT) - SF
Prof. Dr. Erich J. Neuhold
TRANSCOOP - 8012, August 1994
please address enquiries to the ESPRIT Information Desk
html version of synopsis by Nick Cook