{"id":84176,"date":"2000-10-04T00:00:00","date_gmt":"2000-10-04T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/animacion-de-especificaciones-oasis-mediante-redes-de-petri-orientadas-a-objeto\/"},"modified":"2000-10-04T00:00:00","modified_gmt":"2000-10-04T00:00:00","slug":"animacion-de-especificaciones-oasis-mediante-redes-de-petri-orientadas-a-objeto","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/animacion-de-especificaciones-oasis-mediante-redes-de-petri-orientadas-a-objeto\/","title":{"rendered":"Animaci\u00f3n de especificaciones oasis mediante redes de petri orientadas a objeto."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Pedro S\u00e1nchez Palma <\/strong><\/h2>\n<p>La validaci\u00f3n mediante animaci\u00f3n permite el desarrollo sistem\u00e1tico de especificaciones software claras, concisas, precisas y sin ambig\u00ed\u00bcedad. estos aspectos han estado presentes en los m\u00e9todos formales de la ingenier\u00eda del software pero ausentes en el prototipado tradicional. La calidad de los modelos conceptuales va a depender del grado de integraci\u00f3n de los usuarios en el proceso de captura de requisitos.  por otro lado, las herramientas case actuales ofrecen lenguajes y m\u00e9todos pocos precisos como soporte al an\u00e1lisis, especificaci\u00f3n y dise\u00f1o de sistemas de informaci\u00f3n. Para solucionar en parte esta problem\u00e1tica, se presenta un entorno de producci\u00f3n de softwarre de calidad ubicado en las primeras fases del ciclo de vida del desarrollo de software, que considera el uso de las redes de petri como formalismo de implementaci\u00f3ny que se orienta a validaci\u00f3n considerando la concurrencia inherente a los sistemas reales.Para conseguir esto, b\u00e1sicamente ha sido necesario extender la sem\u00e1ntica y sintaxis del lenguaje oasis e implementar un traductor de oasis a redes de petri con vistas a obtener una representaci\u00f3n ejecutable y orientada a la validaci\u00f3n de especificaciones mediante animaci\u00f3n.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Animaci\u00f3n de especificaciones oasis mediante redes de petri orientadas a objeto.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Animaci\u00f3n de especificaciones oasis mediante redes de petri orientadas a objeto. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Pedro S\u00e1nchez Palma <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 10\/04\/2000<\/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: manuel Silva su\u00e1rez <\/li>\n<li>\u00f3scar Pastor l\u00f3pez (vocal)<\/li>\n<li>pere Botella l\u00f3pez (vocal)<\/li>\n<li>ambrosio Toval \u00e1lvarez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Pedro S\u00e1nchez Palma La validaci\u00f3n mediante animaci\u00f3n permite el desarrollo sistem\u00e1tico de especificaciones software claras, concisas, precisas [&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":[6314,1890,126,16820,6473],"tags":[17054,17055,44692,37680,177961,15853],"class_list":["post-84176","post","type-post","status-publish","format-standard","hentry","category-bases-de-datos","category-ciencia-de-los-ordenadores","category-matematicas","category-politecnica-de-valencia","category-teoria-de-la-programacion","tag-ambrosio-toval-alvarez","tag-isidro-ramos-salavert","tag-manuel-silva-suarez","tag-oscar-pastor-lopez","tag-pedro-sanchez-palma","tag-pere-botella-lopez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/84176","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=84176"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/84176\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=84176"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=84176"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=84176"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}