UNIGE document Chapitre d'actes
previous document  unige:46593  next document
add to browser collection
Title

Six Spaces for Global Information Systems Design
Authors
Falquet, Gilles
Leonard, Michel Paul
Estier, Thibault
Guyot, Jacques
Published in Assche, F. & Moulin, B. & Rolland, C. Proceedings of the IFIP TC8/WG8.1 Working Conference on the Object Oriented Approach in Information Systems. Quebec (Canada) - 28-31 October 1991 - Amsterdam: North-Holland. 1991, p. 343-360
Abstract 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.
Identifiers
ISBN: 9780444892096
Full text
Proceedings chapter (Author postprint) (91 Kb) - public document Free access
Other version: https://www.researchgate.net/publication/2810493
Structures
Faculté d'économie et de management / Institute of Information Service Science
Research group Institute of Information Service Science (ISS)
Citation
(ISO format) 		FALQUET, Gilles et al. Six Spaces for Global Information Systems Design. In: Assche, F. & Moulin, B. & Rolland, C. (Ed.). 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. https://archive-ouverte.unige.ch/unige:46593

431 hits

53 downloads

Contact an author

Update request

Update

Deposited on : 2015-02-12

Export document
Format :
Citation style :