{"id":4095,"date":"1994-01-01T00:00:00","date_gmt":"1994-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/1994\/01\/01\/formalizacion-algebraica-de-un-entorno-de-produccion-automatica-de-prototipos-orientados-a-objetos\/"},"modified":"1994-01-01T00:00:00","modified_gmt":"1994-01-01T00:00:00","slug":"formalizacion-algebraica-de-un-entorno-de-produccion-automatica-de-prototipos-orientados-a-objetos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/formalizacion-algebraica-de-un-entorno-de-produccion-automatica-de-prototipos-orientados-a-objetos\/","title":{"rendered":"Formalizacion algebraica de un entorno de produccion automatica de prototipos orientados a objetos"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Ambrosio Toval Alvarez <\/strong><\/h2>\n<p>Presentamos en esta tesis un entorno formal de desarrollo de prototipos operacionales, o funcionales, de sistemas de informacion desde una perspectiva orientada a objetos (case 86) (davis 92). La formalizacion se realiza a dos niveles: en primer lugar, adoptamos, y extendemos, la propuesta de formalizacion del modelo orientado a objetos de (sernadas et al. 89a 89b) (ehrig et al. 88 90), utilizando el lenguaje oasis de especificacion orientada a objetos (pastor92), (pastor et al.92). En segundo lugar, utilizamos la teoria de especificaciones albebraicas (ehrig mahr 85), (horebeek lewi 89), (goguen meseguer 88r como soporte matematico para definir el entorno (ramos et al.92). En particular, se proporcionan dos especificaciones algebraicas: la primera formaliza el propio lenguaje oasis; la segunda consiste en una formalizacion de la vida de los objetos en el uod. En este contexto, a partir de una especificacion oasis del esquema conceptual, el \u00abprototipador algebraico orientado a objetos\u00bb (ooap) genera automaticamente un termino \u00abground\u00bb (sin variables) valido del algebra de terminos de la especificacion del lenguaje oasis que da la semantica formal de los requerimientos logicos del sistema. Despues de realizar el analisis de consistencia, ooap genera un prototipo en obj3 (goguen et al. 92a) para esa especificacion que se ejecuta internamente mediante un sistema de reescritura. A partir de ese momento el prototipo puede ser utilizado por usuarios e ingenieros de software para verificar los requerimientos funcionales del sistema de informacion del desarrollo.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Formalizacion algebraica de un entorno de produccion automatica de prototipos orientados a objetos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Formalizacion algebraica de un entorno de produccion automatica de prototipos orientados a objetos <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Ambrosio Toval Alvarez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1994<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Isidro Ramos Salavert<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Antoni Oliv\u00e9 Ramon <\/li>\n<li>Oscar D\u00edaz Garc\u00eda (vocal)<\/li>\n<li>Jos\u00e9 Mar\u00eda Troya Linero (vocal)<\/li>\n<li>Miguel Toro Bonilla (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Ambrosio Toval Alvarez Presentamos en esta tesis un entorno formal de desarrollo de prototipos operacionales, o funcionales, [&hellip;]<\/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":[1890,4149,13880,126,16820],"tags":[17054,13034,17055,4814,14675,17056],"class_list":["post-4095","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-diseno-y-componentes-de-sistemas-de-informacion","category-informatica","category-matematicas","category-politecnica-de-valencia","tag-ambrosio-toval-alvarez","tag-antoni-olive-ramon","tag-isidro-ramos-salavert","tag-jose-maria-troya-linero","tag-miguel-toro-bonilla","tag-oscar-diaz-garcia"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/4095","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=4095"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/4095\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=4095"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=4095"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=4095"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}