En un sentido general, un modelo es "una abstracción de algo con el propósito de entenderlo antes de construirlo". Los modelos omiten detalles no esenciales, facilitando así el análisis de las propiedades de entidades demasiado complejas para ser entendidas directamente.…

Data integration is the process of unifying data sharing some common semantics but are originated from unrelated sources. In our work we consider these sources are autonomous, heterogeneous and they are physically distributed. These three characteristics make the integration task…

Semantic Web is an extension of the current web in which data contained in the web documents are machine-understandable.
On the other hand, Web Services provide a new model of the web in which sites exchange dynamic information on demand.

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…