Abstract
We describe a new method for reasoning about conceptual models of information systems developed in the deductive approach. The method allows checking the effect of external events on the Information Base and generating plans able to perform a transition between two states of the Information Base. Our method has the full power of the methods developed so far for the traditional, operational approach to conceptual modelling. The reasoning capabilities provided by our method are helpful and improve the validation task of conceptual models of information systems.
Author supplied keywords
Cite
CITATION STYLE
Costal, D., & Olivé, A. (1992). A method for reasoning about deductive conceptual models of information systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 593 LNCS, pp. 612–631). Springer Verlag. https://doi.org/10.1007/BFb0035156
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
