A Constructive Object Oriented Modeling Language for Information Systems

Authors:
Mario Ornaghi;Marco Benini;Mauro Ferrari;Camillo Fiorentini;Alberto Momigliano
Affiliations:
Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano, via Comelico 39, 20135 Milano, Italy;Dipartimento di Informatica e Comunicazione, Università degli Studi dell'Insubria, via Mazzini 5, 21100 Varese, Italy;Dipartimento di Informatica e Comunicazione, Università degli Studi dell'Insubria, via Mazzini 5, 21100 Varese, Italy;Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano, via Comelico 39, 20135 Milano, Italy;Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano, via Comelico 39, 20135 Milano, Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 6
Cited 6

Proofs as programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
The Unified Modeling Language user guide

The Unified Modeling Language user guide
The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
A Theory of Objects

A Theory of Objects
Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa

Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Tool support for validating UML and OCL models through automatic snapshot generation

SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology

Andrzej Grzegorczyk's Contribution to Computer Science

Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Snapshot Generation in a Constructive Object-Oriented Modeling Language

Logic-Based Program Synthesis and Transformation
Control Encapsulation: A Calculus for Exogenous Composition of Software Components

CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
A constructive approach to testing model transformations

ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Actions Over a Constructive Semantics for Description Logics

Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Andrzej Grzegorczyk's Contribution to Computer Science

Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk

Quantified Score

Hi-index	0.00

Visualization

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.