Project Details
Description
The Working Group addresses the need for advanced modeling and specification techniques for developing information systems. The emphasis is on distribution, concurrency and real-time issues as well as default engineering.
The objectives of the working group are to explore foundations for specifying, analysing and developing widley distributed information systems at a high level of abstraction. Special emphasis is put on specification concepts for full concurrency of sites, modes of interaction among sites, real-time constraints, and defaults. The specification concepts are based on logics providing the necessary deductive capabilities implementation, validation, verification, and maintenance tools.
| Status | Finished |
|---|---|
| Effective start/end date | 01.02.1997 → 31.03.2000 |
Collaborative partners
- Johannes Kepler University Linz (lead)
- Facultis Universitaires Notre Dame de la Paix Namur, Eric Dubois (Project partner)
- Fraunhofer Gesellschaft - Institut für Software- und Systemtechnik Berlin, Ralf-Detlef Kutsche (Project partner)
- Instituto Superior Ticnico Lisboa, Ammlcar Sernadas (Project partner)
- OBLOG Software Lisboa, Pedro Inacio (Project partner)
- Otto-von-Guericke-Universität Magedeburg, Gunter Saake (Project partner)
- Technische Universität Braunschweig, Hans-Dieter Ehrich (Project partner)
- Universität Hannover, Udo Lipeck (Project partner)
- Universiti d'Evry - Val d'Essonne, Gilles Bernot (Project partner)
- University of Birmingham (Project partner)
- hup Braunschweig, Clemens Müller (Project partner)
- Vrije Universiteit Amsterdam (Project partner)
Fields of science
- 102 Computer Sciences
- 102015 Information systems
- 102030 Semantic technologies
- 502050 Business informatics
- 102010 Database systems
- 102035 Data science
- 502058 Digital transformation
- 503008 E-learning
- 509026 Digitalisation research
- 102033 Data mining
- 102027 Web engineering
- 102028 Knowledge engineering
- 102016 IT security
- 102025 Distributed systems
JKU Focus areas
- Digital Transformation
-
View Integration of Behavior in Object-oriented Databases
Preuner, G., Conrad, S. & Schrefl, M., Mar 2000.Research output: Working paper and reports › Research report
-
View Integration of Object Life-cycles in Object-oriented Design
Preuner, G. & Conrad, S., Mar 2000.Research output: Working paper and reports › Research report
-
Consistency Management in Object-Oriented Databases
Oakasha, H., Conrad, S. & Saake, G., Jun 1999, Proceedings of the 1st ECOOP 1999 Workshop on Object-Oriented Databases, Lisbon, Portugal, June 15, 1999. A. de Miguel, E. Ferrari, G. Kappel, G. Guerrini, I. Merlo (ed.). p. 97-108 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review