Information systems modeling with CGs logic
This paper shows how to apply the conceptual graphs logic to information systems modeling. The graphs are not used as just another graphical representation of information system requirements, but the full power of this graphical logic system has been employed to fully and precisely capture type definitions, referential integrity constraints and global constraints. Such a logic based definition of an information system takes its semantics from a set of facts represented by fully instantiated simple conceptual graphs. An incremental validity checking procedures for adding new facts to a fact base have been defined and illustrated by an example.
Unable to display preview. Download preview PDF.
- Creasy, P., and Ellis, G. A Conceptual Graphs Approach to Conceptual Schema Integration. In Mineau, G.W., Moulin, B., and Sowa, J.F., editors, Conceptual Graphs for Knowledge Representation, pages 126–141. Springer-Verlag, Berlin, 1993.Google Scholar
- Boksenbaum, C., Carbonneill, B., Haemmerle, O., and Libourel, T. Conceptual Graphs for Relational Databases. In Mineau, G.W., Moulin, B., and Sowa, J.F., editors, Conceptual Graphs for Knowledge Representation, pages 345–360. Springer-Verlag, Berlin, 1993.Google Scholar
- Gardyn, E. Multiple Information Models. In Ellis, G., and Eklund, P., editors, Proceedings of the 1st Australian Conceptual Structures Workshop, pages 148–164. University of New England, Armidale, Australia, 1994.Google Scholar
- Guarino, N. Concepts, Attributes and Arbitrary Relations. lData and Knowledge Engineering 8 (1992), pages 249–261.Google Scholar
- Moulin, B. and Creasy, P. Extending the Conceptual Graph Approach for Data Conceptual Modelling. Data and Knowledge Engineering, 8(1992), pages 223–248.Google Scholar
- Makowsky, J.A. Model Theory and Computer Science: An Appetizer. In Abramsky, S., Gabbay, D.M., and Maibaum, T.S.E., editors, Handbook of Logic in Computer Science. Vol 1, Clarendon Press, Oxford, 1992.Google Scholar
- Sowa, J.F. Conceptual Structures — Information Processing in Mind and Machine. Addison-Wesley, Reading, Massachusetts, 1984.Google Scholar
- Sowa, J.F. Relating Diagrams to Logic. In Mineau, G.W., Moulin, B., and Sowa, J.F., editors, Conceptual Graphs for Knowledge Representation, pages 345–360. Springer-Verlag, Berlin, 1993.Google Scholar
- Sowa, J.F., and Zachman, J.A. Extending and Formalizing the framework for Information Systems Architecture. IBM Systems Journal 31, 3.Google Scholar
- Wermelinger, M. Conceptual Structures Linear Notation — Proposal for Pierce. In Eklung, P., and Ellis, G., editors, Proceedings of the Fourth International Workshop on PIERCE: A Conceptual Graphs Workbench, pages 106–125. University of California Santa Cruz, CA, August, 1995.Google Scholar