Information Systems: Correctness and Reusability

IS-CORE - 6071

Work Area: Databases, Information Retrieval and Multimedia

Keywords object-orientation, algebaic semantics, specification logics, default reasoning, conceptual modelling

Start Date: 1 September 92 / Duration: 36 months / Status: running

[ participants / contact ]

Abstract The action explores the theoretical and methodological foundations of object-oriented information systems development as a means of enhancing the potential for future breakthroughs in overcoming the limitations and deficiencies of traditional database and information system design (namely, verifiability, reusability, reconfigurability, adaptability, interoperability, inference capability, functional adequacy, and maintainability), using concepts, results and techniques from algebraic semantics, logics of specification, concurrency theory, theorem proving, as well as data and knowledge engineering.


The action aims to provide a more comprehensive account of the application of formal, object-oriented techniques to the whole development cycle of large-scale information systems, with emphasis on cooperative requirements analysis, conceptual modelling, specification, reification (implementation), certification, and reconfiguration. To this end, the action addresses the following research issues: semantic domains for object-oriented systems, languages and logics, coping with concurrency, transactional reification, interfacing, reconfiguration and distribution; modularisation and configuration techniques for specification in-the-large of object-based systems; joint use of several specification logics; default-based, modal specification techniques; compositional reasoning; abduction techniques in verification; object-oriented conceptual modelling; formal description of software development processes.


Most of the actual work is done within the following subgroups: SG1: semantic domains; SG2: concurrency; SG3: configuration; SG4: defaults and reasoning; SG5: conceptual modelling; and SG6: software development process. Work within each subgroup is carried out via e-m, in individual visits to other sites, and in working meetings held on average twice a year. The work is reflected in joint papers and monographs. Most participants have an active role in at least two subgroups. A general meeting (GM) is held once a year for overall coordination and strategic exchange of ideas, back to back with a workshop (WS) open to people from outside IS-CORE (both academia and industry). During the first year the following working meetings have taken place: SG1 meetings in Lisbon (October 5-6, 1992) and Oxford (March 29-31, 1993); SG3 meeting in Lisbon (November 2-4, 1992); SG4 meetings in London (December 4-5, 1992) and Hannover (June 1-3, 1993); SG5 meeting in Braunschweig (October 18-23, 1992). The GM/WS'93 are scheduled for September 1993 in Hannover.

Progress and Results


In the short term, exploitation of the results produced by IS-CORE will be possible within several R&D projects on languages and methods for information system design where the participants in IS-CORE are engaged, together with industrial partners. In the medium and long term, a wider impact on software engineering can be expected through more effective use of formal, object-oriented methods and specification languages. Work on deductive capabilities should also have an impact on knowledge engineering.

Latest Publications

Information Dissemination Activies

The 3rd IS-CORE Workshop open to outsiders on invitation is scheduled for September_93 in Hannover (the previous IS-CORE Workshops were both held in London). Proceedings of the 2nd IS-CORE Workshop are available. Also following the tradition of IS-CORE 3023 (1989-92), joint papers by members from different IS-CORE sites are to be the main dissemination vehicle. Almost thirty joint publications came out of IS-CORE 3023. A monograph on the comparative study of different approaches to the semantics of object-orientation is being prepared.


INESC, Technical University of Lisbon - P
Computer Science Group
Rua Alves Redol 9
Apartado 10105
P - 1017 LISBOA Codex


Gesellschaft für Mathematik und Datenverarbeitung - D
Universität Hannover - D
Technische Universität Braunschweig - D
Université de Paris Sud - F
Università di Genova - I
Katholiek Universiteit Brabant - NL
Universiteit van Amsterdam - NL
University of Oxford - UK
The Imperial College of Science, Technology and Medicine - UK


Prof. Dr. A. Sernadas
tel +351/1-3523870
fax +351/1-525843

LTR synopses home page LTR work area index LTR acronym index LTR number index LTR Working Groups index
All synopses home page all acronyms index all numbers index

IS-CORE - 6071, August 1994

please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook