{"id":79782,"date":"2006-05-05T00:00:00","date_gmt":"2006-05-05T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/desarrollo-de-software-para-sistemas-de-tiempo-real-basado-en-uml-un-enfoque-formal-basado-en-metamodelado\/"},"modified":"2006-05-05T00:00:00","modified_gmt":"2006-05-05T00:00:00","slug":"desarrollo-de-software-para-sistemas-de-tiempo-real-basado-en-uml-un-enfoque-formal-basado-en-metamodelado","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/lenguajes-de-programacion\/desarrollo-de-software-para-sistemas-de-tiempo-real-basado-en-uml-un-enfoque-formal-basado-en-metamodelado\/","title":{"rendered":"Desarrollo de software para sistemas de tiempo real basado en uml. un enfoque formal basado en metamodelado"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  \u00e1lvarez Palomo Jos\u00e9 Mar\u00eda <\/strong><\/h2>\n<p>El presente trabajo propone una metodolog\u00eda de desarrollo de sistemas de tiempo real que hace un \u00e9nfasis especial en la consideraci\u00f3n de los requisitos no funcionales caracter\u00edsticos de este tipo de sistema como los requisitos temporales, la concurrencia, la asignaci\u00f3n de prioridades o la interacci\u00f3n con dispositivos f\u00edsicos.     la metodolog\u00eda toma elementos de otras ya existentes, como somt y octopus y propone mecanismos propios para solventar parcialmente problemas como el paso del modelo de objetos al modelo de proceso y la asignaci\u00f3n de prioridades. La metodolog\u00eda se divide en cuatro fases divididas en dos \u00e1reas distintas, la de los aspectos funcionales y los no funcionales. Durante toda la metodolog\u00eda se usa orientaci\u00f3n objetivo y uml.     para aprovechar las ventajas de los m\u00e9todos formales, como simulaci\u00f3n, validaci\u00f3n y generaci\u00f3n de c\u00f3digos se propone una sem\u00e1ntica formal para parte de los aspectos din\u00e1micos de uml, concretamente las acciones y las m\u00e1quinas de estados.     la sem\u00e1ntica propuesta se basa en metamodelado y en el lenguaje mml. En ellas se distingue entre los la sintaxis abstracta y el dominio sem\u00e1ntico. Los elementos v\u00e1lidos de ambos conjuntos se definen mediante diagramas de clases, de los que han de ser instancias v\u00e1lidas, y restricciones expresadas en el lenguaje funcional ocl. Los elementos de ambos conjuntos est\u00e1n relacionados entre si a trav\u00e9s de la sem\u00e1ntica, que implica una relaci\u00f3n de uno (en la sintaxis abstracta, el extremo \u00abof\u00bb) a muchos (en el dominio sem\u00e1ntico, el extremo \u00abinstances\u00bb).     con este esquema, se ha definido una sem\u00e1ntica para acciones y ejecuciones, con una jerarqu\u00eda de clases para los diferentes tipos de acciones y ejecuciones, en el primer nivel de esa jerarqu\u00eda se distinguen acciones primitivas y compuestas. Una acci\u00f3n se define como un procedimiento computacional que modifica el estado de un elemento del sistema y las ejecuciones son ocurrencias individuales de las acci<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Desarrollo de software para sistemas de tiempo real basado en uml. un enfoque formal basado en metamodelado<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Desarrollo de software para sistemas de tiempo real basado en uml. un enfoque formal basado en metamodelado <\/li>\n<li><strong>Autor:<\/strong>\u00a0  \u00e1lvarez Palomo Jos\u00e9 Mar\u00eda <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 05\/05\/2006<\/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>Manuel D\u00edaz Rodr\u00edguez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jos\u00e9 Mar\u00eda Troya linero <\/li>\n<li>Jos\u00e9 Mar\u00eda Drake  moyano (vocal)<\/li>\n<li>Antonio Brogi (vocal)<\/li>\n<li>Juan  Manuel Murillo rodriguez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de \u00e1lvarez Palomo Jos\u00e9 Mar\u00eda El presente trabajo propone una metodolog\u00eda de desarrollo de sistemas de tiempo real [&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":[6474,7834,8967],"tags":[171136,141890,10619,4814,36535,24720],"class_list":["post-79782","post","type-post","status-publish","format-standard","hentry","category-lenguajes-de-programacion","category-malaga","category-sistemas-en-tiempo-real","tag-alvarez-palomo-jose-maria","tag-antonio-brogi","tag-jose-maria-drake-moyano","tag-jose-maria-troya-linero","tag-juan-manuel-murillo-rodriguez","tag-manuel-diaz-rodriguez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/79782","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=79782"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/79782\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=79782"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=79782"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=79782"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}