A Constructive Object Oriented Modeling Language for Information Systems
Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini and Alberto Momigliano
Electronic Notes in Theoretical Computer Science
The central aspect in an Information System is the meaning of data in the external world and the information carried by them. We propose a Modeling Language for Object Oriented Information Systems based on a constructive logic of the pieces of information, where the focus is on the meaning of data and on the correct way of storing, exchanging and elaborating information. Although the research work presented in this paper is still preliminary, we believe that its potential applications are of interest for the community.