Una de las fuerzas que estimuló el desarrollo de la tecnología de bases de datos fue la necesidad de garantizar la consistencia de los datos almacenados. A medida que estos artefactos de software evolucionaron, se tendió a soportar un mayor…

The term “Federated Databases” refers to the data integration of distributed, autonomous and heterogeneous databases. However, a federation can also include information systems, not only databases. When integrating data, several issues must be addressed. Here, we focus on the problem…

During the last years a lot of projects and lines of research have emerged from different proposals trying to find the best way to reach data integration. Two powerful techniques have appeared separately – ontology and contextual information – in…

En este documento presentamos una traducción de diagramas de clases UML complementados con expresiones OCL a expresiones Object-Z.
Nuestro fin es proveer una formalización de los modelos gráfico-textuales expresados mediante UML/OCL que permita aplicar técnicas clásicas de verificación y prueba…