{"id":60368,"date":"2007-07-09T00:00:00","date_gmt":"2007-07-09T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/metodologa%c2%ada-formal-para-la-especificacion-de-sistemas-software-en-entornos-multi-perspectiva\/"},"modified":"2007-07-09T00:00:00","modified_gmt":"2007-07-09T00:00:00","slug":"metodologa%c2%ada-formal-para-la-especificacion-de-sistemas-software-en-entornos-multi-perspectiva","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/tecnologia-de-las-telecomunicaciones\/metodologa%c2%ada-formal-para-la-especificacion-de-sistemas-software-en-entornos-multi-perspectiva\/","title":{"rendered":"Metodolog\u00eda formal para la especificaci\u00f3n de sistemas software en entornos multi-perspectiva"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Ana Belen Barragans Martinez <\/strong><\/h2>\n<p>El desarrollo de un sistema software complejo implica el trabajo conjunto y colaborativo de un grupo numeroso de personas, tales como usuarios (a menudo, de diferentes tipos), responsables de gesti\u00f3n y desarrolladores software, donde cada uno de ellos constituye una fuente potencial de conocimiento. De este modo, la necesidad de describir sistemas software complejos a partir de diferentes perspectivas puede derivar en la construcci\u00f3n de muchos modelos parciales de dise\u00f1o del sistema. Estos modelos pueden ser construidos de manera independiente por dise\u00f1adores diferentes, pueden expresar visiones desde \u00e1ngulos de modelado espec\u00edficos o puede que reflejen percepciones dispares de un mismo aspecto del sistema. Como resultado, las distintas perspectivas puede que se solapen, dando lugar a la posibilidad de aparici\u00f3n de conflictos. Y aunque las inconsistencias tendr\u00e1n que ser finalmente resueltas, puede que sea necesario que las mismas sean toleradas con car\u00e1cter temporal ofreciendo as\u00ed una oportunidad a los dise\u00f1adores de trabajar de forma independiente en el desarrollo de sus fragmentos del modelo sin necesidad de una reconciliaci\u00f3n continua. De hecho, muchos investigadores abogan por tolerar la inconsistencia, e incluso algunas propuestas han identificado la necesidad de permitir el razonamiento en presencia de inconsistencias. un modo efectivo de especificar el sistema desde el punto de vista de cada individuo consiste en emplear enfoques multi-perspectiva. El razonamiento a partir de diferentes perspectivas es una parte necesaria y obligada en la mayor parte de los procesos de dise\u00f1o. Esta tarea implica a menudo recoger informaci\u00f3n procedente de un n\u00famero de fuentes o perspectivas potencialmente conflictivas, o de participantes con diferentes vistas u opiniones, y tratar de conformar un vista o perspectiva combinada y \u00fanica (lo que podr\u00edamos denominar una s\u00edntesis o consenso). sin embargo, un problema sin resolver dentro de este contexto es el de c\u00f3mo razonar con informaci\u00f3n co\u00ed\u00a7ibinada a partir de m\u00faltiples vistas sin tener que resolver con antelaci\u00f3n las inconsistencias y incompletitudes. Muchas propuestas existentes requieren que los modelos que van a ser combinados sean completos. Pero a medida que las distintas especificaciones evolucionan en paralelo, con frecuencia, entrar\u00e1n en conflicto unas con otras, y casi todo el tiempo mostrar\u00e1n, hasta cierto punto, incompletitudes. A veces, se detectar\u00e1n inconsistencias temporales, sobre-especificaciones y sub-especificaciones. Sin embargo, los participantes necesitar\u00e1n poder manipular cada especificaci\u00f3n a medida que \u00e9sta evoluciona, como parte del proceso exploratorio, y creemos que es importante poder transformar y combinar modelos en etapas tempranas del ciclo de vida de desarrollo software, cuando los requisitos todav\u00eda no hayan sido completamente especificados. Esto pone de manifiesto la necesidad de disponer de mecanismos que permitan combinar modelos incluso siendo \u00e9stos incompletos y\/o inconsistentes. Como requisito general, ser\u00eda deseable que cada modelo individual, as\u00ed como el modelo combinado, pueda ser f\u00e1cilmente analizado y probado formalmente. con esta motivaci\u00f3n, hemos definido una metodolog\u00eda formal, que lleva por nombre multispec (multi-perspective methodology for software requirements specifications), ideada para ofrecer soporte a la evoluci\u00f3n de especificaciones de requisitos software. Multispec est\u00e1 basada en el paradigma multi-perspectiva y formaliza el razonamiento en presencia de conflictos (sobreespecificaci\u00f3n) e incompletitud (subespecificaci\u00f3n) empleando, para ello, una l\u00f3gica subyacente multivalorada. El objetivo final consistir\u00e1 en la obtenci\u00f3n de una especificaci\u00f3n de requisitos que sea concisa, consistente y completa con respecto a las necesidades de los agentes. Para conseguirlo, hemos identificado los siguientes aspectos que han sido abordados por multispec: \u00c2\u00bf una pieza esencial de la metodolog\u00eda es el proceso de combinaci\u00f3n. Inicialmente, el objetivo principal consisti\u00f3 en obtener, en etapas intermedias del proceso de desarrollo, una vista combinada que reflejase de forma conveniente el conocimiento de cada participante en las tareas de elicitaci\u00f3n. Esto asegurar\u00eda que el sistema resultante no refleje \u00fanicamente un punto de vista y que no ignore posiciones que interfieran con la opini\u00f3n dominante. \u00c2\u00bf sin embargo, existen m\u00e1s aplicaciones \u00fatiles del proceso de combinaci\u00f3n, y hemos descubierto, por tanto, que no existe un \u00fanico operador de composici\u00f3n que pueda calificarse de \u00f3ptimo sino que, por el contrario, habr\u00e1 un operador apropiado en funci\u00f3n del objetivo concreto del proceso de combinaci\u00f3n. Adem\u00e1s de la comparaci\u00f3n preliminar ofrecida entre los operadores de composici\u00f3n propuestos, proporcionamos una evaluaci\u00f3n de los mismos basada en    una lista de propiedades algebraicas y sem\u00e1nticas que, te\u00f3ricamente, deber\u00eda satisfacer un operador de composici\u00f3n ideal. La evaluaci\u00f3n basada en dicho conjunto de propiedades pretende facilitar la tarea de comparaci\u00f3n entre ellos, poniendo de manifiesto caracter\u00edsticas clave de cada uno, a la vez que, tambi\u00e9n, revela e identifica posibles inconvenientes o defectos que pueden requerir continuar investigando. \u00c2\u00bf otro aspecto primordial en una metodolog\u00eda como multispec consiste en dotarla de la capacidad para evaluar y cuantificar la importancia de una inconsistencia detectada. Es fundamental poder diagnosticar la gravedad de una inconsistencia para decidir cu\u00e1ndo y con qu\u00e9 prioridad debe ser tratada. \u00c2\u00bf mostramos tambi\u00e9n en esta tesis hasta qu\u00e9 punto la incertidumbre y el desacuerdo est\u00e1n interrelacionados y juegan un papel determinante en la obtenci\u00f3n de una medida de la importancia de una inconsistencia. Adem\u00e1s, nos percatamos de la necesidad de poder medir la inconsistencia total de la vista combinada a medida que el proceso de especificaci\u00f3n evoluciona. Una vez m\u00e1s, quedar\u00e1 patente la influencia de la incertidumbre y el desacuerdo sobre la medida de inconsistencia total del modelo combinado. \u00c2\u00bf otras contribuciones vienen determinadas por la presentaci\u00f3n de dos ordenamientos parciales. El primero de ellos resultar\u00e1 muy \u00fatil para comparar diferentes modelos combinados y est\u00e1 basado en la medida de la inconsistencia total. Dicho ordenamiento nos permite medir el grado de evoluci\u00f3n de la vista combinada con respecto a la cantidad de inconsistencia presente en el modelo en cada etapa del proceso de desarrollo, con la finalidad de comprobar, por ejemplo, que el grado de inconsistencia decrece con cada ciclo. El segundo ordenamiento es una relaci\u00f3n de cercan\u00eda basada en diferencias de comportamiento que permite comparar diferentes perspectivas y obtener informaci\u00f3n acerca de cu\u00e1l de ellas es la m\u00e1s pr\u00f3xima al modelo que se expresa en la vista combinada. \u00c2\u00bf multispec ofrece tambi\u00e9n un model-checker multivalorado que permite razonar y comprobar la satisfacci\u00f3n de propiedades deseadas sobre modelos incompletos e inconsistentes. Finalmente, tras analizar la salida del model-checker junto con las medidas de impacto de las inconsistencias, la metodolog\u00eda proporciona realimentaci\u00f3n a los usuarios en forma de informaci\u00f3n de revisi\u00f3n de las especificaciones originales con el fin de conseguir la satisfacci\u00f3n de propiedades sobre el modelo combinado o resolver las inconsistencias m\u00e1s graves. \u00c2\u00bf una \u00faltima contribuci\u00f3n de la tesis permite tener en cuenta la importancia relativa de las diferentes perspectivas. Por ejemplo, se le puede asignar un valor de prioridad a cada una de las vistas individuales para simular el tama\u00f1o del grupo de agentes que est\u00e1 especificando esa perspectiva la cual, por lo tanto, deber\u00eda tener mayor peso en el c\u00e1lculo de la opini\u00f3n mayoritaria. De este modo, multispec permite priorizar las perspectivas dependiendo del n\u00famero de agentes o del tipo de agente que est\u00e1 desarrollando cada una de ellas. Por otra parte, nuestra propuesta considera tanto el car\u00e1cter intensional de la calidad de la informaci\u00f3n (denominado densidad) como el car\u00e1cter extensional (denominado cobertura). En esencia, la medida de cobertura ofrece la proporci\u00f3n de elementos pertenecientes al dominio del sistema global que una fuente determinada se encarga de especificar. La medida de densidad indica cu\u00e1ntos de esos elementos no est\u00e1n subespecificados. Adem\u00e1s, estos dos criterios se combinan para dar lugar a un valor de completitud total que formaliza la noci\u00f3n intuitiva de completitud de perspectivas. El esquema de priorizaci\u00f3n propuesto presenta numerosas ventajas, permitiendo evaluar la importancia y calidad de perspectivas individuales as\u00ed como de modelos combinados de una forma intuitiva y sencilla. la salida del proceso consiste en una especificaci\u00f3n consistente del sistema que trata de satisfacer en la medida de lo posible los requisitos establecidos por cada agente as\u00ed como tambi\u00e9n las propiedades globales del sistema.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Metodolog\u00eda formal para la especificaci\u00f3n de sistemas software en entornos multi-perspectiva<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Metodolog\u00eda formal para la especificaci\u00f3n de sistemas software en entornos multi-perspectiva <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Ana Belen Barragans Martinez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Vigo<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 07\/09\/2007<\/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>Jos\u00e9 Juan Pazos Arias<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Carlos Delgado kloos <\/li>\n<li>Jorge Garcia duque (vocal)<\/li>\n<li>Santiago Pavon gomez (vocal)<\/li>\n<li>joaquin Salvachua rodriguez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Ana Belen Barragans Martinez El desarrollo de un sistema software complejo implica el trabajo conjunto y colaborativo [&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":[2489,18657],"tags":[133315,30894,16542,122379,30893,48122],"class_list":["post-60368","post","type-post","status-publish","format-standard","hentry","category-tecnologia-de-las-telecomunicaciones","category-vigo","tag-ana-belen-barragans-Martinez","tag-carlos-delgado-kloos","tag-joaquin-salvachua-rodriguez","tag-jorge-garcia-duque","tag-jose-juan-pazos-arias","tag-santiago-pavon-gomez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/60368","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=60368"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/60368\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=60368"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=60368"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=60368"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}