Proceedings chapter
Open access

Six Spaces for Global Information Systems Design

Published inProceedings of the IFIP TC8/WG8.1 Working Conference on the Object Oriented Approach in Information Systems, Editors Assche, F. & Moulin, B. & Rolland, C., p. 343-360
Presented at Quebec (Canada), 28-31 October 1991
PublisherAmsterdam : North-Holland
Publication date1991

We introduce a model for information systems specification which covers the spaces of data, semantic contexts, events, objects life-cycle, integrity constraints, and operating periods. For each one of these space we define a structure and its interpretation that allow to specify this particular aspect of the system. In this approach data and event structures are independent. It is the object life-cycle structure that binds processes to objects on which they operate. Semantic contexts make process and integrity constraints independent from the details of the data structure. The definition of operating period determine which integrity constraints are active and which processes are allowed to execute at a given time. When put together, these specifications form a global information system specification that can be checked for consistency and completeness and that can be used to predict global system's behavior.

Citation (ISO format)
FALQUET, Gilles et al. Six Spaces for Global Information Systems Design. In: Proceedings of the IFIP TC8/WG8.1 Working Conference on the Object Oriented Approach in Information Systems. Quebec (Canada). Amsterdam : North-Holland, 1991. p. 343–360.
Main files (1)
Proceedings chapter (Accepted version)
  • PID : unige:46593

Technical informations

Creation02/11/2015 8:46:00 PM
First validation02/11/2015 8:46:00 PM
Update time03/14/2023 10:49:42 PM
Status update03/14/2023 10:49:42 PM
Last indexation08/29/2023 2:45:24 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack