Implementación de un lenguaje de definición de operaciones complejas en Gestión de Modelos para la herramienta MOMENT

La Ingeniería dirigida por Modelos permite incrementar la productividad en el proceso de desarrollo software, obteniendo herramientas más interoperables y sencillas de mantener mediante técnicas que elevan el nivel de abstracción. En esta dirección, ha aparecido la disciplina «Gestión de Modelos», que proporciona un conjunto de operadores genéricos basados en teoría de conjuntos para tratar con modelos. Esta aproximación muestra su potencia en las capacidades de composicionalidad de los operadores que proporciona. La tesis de máster que el alumno presenta, describe cómo se proporciona soporte a la definición de operadores complejos con una herramienta del marco de la Gestión de Modelos (MOMENT) mediante un lenguaje específico de dominio.Gómez Llana, A. (2007). Implementación de un lenguaje de definición de operaciones complejas en Gestión de Modelos para la herramienta MOMENT. http://hdl.handle.net/10251/12522Archivo delegad

Documentación y análisis crítico de algunas arquitecturas de software en aplicaciones empresariales

Los ingenieros de sistemas generalmente se concentran en el sistema que se está desarrollando actualmente, sin ocuparse mucho de la empresa que soporta dicho sistema. En la empresa de hoy, impulsada por los negocios, existe una relación directa entre la capacidad de negocios de la empresa y la funcionalidad implementada en los proyectos. Con un adecuado conocimiento en arquitectura empresarial de software, se puede desarrollar aplicaciones robustas y escalables para futuras implementaciones de manera que evite modificar la arquitectura de la empresa o verse limitada. Por eso es útil tener a disposición información acerca de las arquitecturas de software más usadas para el diseño de aplicaciones empresariales para aquellos que no tienen mucha experiencia en este campo y resaltar la importancia de describir claramente la situación actual de la arquitectura empresarial antes y después de una implementación nueva

Construcción de un operador de Matching Ontológico para los niveles de representación semántico y semiótico

Este trabajo describe el diseño de un operador matching ontológico aplicable en el modelo conceptual propuesto por Chavarro (Chavarro, 2012), un diseño de cuatro capas que permite la configuración del operador de diferentes tipos de técnicas tanto a nivel de elemento como a nivel de estructura. El objetivo de este diseño es la creación de matcher ontológico de alto nivel adaptables a las necesidades de las ontologías con las cuales opera. Este trabajo presenta las primeras fases de construcción del operador y sus resultados preliminares

FlexiMC Framework: framework flexible para model checking

Los algoritmos de verificación de modelos (Model Checking) verifican una fórmula lógica sobre un modelo. Esta técnica permite tanto comprobar un correcto funcionamiento como descubrir errores de diseño y es aplicable a una gran variedad de campos. Una desventaja común al utilizar esta técnica es que dichos modelos deben ser traducidos al lenguaje concreto del sistema de Model Checking. El framework que aquí se presenta permite adaptar la técnica a los lenguajes, soportando la definición y uso de lenguajes específicos del dominio de forma directa, además de otras facilidades como permitir una visualización de contraejemplos personalizada o una gran flexibilidad en los algoritmos a usar. [ABSTRACT] Model Checking algorithms verify whether a logical formula holds in a model. Such technique allows checking the correct functionality of the modeled system as well as finding design mistakes, and can be applied in a wide variety of fields. A typical disadvantage of using this technique is the need to translate such models to the concrete Model Checking system language. The framework presented here allows adapting the technique to different languages, supporting the definition and use of domain specific languages directly. It also incorporates some other facilities like the creation of customized counter-example viewers or allowing the replacement of the specific algoritms used in the checking.Model Checking algorithms verify whether a logical formula holds in a model. Such technique allows checking the correct functionality of the modeled system as well as finding design mistakes, and can be applied in a wide variety of fields. A typical disadvantage of using this technique is the need to translate such models to the concrete Model Checking system language. The framework presented here allows adapting the technique to different languages, supporting the definition and use of domain specific languages directly. It also incorporates some other facilities like the creation of customized counter-example viewers or allowing the replacement of the specific algoritms used in the checking

Development of a specific domain language (DSL) graphic for the modeling of spatial databases

El modelado de bases de datos espaciales se desarrolla actualmente requiriendo que los usuarios tengan conocimiento en algunas herramientas y lenguajes de propósito general lo que en ocasiones dificulta el proceso de diseño e implementación de estas en entornos computacionales pues se requiere de un gran aprendizaje y conocimiento de esos lenguajes y de procedimientos complejos y engorrosos. Los lenguajes de dominio específico ofrecen una alternativa para facilitar muchos de estos procesos, por ello se evidencia necesario desarrollar una propuesta de metamodelo y su respectivo DSL gráfico que facilite el modelamiento de este tipo de bases de datos espaciales relacionales para los usuarios finales. Para ello se partirá de una propuesta abstracta para luego llevarla a una sintaxis concreta y posteriormente poder transformar los modelos en código para las extensiones Open Source como PostGIS y MySQL Spatial con el fin que los usuarios finales puedan emplear la propuesta de DSL gráfico y experimentar mejoras en el proceso de modelado de su bases de datos.The modeling of Spatial Databases is currently being developed, requiring users to have knowledge in some general purpose tools and languages, which sometimes hinders the process of designing and implementing these in computer environments because it requires a great learning and knowledge of those languages ​​and complex and cumbersome procedures. Specific Domain Languages ​​offer an alternative to facilitate many of these processes, therefore it is necessary to develop a metamodel proposal and its respective DSL graph that facilitates the modeling of this type of Relational Spatial Databases for end users. This will be based on an abstract proposal and then take it to a specific syntax and then transform the models into code for Open Source extensions such as PostGIS and MySQL Spatial so that end users can use the DSL graphic proposal and experience improvements in the process of modeling your Databases

Elementos fundamentales de los lenguajes del computador

El presente trabajo, tiene como objetivo el estudio de los lenguajes de programación y modelamiento de software. No siendo posible estudiar cada uno de los lenguajes de forma particular (lo que tomaría años) se ha optado por llevar a cabo un estudio comparativo de los lenguajes con base en el reconocimiento de sus elementos comunes y de sus diferencias. A este fin se ha efectuado un reconocimiento de los principales componentes de los lenguajes, vistos como unidades discretas (v.g. sus “tipos de dato”, “operadores”, “literales”, “instrucciones”, “construcciones visuales”, etc..) y a ellos se les ha asociado uno o varios “significados”. Estos significados conforman los “elementos fundamentales” de los lenguajes. La multiplicidad de los lenguajes es manejada, por este mecanismo, proyectando los múltiples componentes de los lenguajes, a un conjunto mucho mas reducido de elementos. Así pues, múltiples componentes de uno o varios lenguajes significarán lo mismo (tendrán igual “semántica”), y un elemento de significado podrá ser expresado de múltiples maneras (adoptará formas diferentes bajo diferentes “sintaxis”) . La expectativa de esta manera de abordar el problema, es la de que, con el estudio de un conjunto relativamente pequeño de elementos fundamentales, el lector pueda “entender” una gama muy amplia de lenguajes de programación. Entendiendo por “entender el lenguaje” como el tener la capacidad de utilizar estos lenguajes para crear programas, luego de un estudio relativamente corto de las formas sintácticas con que se expresan los elementos fundamentales que lo conforman. Esto presupone que la escritura de los programas se basa es en el conocimiento y manipulación de los elementos fundamentales (y de su significado frente al problema que se quiere resolver ), mas bien que en la manipulación de las formas sintácticas que dichos elementos toman en un lenguaje particular. La búsqueda de los “elementos fundamentales de los lenguajes”, ha conducido a una concepción muy simplificada de los lenguajes en conjunto, en la que una serie de principios básicos cognitivos (“agregación”, “modularización”, ”relación”, “definición” y “abstracción”), orientan la definición de un conjunto de construcciones de los lenguajes (“términos”, “instrucciones”, “aserciones”, “procedures”, “subroutinas”, “construcciones visuales”, “estructuras de datos”, “relaciones”, “objetos” etc..), que tienen, o implementan, uno o varios significados definidos. El significado de estas construcciones se relaciona con la necesidad de proveer mecanismos para que, a partir de unos operadores, datos y tipos elementales, el usuario del lenguaje pueda construir operadores, datos y tipos mas complejos. El estudio de estos significados y las construcciones que los implementan, constituye el objeto de estudio del trabajo. La estructura del trabajo se ajusta, además, a la idea que el autor tiene, en el momento, de dichos elementos fundamentales. La Parte I, presenta los conceptos básicos del trabajo. La parte II, presenta un conjunto de operadores básicos, situándose en el nivel de los lenguajes de 3ª generación. La Parte III, presenta las construcciones para definir operadores complejos. La Parte IV, presenta las construcciones para definir operandos complejos. Y la Parte V, presenta las construcciones para definir tipos complejos. A continuación se indica la estructura y contenido de las diferentes partes del trabaj

Web semántica : un nuevo enfoque para la organización y recuperación de información en el web

A theoretical and conceptual approach to the development of the information organization and retrieval is made in an automatic environment by means of the automatic indexing and classification of the information as processes prior to information retrieval. The evolution experienced by the systems of organization of information and knowledge is analysed by taxonomies, thesaurus and Topic Maps toward more complex structures, such as ontologies. Some metadata schemes created for the description of the information in the web, as well as the components and technologies that integrate the theoretical model of the web semantics, are examined. Finally, the constructive stratum model that will guarantee the functioning of its entire infrastructure is explained

Las necesidades de información y formación : perspectivas socio-psicológica e informacional

Aimed at analyzing the psychological and social mechanisms that generate the so called information and formation needs, the categories "Activity" and "Communication" are analyzed as they are used in psychological sciences, as a conceptual system substratum related to needs, as well as the starting points to deduce the main determining of needs and existing needs. The treatment of this conceptual system in informational sciences is also presented. The main models, approaches and methods applied in researches for users and their needs are also exposed

Diseño, Especificación, Validación y Aplicación de una Arquitectura modular de gestión de Redes Inalámbricas de Sensores

Durante los últimos años las redes de sensores inalámbricas han sido objeto, como consecuencia de un creciente interés comercial, de una intensa actividad de investigación que ha determinado relevantes avances tanto en la tecnología base como en los aspectos de ingeniería a todos los niveles. Las redes de sensores inalámbricas se basan en el concepto de nodo sensor autónomo de bajo coste que proporciona recursos limitados en términos de cálculo y capacidad de almacenamiento de información, baja potencia de transmisión y sensorica avanzada. Se caracterizan por el tamaño extremadamente reducido y una ingeniería orientada a la eficiencia energética. A pesar de la disponibilidad de soluciones altamente avanzadas, caracterizadas por la eficiencia y la flexibilidad, la difusión comercial masiva se ha planteado más veces como hipótesis plausible y además parece tardar en concretarse de forma definitiva. Las principales causas están relacionadas, directamente o indirectamente, con dos factores: coste elevado y falta de suficiente fiabilidad/robustez. Una de las consecuencias del desarrollo de arquitecturas "ad-hoc" que caracteriza actualmente las redes de sensores inalámbricas es la de garantizar una gran cantidad de óptimos locales siendo la causa principal de una preocupante ausencia de estándares tanto en términos de protocolos de comunicación como en términos de organización y representación de información. También nuevos modelos de negocio y de explotación dentro de las organizaciones virtuales de última generación son actualmente temas de atención en el seno de la comunidad científica internacional. Este trabajo se sitúa en el marco de las últimas líneas de investigación orientadas a conciliar soluciones avanzadas, caracterizadas por una ingeniería innovadora, con su aplicación efectiva en el mundo realPileggi ., SF. (2011). Diseño, Especificación, Validación y Aplicación de una Arquitectura modular de gestión de Redes Inalámbricas de Sensores [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/10740Palanci