Inproceedings: an article in a conference proceedings.
Six Spaces for Global Information Systems Design
Title of the conference
Proceedings of the IFIP TC8/WG8.1 Working Conference on the Object Oriented Approach in Information Systems
Québec City, Canada
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.
Last modification date