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.
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.
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
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
IS-CORE - 6071, August 1994
please address enquiries to the ESPRIT Information Desk
html version of synopsis by Nick Cook