Entorno de pruebas para el soporte de videostreaming usando herramientas libres

Among the different technologies with important implications today in such areas as education, health and business, videostreaming is highlighted. This considering how this technology facilitates the access to multimedia content remotely, live or offline. The goal of this paper is to propose a test environment for the support of the video streaming service, using open source tools. Moreover, this work proposes, as part of the environment, a stress measurement tool (Hermes), which allows obtaining the response times to establish multiple RTSP connections to streaming servers. The methodology used in this work is divided into four phases: analysis of technologies and tools, configuration of the video streaming environment, design and implementation of Hermes, and finally tests. This methodology allowed the construction of the test environment and its evaluation, through the stress measurement tool Hermes. Finally, in this work we demonstrate how the proposed environment becomes a reference point for different application environments that require the implementation of a video streaming service.Dentro de las tecnologías que hoy en día tienen implicaciones importantes en ámbitos como la educación, la salud y el sector productivo, se destaca el videostreaming. Esto teniendo en cuenta las ventajas que esta tecnología ofrece para el acceso a contenidos multimedia de manera remota, en vivo o fuera de línea. El objetivo de éste artículo es proponer un entorno de pruebas para el soporte del servicio de videostreaming haciendo uso de herramientas libres. Así mismo, este trabajo propone como parte de éste entorno, una herramienta para la medición de estrés llamada Hermes, la cual permite obtener los tiempos de respuesta producto de las múltiples conexiones RTSP a servidores de streaming. La metodología usada para el desarrollo de este trabajo está dividida en 4 fases: análisis de tecnologías y herramientas, configuración del entorno de videostreaming, diseño e implementación de Hermes y pruebas. Está metodología permitió la construcción del entorno de pruebas y su evaluación, a través de la herramienta de medición de estrés Hermes. Finalmente, mediante este trabajo se demuestra como el entorno de pruebas presentado, se convierte en un punto de referencia para diversos entornos de aplicación que requieran el montaje e implementación del servicio de videostreaming

A Semantic Framework for Declarative and Procedural Knowledge

In any scientic domain, the full set of data and programs has reached an-ome status, i.e. it has grown massively. The original article on the Semantic Web describes the evolution of a Web of actionable information, i.e.\ud information derived from data through a semantic theory for interpreting the symbols. In a Semantic Web, methodologies are studied for describing, managing and analyzing both resources (domain knowledge) and applications (operational knowledge) - without any restriction on what and where they\ud are respectively suitable and available in the Web - as well as for realizing automatic and semantic-driven work\ud ows of Web applications elaborating Web resources.\ud This thesis attempts to provide a synthesis among Semantic Web technologies, Ontology Research, Knowledge and Work\ud ow Management. Such a synthesis is represented by Resourceome, a Web-based framework consisting of two components which strictly interact with each other: an ontology-based and domain-independent knowledge manager system (Resourceome KMS) - relying on a knowledge model where resource and operational knowledge are contextualized in any domain - and a semantic-driven work ow editor, manager and agent-based execution system (Resourceome WMS).\ud The Resourceome KMS and the Resourceome WMS are exploited in order to realize semantic-driven formulations of work\ud ows, where activities are semantically linked to any involved resource. In the whole, combining the use of domain ontologies and work ow techniques, Resourceome provides a exible domain and operational knowledge organization, a powerful engine for semantic-driven work\ud ow composition, and a distributed, automatic and\ud transparent environment for work ow execution

Requirements for a software maintenance support environment

This thesis surveys the field of software maintenance, and addresses the maintenance requirements of the Aerospace Industry, which is developing inige projects, running over many years, and sometimes safety critical in nature (e.g. ARIANE 5, HERMES, COLUMBUS). Some projects are collaborative between distributed European partners. The industry will have to cope in the near and far future with the maintenance of these products and it will be essential to improve the software maintenance process and the environments for maintenance. Cost effective software maintenance needs an efficient, high quality and homogeneous environment or Integrated Project Support Environment (IPSE). Most IPSE work has addressed software development, and lias not fully considered the requirements of software maintenance. The aim of this project is to draw up a set of priorities and requirements for a Maintenance IPSE. An IPSE, however can only support a software maintenance method. The first stage of this project is to deline 'software maintenance best practice' addressing the organisational, managerial and technical aspects, along with an evaluation of software maintenance tools for Aerospace systems. From this and an evaluation of current IPSEs, the requirements for a Software Maintenance Support Environment are presented for maintenance of Aerospace software

Using parametric set constraints for locating errors in CLP programs

This paper introduces a framework of parametric descriptive directional types for constraint logic programming (CLP). It proposes a method for locating type errors in CLP programs and presents a prototype debugging tool. The main technique used is checking correctness of programs w.r.t. type specifications. The approach is based on a generalization of known methods for proving correctness of logic programs to the case of parametric specifications. Set-constraint techniques are used for formulating and checking verification conditions for (parametric) polymorphic type specifications. The specifications are expressed in a parametric extension of the formalism of term grammars. The soundness of the method is proved and the prototype debugging tool supporting the proposed approach is illustrated on examples. The paper is a substantial extension of the previous work by the same authors concerning monomorphic directional types.Comment: 64 pages, To appear in Theory and Practice of Logic Programmin