Abstract | ||
---|---|---|
One of the central aspects in an Information System is the meaning of data in the external world and the information carried by them. We propose a Constructive Object Oriented Modeling Language (COOML) for information systems, based on a constructive logic of pieces of information. The focus is on the definition of a data model suitable for organizing the information stored in OO systems. The underlying constructive logic supports a correct way of storing, exchanging and elaborating information. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1016/j.entcs.2005.08.006 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
constructive object oriented modeling,information systems,underlying constructive logic,constructive logics,central aspect,oo system,object oriented data models,data model,external world,information system,constructive logic | Information system,Intuitionistic logic,Object-oriented modeling,Data modeling,Constructive,Computer science,Theoretical computer science,Object oriented data model,Data model | Journal |
Volume | Issue | ISSN |
153 | 1 | Electronic Notes in Theoretical Computer Science |
Citations | PageRank | References |
5 | 0.46 | 8 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mario Ornaghi | 1 | 363 | 47.32 |
Marco Benini | 2 | 16 | 4.85 |
Mauro Ferrari | 3 | 93 | 16.05 |
Camillo Fiorentini | 4 | 121 | 21.00 |
Alberto Momigliano | 5 | 221 | 24.78 |