{"id":55702,"date":"2018-03-09T22:43:23","date_gmt":"2018-03-09T22:43:23","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/incremental-integrity-checking-in-uml-ocl-conceptual-schemas\/"},"modified":"2018-03-09T22:43:23","modified_gmt":"2018-03-09T22:43:23","slug":"incremental-integrity-checking-in-uml-ocl-conceptual-schemas","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/diseno-y-componentes-de-sistemas-de-informacion\/incremental-integrity-checking-in-uml-ocl-conceptual-schemas\/","title":{"rendered":"Incremental integrity checking in uml\/ocl conceptual schemas"},"content":{"rendered":"

Tesis doctoral de Jordi Cabot Sagrera <\/strong><\/h2>\n

Integrity constraints play a fundamental role in the definition of conceptual schemas (css) of information systems. An integrity constraint defines a condition that must be satisfied in each state of the information base (ib). Hence, the information system must guarantee that the state of the ib is always consistent with respect to the integrity constraints of the cs. This process is known as integrity checking. Unfortunately, current methods and tools do not provide adequate integrity checking mechanisms since most of them only admit some predefined types of constraints. Moreover, the few ones supporting a full expressivity in the constraint definition language present a lack of efficiency regarding the verification of the ib. in this thesis, we propose a new method to deal with the incremental evaluation of the integrity constraints defined in a cs. We consider css specified in the uml with constraints defined as ocl invariants. We say that our method is incremental since it adapts some of the ideas of the well-known methods developed for incremental integrity checking in deductive and relational databases. The main goal of these incremental methods is to consider as few entities of the ib as possible during the evaluation of an integrity constraint. this is achieved in general by reasoning from the structural events that modify the contents of the ib. Our method is fully automatic and ensures an incremental evaluation of the integrity constraints regardless their concrete syntactic definition. the main feature of our method is that it works at the conceptual level. That is, the result of our method is a standard cs. Thus, the method is not technology-dependent and, in contrast with previous approaches, our results can be used regardless the final technology platform selected to implement the cs. In fact, any code- generation method or tool able to generate code from a cs could be enhanced with our method to automatically generate incremental constraints, with only minor adaptations. Moreover, the efficiency of the generated constraints is comparable to the efficiency obtained by existing methods for relational and deductive databases.<\/p>\n

 <\/p>\n

Datos acad\u00e9micos de la tesis doctoral \u00abIncremental integrity checking in uml\/ocl conceptual schemas<\/strong>\u00ab<\/h3>\n
    \n
  • T\u00edtulo de la tesis:<\/strong>\u00a0 Incremental integrity checking in uml\/ocl conceptual schemas <\/li>\n
  • Autor:<\/strong>\u00a0 Jordi Cabot Sagrera <\/li>\n
  • Universidad:<\/strong>\u00a0 Polit\u00e9cnica de catalunya<\/li>\n
  • Fecha de lectura de la tesis:<\/strong>\u00a0 27\/11\/2006<\/li>\n<\/ul>\n

     <\/p>\n

    Direcci\u00f3n y tribunal<\/h3>\n
      \n
    • Director de la tesis<\/strong>\n
        \n
      • Ernest Teniente L\u00f3pez<\/li>\n<\/ul>\n<\/li>\n
      • Tribunal<\/strong>\n
          \n
        • Presidente del tribunal: antoni Oliv\u00e9 ramon <\/li>\n
        • piero Fraternali (vocal)<\/li>\n
        • \u00f3scar Pastor l\u00f3pez (vocal)<\/li>\n
        • martin Gogolla (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n

           <\/p>\n","protected":false},"excerpt":{"rendered":"

          Tesis doctoral de Jordi Cabot Sagrera Integrity constraints play a fundamental role in the definition of conceptual schemas (css) of […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[4149,15596],"tags":[13034,123067,123066,123069,37680,123068],"class_list":["post-55702","post","type-post","status-publish","format-standard","hentry","category-diseno-y-componentes-de-sistemas-de-informacion","category-politecnica-de-catalunya","tag-antoni-olive-ramon","tag-ernest-teniente-lopez","tag-jordi-cabot-sagrera","tag-martin-gogolla","tag-oscar-pastor-lopez","tag-piero-fraternali"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/55702","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=55702"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/55702\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=55702"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=55702"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=55702"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}