Nuevas áreas de aplicación como comercio electrónico, aplicaciones para provisión de servicios y computación P2P (peer-to-peer) requieren de sistemas de software complejos que puedan soportar procesos de negocio en línea . Actualmente, los ingenieros de software han descubierto la efectividad de usar técnicas de modelado organizacional para guiar el proceso de producción de este tipo de sistemas complejos. En este contexto, el framework i* es una de las técnicas de modelado organizacional mejor fundamentadas hoy en día. i* se enfoca en dos aspectos principales: a) la representación de las relaciones sociales e intencionales que existen entre la red de actores de un negocio. b) la representación del comportamiento interno requerido para satisfacer las dependencias entre actores. El framework i* permite describir una organización como una red de actores que tienen libertad de acción, pero que dependen de otros actores para lograr sus metas y objetivos. Sin embargo, a pesar de las bien conocidas ventajas de i*, existen ciertos problemas que necesitan ser resueltos para asegurar su efectividad en ambientes reales de desarrollo. En este sentido, el framework necesita ser evaluado en la práctica con el objetivo de identificar sus fortalezas y debilidades en casos de estudio reales. Uno de los objetivos de esta tesis fue realizar una evaluación empírica que nos permitiera identificar y analizar los problemas prácticos de i*. Se presentan las lecciones aprendidas en términos de fortalezas y de puntos débiles que necesitan ser resueltos. Además, la tesis presenta soluciones a los puntos débiles que fueron detectados en la evaluación empírica. Consideramos que la orientación a servicios es un paradigma muy prometedor para enfrentar la complejidad del modelado de sistemas de tecnologías de información actuales. En este sentido, el principal objetivo de esta tesis fue definir una arquitectura orientada a servicios que nos permitiera resolver los problemas de complejidad de i*. / Estrada Esquivel, H. (2008). A service-oriented approach for the i* framework [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/3305

Actualmente, uno de los principales retos de la Ingeniería del Software (IS) es el desarrollo de sistemas de calidad. La calidad es una propiedad del software que cuenta con diversas características, entre ellas la usabilidad, que es en la que se centra esta tesis. La IS se ha centrado históricamente en problemas de funcionalidad y de persistencia, relegando a un segundo plano aspectos de la interacción con el usuario, y más concretamente, de la usabilidad. Este vacío ha sido cubierto por la comunidad Interacción Persona-Ordenador (IPO), que ha propuesto recomendaciones para mejorar la usabilidad. Algunas de estas recomendaciones deben ser consideradas desde las primeras fases de construcción de los sistemas a fin de evitar realizar cambios en la arquitectura una vez ésta haya sido diseñada. Estas recomendaciones se conocen como Functional Usability Features (FUF). La incorporación de los FUFs desde las primeras fases del proceso de desarrollo añade cierta complejidad a la construcción de sistemas, ya que el analista ha de tener en cuenta más factores a la hora del desarrollo. Esta tesis presenta una solución basada en transformaciones entre modelos. El objetivo de la tesis es el de presentar un método (llamado MIMAT) para incorporar los FUFs dentro de un método de desarrollo Model-Driven Development (MDD). Para ello, se profundiza en los cambios que el diseñador del método MDD debe aplicar para enriquecer dicho método con los FUFs. Una vez incorporados los FUFs, el analista que modele sistemas con el método MDD puede utilizar las características de usabilidad en el desarrollo de sistemas. La principal ventaja de esta aproximación es que el analista puede incorporar las características de usabilidad simplemente a partir de modelos conceptuales, dejando la implementación a las transformaciones de modelo a código. La factibilidad de MIMAT se ha demostrado aplicándolo a un método de desarrollo MDD específico: OO-Method. / Panach Navarrete, JI. (2010). Incorporación de mecanismos de usabilidad en un entorno de producción de software dirigido por modelos [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8379

Desde los orígenes del hardware y el software hasta la época actual, la complejidad de los sistemas de cálculo ha supuesto un problema al cual informáticos, ingenieros y programadores han tenido que enfrentarse. Como resultado de este esfuerzo han surgido y madurado importantes áreas de investigación. En esta disertación abordamos algunas de las líneas de investigación actuales relacionada con el análisis y la verificación de sistemas de computación complejos utilizando métodos formales y lenguajes de dominio específico. En esta tesis nos centramos en los sistemas distribuidos, con un especial interés por los sistemas Web y los sistemas biológicos. La primera parte de la tesis está dedicada a aspectos de seguridad y técnicas relacionadas, concretamente la certificación del software. En primer lugar estudiamos sistemas de control de acceso a recursos y proponemos un lenguaje para especificar políticas de control de acceso que están fuertemente asociadas a bases de conocimiento y que proporcionan una descripción sensible a la semántica de los recursos o elementos a los que se accede. También hemos desarrollado un marco novedoso de trabajo para la Code-Carrying Theory, una metodología para la certificación del software cuyo objetivo es asegurar el envío seguro de código en un entorno distribuido. Nuestro marco de trabajo está basado en un sistema de transformación de teorías de reescritura mediante operaciones de plegado/desplegado. La segunda parte de esta tesis se concentra en el análisis y la verificación de sistemas Web y sistemas biológicos. Proponemos un lenguaje para el filtrado de información que permite la recuperación de informaciones en grandes almacenes de datos. Dicho lenguaje utiliza información semántica obtenida a partir de ontologías remotas para re nar el proceso de filtrado. También estudiamos métodos de validación para comprobar la consistencia de contenidos web con respecto a propiedades sintácticas y semánticas. Otra de nuestras contribuciones es la propuesta de un lenguaje que permite definir y comprobar automáticamente restricciones semánticas y sintácticas en el contenido estático de un sistema Web. Finalmente, también consideramos los sistemas biológicos y nos centramos en un formalismo basado en lógica de reescritura para el modelado y el análisis de aspectos cuantitativos de los procesos biológicos. Para evaluar la efectividad de todas las metodologías propuestas, hemos prestado especial atención al desarrollo de prototipos que se han implementado utilizando lenguajes basados en reglas. / Baggi ., M. (2010). Rule-based Methodologies for the Specification and Analysis of Complex Computing Systems [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8964

Los métodos de Ingeniería Web dirigidos por modelos han mejorado tanto la calidad como la eficiencia a la hora de desarrollar aplicaciones Web. Estos métodos utilizan modelos conceptuales para capturar de forma abstracta una representación detallada de la aplicación Web a desarrollar. La ventaja más destacada de esta aproximación es que a partir de estos modelos, ampliamente validados en entornos industriales, es factible la generación sistemática del código que implementa la aplicación Web. Las aplicaciones Web 2.0 destacan, fundamentalmente, en la alta implicación de los usuarios a la hora de crear sus contenidos, ya sean en forma de opiniones, fotos, definiciones o videos. Este hecho enfatiza el carácter colaborativo de las aplicaciones Web 2.0 y otorga al usuario un rol primordial en la aplicación. Para lograr la colaboración del usuario, es un requisito imprescindible que la aplicación proporcione una interacción precisa e intuitiva. Este objetivo se ha conseguido en las aplicaciones Web 2.0 mediante: 1) una interfaz de usuario tecnológicamente muy avanzada y con un elevado grado de usabilidad; y 2) la reutilización de un conjunto de buenas prácticas, ampliamente aplicadas en el dominio de la Web 2.0, que proporcionan al usuario una forma sencilla y conocida de interactuar con la aplicación. Con el objetivo de desarrollar aplicaciones Web 2.0 de calidad, ambos aspectos tienen que estar presentes en los métodos de Ingeniería Web. Esta tesis doctoral presenta el método de Ingeniería Web dirigido por modelos OOWS 2.0 como una evolución incremental y necesaria del método OOWS. El objetivo esencial de este nuevo método es el de proporcionar la expresividad conceptual requerida para el desarrollo de aplicaciones Web 2.0. En concreto, las contribuciones se centran en soportar los aspectos avanzados de la interacción con el usuario final, tan relevantes en este tipo de aplicaciones. Para lograr esta meta, la tesis doctoral introduce una serie de modelos conceptuales que capturan, sin ambigüedades, las nuevas necesidades de interacción demandadas por las aplicaciones Web 2.0. / Valverde Giromé, F. (2010). OOWS 2.0: UN MÉTODO DE INGENIERÍA WEB DIRIGIDO POR MODELOS PARA LA PRODUCCIÓN DE APLICACIONES WEB 2.0 [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8977

By analyzing the last years of software development evolution, it is possible to observe that the involved technologies are increasingly focused on the definition of models for the specification of the intended software products. This model-centric development schema is the main ingredient for the Model-Driven Development (MDD) paradigm. In general terms, the MDD approaches propose the automatic generation of software products by means of the transformation of the defined models into the final program code. This transformation process is also known as model compilation process. Thus, MDD is oriented to reduce (or even eliminate) the hand-made programming, which is an error-prone and time-consuming task. Hence, models become the main actors of the MDD processes: the models are the new programming code. In this context, the interoperability can be considered a natural trend for the future of model-driven technologies, where different modeling approaches, tools, and standards can be integrated and coordinated to reduce the implementation and learning time of MDD solutions as well as to improve the quality of the final software products. However, there is a lack of approaches that provide a suitable solution to support the interoperability in MDD processes. Moreover, the proposals that define an interoperability framework for MDD processes are still in a theoretical space and are not aligned with current standards, interoperability approaches, and technologies. Thus, the main objective of this doctoral thesis is to develop an approach to achieve the interoperability in MDD processes. This interoperability approach is based on current metamodeling standards, modeling language customization mechanisms, and model-to-model transformation technologies. To achieve this objective, novel approaches have been defined to improve the integration of modeling languages, to obtain a suitable interchange of modeling information, and to perform automatic interoperability verification. / Giachetti Herrera, GA. (2011). Supporting Automatic Interoperability in Model-Driven Development Processes [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/11108

Esta Tesis propone el uso de técnicas multidisciplinares como una alternativa viable a los procedimientos actuales de evaluación del calzado los cuales, normalmente, consumen muchos recursos humanos y técnicos. Estas técnicas son Realidad Virtual, Biomecánica Computacional y Redes Neuronales Artificiales. El marco de esta tesis es el análisis virtual del confort mecánico en el calzado, es decir, el análisis de las presiones de confort en el calzado y su principal objetivo es predecir las presiones ejercidas por el zapato sobre la superficie del pie al caminar mediante la simulación del contacto en esta interfaz. En particular, en esta tesis se ha desarrollado una aplicación software que usa el Método de los Elementos Finitos para simular la deformación del calzado. Se ha desarrollado un modelo preliminar que describe el comportamiento del corte del calzado, se ha implementado un proceso automático para el ajuste pie-zapato y se ha presentado una metodología para obtener una animación genérica del paso de cada individuo. Además, y con el fin de mejorar la aplicación desarrollada, se han propuesto nuevos modelos para simular el comportamiento del corte del calzado al caminar. Por otro lado, las Redes Neuronales Artificiales han sido aplicadas en esta tesis a la predicción de la fuerza ejercida por una esfera, que simulando un hueso, empuja a una muestra de material. Además, también han sido utilizadas para predecir las presiones ejercidas por el corte del calzado sobre la superficie del pie (presiones dorsales) en un paso completo. Las principales contribuciones de esta tesis son: el desarrollo de un innovador simulador que permitirá a los fabricantes de calzado realizar evaluaciones virtuales de las características de sus diseños sin tener que construir el prototipo real, y el desarrollo de una también innovadora herramienta que les permitirá predecir las presiones dorsales ejercidas por el calzado sobre la superficie del pie al caminar. / Rupérez Moreno, MJ. (2011). MULTIDISCIPLINARY TECHNIQUES FOR THE SIMULATION OF THE CONTACT BETWEEN THE FOOT AND THE SHOE UPPER IN GAIT: VIRTUAL REALITY, COMPUTATIONAL BIOMECHANICS, AND ARTIFICIAL NEURAL NETWORKS [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/11235

Two of the main needs when developing an information system for an organization are that system analysts know and understand the application domain and that the system properly supports the business processes of the organization. Consequently, elicitation of system requirements from business process models has been acknowledged as a suitable activity to deal with that needs. In addition, system requirements must be linked to subsequent development stages. However, system analysts can face many challenges when performing these activities. They may have problems communicating with customer stakeholders and may need to analyse and operationalize the purpose of the information system. Furthermore, system analysts must bridge the gap between business and system domains for specification of system requirements, specify different types of system requirements and guarantee that their specification is precise, consistent and homogeneous. In relation to object-oriented conceptual modelling-based information system development, system analysts must also avoid potential problems that may arise when a conceptual schema is created from system requirements as part of their link with subsequent development stages. For example, a conceptual schema can be incomplete and/or inconsistent if it is not properly managed. As a solution, this thesis presents a methodological approach for business process-based requirements specification and object-oriented conceptual modelling of information systems. The approach consists of four stages: organizational modelling, purpose analysis, specification of system requirements and derivation of object-oriented diagrams. By following the design research methodology for performing research in information systems, the methodological approach has been designed on the basis of many existing ideas and principles in academia and industry and provides new principles, mechanisms and guidance to address the challenges presented above. / De La Vara González, JL. (2011). Business process-based requirements specification and object-oriented conceptual modelling of information systems [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/11445

La pérdida de privacidad se está convirtiendo en uno de los mayores problemas en el mundo de la informática. De hecho, la mayoría de los usuarios de Internet (que hoy en día alcanzan la cantidad de 2 billones de usuarios en todo el mundo) están preocupados por su privacidad. Estas preocupaciones también se trasladan a las nuevas ramas de la informática que están emergiendo en los ultimos años. En concreto, en esta tesis nos centramos en la privacidad en los Sistemas Multiagente. En estos sistemas, varios agentes (que pueden ser inteligentes y/o autónomos) interactúan para resolver problemas. Estos agentes suelen encapsular información personal de los usuarios a los que representan (nombres, preferencias, tarjetas de crédito, roles, etc.). Además, estos agentes suelen intercambiar dicha información cuando interactúan entre ellos. Todo esto puede resultar en pérdida de privacidad para los usuarios, y por tanto, provocar que los usuarios se muestren adversos a utilizar estas tecnologías. En esta tesis nos centramos en evitar la colección y el procesado de información personal en Sistemas Multiagente. Para evitar la colección de información, proponemos un modelo para que un agente sea capaz de decidir qué atributos (de la información personal que tiene sobre el usuario al que representa) revelar a otros agentes. Además, proporcionamos una infraestructura de agentes segura, para que una vez que un agente decide revelar un atributo a otro, sólo este último sea capaz de tener acceso a ese atributo, evitando que terceras partes puedan acceder a dicho atributo. Para evitar el procesado de información personal proponemos un modelo de gestión de las identidades de los agentes. Este modelo permite a los agentes la utilización de diferentes identidades para reducir el riesgo del procesado de información. Además, también describimos en esta tesis la implementación de dicho modelo en una plataforma de agentes. / Such Aparicio, JM. (2011). ENHANCING PRIVACY IN MULTI-AGENT SYSTEMS [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/13023

In this thesis we propose an abstraction based certification technique for Java programs which is based on rewriting logic, a very general logical and semantic framework efficiently implemented in the functional programming language Maude. We focus on safety properties, i.e. properties of a system that are defined in terms of certain events not happening, which we characterize as unreachability problems in rewriting logic. The safety policy is expressed in the style of JML, a standard property specification language for Java modules. In order to provide a decision procedure, we enforce finite-state models of programs by using abstract interpretation. Starting from a specification of the Java semantics written in Maude, we develop an abstraction based, finite-state operational semantics also written in Maude which is appropriate for program verification. As a by-product of the verification based on abstraction, a dependable safety certificate is delivered which consists of a set of rewriting proofs that can be easily checked by the code consumer by using a standard rewriting logic engine. The abstraction based proof-carrying code technique, called JavaPCC, has been implemented and successfully tested on several examples, which demonstrate the feasibility of our approach. We analyse local properties of Java methods: i.e. properties of methods regarding their parameters and results. We also study global confidentiality properties of complete Java classes, by initially considering non--interference and, then, erasure with and without non--interference. Non--interference is a semantic program property that assigns confidentiality levels to data objects and prevents illicit information flows from occurring from high to low security levels. In this thesis, we present a novel security model for global non--interference which approximates non--interference as a safety property. / Alba Castro, MF. (2011). Abstract Certification of Java Programs in Rewriting Logic [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/13617

Barrón Cedeño, LA. (2012). On the Mono- and Cross-Language Detection of Text Re-Use and Plagiarism [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/16012