Acceso a catálogo de biblioteca desde móviles Android y navegadores mediante servicios web

Este PFC trata la construcción de un sistema de acceso al catálogo de una biblioteca doméstica a través de distintas interfaces de usuario que hacen uso de unos mismos servicios web REST expuestos en un servidor Java EE. Su desarrollo implica la integración de múltiples tecnologías open source a varios niveles.

Web容器性能关键技术研究

基于Java EE技术的Web容器已经成为面向Web计算环境的主流中间件平台，它为创建、部署、运行、集成和管理企业Web组件提供了基础设施支持。然而，企业用户规模的不断增长与企业Web应用程序的日趋复杂使得Web容器的性能面临严峻的威胁。 影响服务器性能的主要因素是服务器的资源与负载。在传统服务器设计领域，研究者已经取得了一系列的研究成果，如资源管理、准入控制、动态缓存、差分服务等。然而，上述传统服务器领域的研究成果难以满足开放、动态的Web计算环境需求。首先，Web容器无法预先获知企业Web应用程序的资源需求与负载特征，这使得它不得不采用一种“尽力而为”的服务策略。其次，传统资源管理技术难以解决不同资源之间的管理冲突，影响了资源的利用率。最后，传统的负载管理技术侧重于负载规模的变化，很少考虑负载的组成特征与行为特征。为解决上述问题，论文提出了一种面向资源的分阶段体系结构ROSA，并研究了基于ROSA的动态缓存技术与差分服务技术，具体研究内容如下： 论文首先提出了面向资源的分阶段体系结构ROSA，它将请求处理所需的处理资源（主要指线程）与共享资源加以区分，并且通过分阶段体系结构设计来有效解决处理资源阻塞。同时，论文扩展Petri网模型给出了ROSA体系结构的描述模型RDM与性能模型RPM，前者用于验证ROSA体系结构设计方案的结构性质与行为性质，后者用于定量的计算ROSA体系结构设计方案的平均响应时间、吞吐率等性能指标。最后，论文提出了相关设计模式用于ROSA体系结构的开发。 论文提出了一种访问模式驱动的动态缓存机制，消除了Web容器、Web组件与动态缓存机制的耦合，并能够利用客户访问模式提高Web容器的缓存效率。首先，论文设计了Web容器动态缓存框架来缓存Web组件动态生成的Web内容，减少Web组件的重复执行。然后，论文设计了模式图描述客户的访问行为，有效的消除了传统马尔可夫模型引入的无效访问行为。最后，论文在模式图基础上分别基于会话和缓存对象设计了两个预测概率函数以及访问模式驱动的缓存替换算法，有效的提高了动态缓存机制的效率。 论文提出了一种自适应差分服务机制以满足Web容器剧烈变化的负载，同时为企业Web应用程序的差分服务需求提供支持。首先，论文基于客户行为特征设计了动态的会话优先级，弥补了传统静态优先级定义（客户优先级、请求优先级）无法描述客户行为优先级的缺点。然后，通过扩展ROSA体系结构设计，提供了准入控制、优先级调度、资源预留等多种差分服务策略，从而适应Web容器的不同负载。最后，论文设计了自适应差分服务策略选择算法，根据Web容器负载状况自适应选择差分服务策略，消除了单一差分服务策略在某些情况下出现的资源浪费、请求“饿死”、不必要的请求丢失现象，保障了关键请求的性能指标。 最后，以上研究成果已经应用在一个高性能的Web容器系统Once Web容器中。在Java EE性能测试基准TPC-W的测试中取得了较好的效果。

Sistema de gestión abierto de cita previa

[ES] Este trabajo consiste en la creación de un sistema de gestión abierto de cita previa, surge de la necesidad del personal de las Administración Tributaria de Canarias que trabajan en las oficinas de atención tributaria de tener un sistema que facilite al contribuyente la forma de gestionar una cita previa para solicitar atención tributaria, además de facilitar al coordinador, la gestión de citas solicitadas por los contribuyentes. Para ello se ha realizado un análisis previo para cubrir todos los requisitos que eran necesarios para que se cubrieran todas las necesidades del sistema y que fuera totalmente escalable. Para el desarrollo del sistema se ha utilizado la plataforma Java EE que dota de todas las herramientas necesarias para la creación de un software de estas características, además de numerosas herramientas que ayudan a la consecución satisfactoria del sistema, como pueden ser Hibernate y Spring. Se ha utilizado un sistema de virtualización para tratar de imitar lo máximo posible la forma de desarrollo que tiene la empresa para que así la integración del sistema sea absoluto, por eso se han utilizado las mismas herramientas que utilizan y la misma estructura de base de datos. Además de las diversas herramientas se han utilizado distintos patrones de diseño para el desarrollo del software como pueden ser: Front Controller, Facade y Data Access Object además del patrón Modelo-Vista-Controlador para la arquitectura de este sistema. La utilización de estos patrones ayuda a que el mantenimiento de este sistema sea mucho más óptimo.

Motor de recomendación construido sobre implicaciones

Este Trabajo Fin de Grado (TFG) tiene como objetivo la creación de un framework para su uso en sistemas de recomendación. Se ha realizado por dos personas en la modalidad de trabajo en equipo. Las tareas de este TFG están divididas en dos partes, una realizada conjuntamente y la otra de manera individual. La parte conjunta se centra en construir un sistema que sea capaz de, a partir de comentarios y opiniones sobre puntos de interés (POIs) y haciendo uso de la herramienta de procesamiento de lenguaje natural AlchemyAPI, construir contextos formales y contextos formales multivaluados. Para crear este último es necesario hacer uso de ontologías. El context formal multivaluado es el punto de partida de la segunda parte (individual), que consistirá en, haciendo uso del contexto multivaluado, obtener un conjunto de dependencias funcionales mediante la implementación en Java del algoritmo FDMine. Estas dependencias podrán ser usados en un motor de recomendación. El sistema se ha implementado como una aplicación web Java EE versión 6 y una API para trabajar con contextos formales multivaluados. Para el desarrollo web se han empleado tecnologías actuales como Spring y jQuery. Este proyecto se presenta como un trabajo inicial en el que se expondrán, además del sistema construido, diversos problemas relacionados con la creacion de conjuntos de datos validos. Por último, también se propondrán líneas para futuros TFGs.

Redes de influencias y líderes de opinión en las redes sociales

Este Trabajo de Fin de Grado (TFG) se engloba en la línea general Social CRM. Concretamente, está vinculado a un trabajo de investigación llamado “Knowledge discovery in social networks by using a logic-based treatment of implications” desarrollado por P. Cordero, M. Enciso, A. Mora, M. Ojeda-Aciego y C. Rossi en la Universidad de Málaga, en el cual se ofrecen nuevas soluciones para la identificación de influencias de los usuarios en las redes sociales mediante herramientas como el Analisis de Conceptos Formales (FCA). El TFG tiene como objetivo el desarrollo de una aplicación que permita al usuario crear una configuración minimal de usuarios en Twitter a los que seguir para conocer información sobre un número determinado de temas. Para ello, obtendremos información sobre dichos temas mediante la API REST pública que proporciona Twitter y procesaremos los datos mediante algoritmos basados en el Análisis de Conceptos Formales (FCA). Posteriormente, la interpretación de los resultados de dicho análisis nos proporcionará información útil sobre lo expuesto al principio. Así, el trabajo se ha dividido en tres partes fundamentales: 1. Obtención de información (fuentes) 2. Procesamiento de los datos 3. Análisis de resultados El sistema se ha implementado como una aplicación web Java EE 7, utilizando JSF para las interfaces. Para el desarrollo web se han utilizado tecnologías y frameworks como Javascript, JQuery, CSS3, Bootstrap, Twitter4J, etc. Además, se ha seguido una metodología incremental para el desarrollo del proyecto y se ha usado UML como herramienta de modelado. Este proyecto se presenta como un trabajo inicial en el que se expondrán, además del sistema implementado, diversos problemas reales y ejemplos que prueben su funcionamiento y muestren la utilidad práctica del mismo

Evaluating the Java Virtual Machine as a Target for Languages Other Than Java

The portability and runtime safety of programs which are executed on the Java Virtual Machine (JVM) makes the JVM an attractive target for compilers of languages other than Java. Unfortunately, the JVM was designed with language Java in mind, and lacks many of the primitives required for a straighforward implementation of other languages. Here, we discuss how the JVM may be used to implement other object-oriented languages. As a practical example of the possibilities, we report on a comprehensive case study. The open source Gardens Point Component Pascal compiler compiles the entire Component Pascal language, a dialect of Oberon-2, to JVM bytecodes. This compiler achieves runtime efficiencies which are comparable to native-code implementations of procedural languages.

Implementing languages other than Java on the Java Virtual Machine

The portability and runtime safety of programs which are executed on the Java Virtual Machine (JVM) makes the JVM an attractive target for compilers of languages other than Java. Unfortunately, the JVM was designed with language Java in mind, and lacks many of the primitives required for a straight forward implementation of other languages. Here, we discuss how the JVM may be used to implement other object oriented languages. As a practical example of the possibilities, we report on a comprehensive case study. The open source Gardens Point Component Pascal compiler compiles the entire Component Pascal language, a dialect of Oberon 2, to JVM bytecodes. This compiler achieves runtime efficiencies which are comparable to native code implementations of procedural languages.

Demo Abstract: A Java compatible virtual machine for wireless sensor nodes

The Java programming language has potentially significant advantages for wireless sensor nodes but there is currently no feature-rich, open source virtual machine available. In this paper we present Darjeeling, a system comprising offline tools and a memory efficient run-time. The offline post-compiler tool analyzes, links and consolidates Java class files into loadable modules. The runtime implements a modified Java VM that supports multithreading and is designed specifically to operate in constrained execution environments such as wireless sensor network nodes and supports inheritance, threads, garbage collection, and loadable modules. We have demonstrated Java running on AVR128 and MSP430 microcontrollers at speeds of up to 70,000 JVM instructions per second.

Darjeeling, a Java compatible virtual machine for microcontrollers

The Java programming language enjoys widespread popularity on platforms ranging from servers to mobile phones. While efforts have been made to run Java on microcontroller platforms, there is currently no feature-rich, open source virtual machine available. In this paper we present Darjeeling, a system comprising offline tools and a memory efficient runtime. The offline post-compiler tool analyzes, links and consolidates Java class files into loadable modules. The runtime implements a modified Java VM that supports multithreading and is designed specifically to operate in constrained execution environments such as wireless sensor network nodes. Darjeeling improves upon existing work by supporting inheritance, threads, garbage collection, and loadable modules while keeping memory usage to a minimum. We have demonstrated Java running on AVR128 and MSP430 micro-controllers at speeds of up to 70,000 JVM instructions per second.

A secure framework and related protocols for ubiquitous access to electronic health records using Java sim cards

Ubiquitous access to patient medical records is an important aspect of caring for patient safety. Unavailability of sufficient medical information at the point-ofcare could possibly lead to a fatality. The U.S. Institute of Medicine has reported that between 44,000 and 98,000 people die each year due to medical errors, such as incorrect medication dosages, due to poor legibility in manual records, or delays in consolidating needed information to discern the proper intervention. In this research we propose employing emergent technologies such as Java SIM Cards (JSC), Smart Phones (SP), Next Generation Networks (NGN), Near Field Communications (NFC), Public Key Infrastructure (PKI), and Biometric Identification to develop a secure framework and related protocols for ubiquitous access to Electronic Health Records (EHR). A partial EHR contained within a JSC can be used at the point-of-care in order to help quick diagnosis of a patient’s problems. The full EHR can be accessed from an Electronic Health Records Centre (EHRC) when time and network availability permit. Moreover, this framework and related protocols enable patients to give their explicit consent to a doctor to access their personal medical data, by using their Smart Phone, when the doctor needs to see or update the patient’s medical information during an examination. Also our proposed solution would give the power to patients to modify the Access Control List (ACL) related to their EHRs and view their EHRs through their Smart Phone. Currently, very limited research has been done on using JSCs and similar technologies as a portable repository of EHRs or on the specific security issues that are likely to arise when JSCs are used with ubiquitous access to EHRs. Previous research is concerned with using Medicare cards, a kind of Smart Card, as a repository of medical information at the patient point-of-care. However, this imposes some limitations on the patient’s emergency medical care, including the inability to detect the patient’s location, to call and send information to an emergency room automatically, and to interact with the patient in order to get consent. The aim of our framework and related protocols is to overcome these limitations by taking advantage of the SIM card and the technologies mentioned above. Briefly, our framework and related protocols will offer the full benefits of accessing an up-to-date, precise, and comprehensive medical history of a patient, whilst its mobility will provide ubiquitous access to medical and patient information everywhere it is needed. The objective of our framework and related protocols is to automate interactions between patients, healthcare providers and insurance organisations, increase patient safety, improve quality of care, and reduce the costs.

A secure framework and related protocols for ubiquitous access to electronic health records using Java SIM cards

Ubiquitous access to patient medical records is an important aspect of caring for patient safety. Unavailability of sufficient medical information at the patient point-of-care could possibly lead to a fatality. In this paper we propose employing emergent technologies such as Java SIM Cards (JSC),Smart Phones (SP), Next Generation Networks (NGN), Near Field Communications (NFC), Public Key Infrastructure (PKI), and Biometric Identification to develop a secure framework and related protocols for ubiquitous access to Electronic Health Records (EHRs). A partial EHR contained within a JSC can be used at the patient point-of-care in order to help quick diagnosis of a patient’s problems. The full EHR can be accessed from an Electronic Healthcare Records Centre (EHRC).

How to design extended finite state machine test models in Java

This chapter is a tutorial that teaches you how to design extended finite state machine (EFSM) test models for a system that you want to test. EFSM models are more powerful and expressive than simple finite state machine (FSM) models, and are one of the most commonly used styles of models for model-based testing, especially for embedded systems. There are many languages and notations in use for writing EFSM models, but in this tutorial we write our EFSM models in the familiar Java programming language. To generate tests from these EFSM models we use ModelJUnit, which is an open-source tool that supports several stochastic test generation algorithms, and we also show how to write your own model-based testing tool. We show how EFSM models can be used for unit testing and system testing of embedded systems, and for offline testing as well as online testing.