Traduciendo OCL como lenguaje de consultas y restricciones

Tesis inédita de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, leída el 30-06-2017Esta tesis doctoral debe gran parte de su motivación inicial y enfoque final a la discusión muy animada y perspicaz que tuvo lugar durante el seminario “Automated Reasoning on Conceptual Schemas” en Dagstuhl (19-24 Mayo, 2013) [18], en el cual tuvimos la fortuna de participar.Incluso antes de asistir al seminario, sobre la base de nuestra propia experiencia aplicando la metodología de desarrollo dirigida por modelos en el proyecto Action GUI [1],ya estábamos convencidos de la veracidad y la importancia de tres declaraciones claves contenidas en la presentación del mismo, que resumen muy bien las motivaciones finales de esta tesis:“La calidad de un sistema de información se determina en gran medida a principios del ciclo de desarrollo, es decir, durante la especificación de los requisitos y el modelado conceptual, ya que los errores introducidos en estas etapas suelen ser mucho más costosos de corregir que los errores cometidos durante el diseño o la implementación.”“Por lo tanto, es deseable prevenir, detectar y corregir errores tan pronto como sea posible en el proceso de desarrollo evaluando la corrección de los esquemas conceptuales construidos.”“La alta expresividad de los esquemas conceptuales requiere adoptar técnicas de razonamiento automatizadas para apoyar al diseñador en esta importante tarea.”...This doctoral dissertation owes a great deal of its initial motivation and final focusto the very lively and insightful discussion that took place during the Dagstuhl Seminar“Automated Reasoning on Conceptual Schemas” (19-24 May, 2013) [18], which we havethe fortune to participate in.Even before attending the seminar, based on our own experience applying the modeldrivendevelopment methodology within the ActionGUI project [1], we were already convincedof the truthfulness and importance of three key statements contained in the seminar’spresentation, which summarize very well this dissertation’s ultimate motivations:“The quality of an information system is largely determined early in the developmentcycle, i.e., during requirements specification and conceptual modeling, since errorsintroduced at these stages are usually much more expensive to correct than errorsmade during design or implementation.”“Thus, it is desirable to prevent, detect, and correct errors as early as possible in thedevelopment process by assessing the correctness of the conceptual schemas built.”“The high expressivity of conceptual schemas requires to adopt automated reasoningtechniques to support the designer in this important task.”..Depto. de Sistemas Informáticos y ComputaciónFac. de InformáticaTRUEunpu

MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL

In this paper we introduce a MySQL code generator for a significant subset of OCL expressions which is based on the use of stored procedures for mapping OCL iterators. Our code generator is defined recursively over the structure of OCL expressions. We discuss the class of OCL expressions covered by our definition (which includes, possibly nested, iterator expressions) as well as some extensions needed to cover the full OCL language. We also discuss the efficiency of the MySQL code produced by our code generator, and compare it with previous known results on evaluating OCL expressions on medium-large scenarios. We have implemented our code generator in the MySQL4OCL tool

Impacto de las inspecciones de seguridad en el nivel de vulnerabilidad del colegio Sintrafec ´Hernán Silva Pérez ´ de Ibagué

Sistematizar la experiencia en el desarrollo del programa de inspecciones del Colegio Sintrafec Hernán Silva Pérez de Ibagué.Este trabajo se realiza con el fin de sistematizar la práctica profesional, aplicando todos los conocimientos adquiridos dentro del desarrollo de la misma y los aprendidos durante toda la carrera ,la practica realizada en la empresa Colegio Sintrafec ´´Hernán Silva Pérez´´ de Ibagué, tuvo como objetivo diseñar un programa de inspecciones, según el nivel de vulnerabilidad en el que se encontraba, con el fin de establecer medidas de prevención y control a los riesgos a los cuales se encontraban expuestos en el desarrollo de sus actividades laborales.8 La identificación de los riesgos se realizó por medio de observación directa en las instalaciones de la institución educativa, y posteriormente realizando un análisis de vulnerabilidad inicial, como se propone en el Decreto 2157, por medio del cual se adoptan directrices generales para la elaboración de un plan de gestión de riesgos de desastres de las entidades públicas y privadas. (Ministerio del trabajo, 2017) En la valoración de los riesgos se tuvo en cuenta aquellos controles ya existentes, donde se pudo evidenciar la carencia de control sobre el abastecimiento de implementos y suministros básicos e importantes para la prevención y atención de emergencias y eventualidades que pudieran presentarse en las instalaciones del plantel educativo, de esta misma forma se evidenció el desinterés del personal colaborativo por gestionar y vigilar la existencia de estos implementos que tan útiles y necesarios para la prevención de riesgos como se menciona anteriormente. Para mejorar las condiciones de seguridad y salud en el trabajo del personal del Colegio Sintrafec, se propuso la creación de un programa de inspecciones planeadas como lo propone la NTC 4114, donde se indica todo lo relacionado con inspecciones planeadas o programadas según el área y nivel de vulnerabilidad en que se encuentre inmersa la organización y sus necesidades. (Icontec, 1997

Exportación de joyería de plata de Perú a Estados Unidos 2004-2013

La presente investigación fue elaborada teniendo en cuenta información actual y de hace 9 años atrás ya que nuestro principal objetivo es Determinar la evolución de la exportación de joyería de plata del Perú a Estados Unidos durante el periodo 2004-2013. Nuestra información muestra que la joyería de plata peruana tiene gran demanda en diferentes países y sobre todo Estados Unidos así como también que somos un país altamente productor de este bien ya que contamos con la materia prima y diversos tipos de plata atractivos a muchos mercados donde se puede comercializar, los datos obtenidos fueron ex post facto recolectada de diversas fuentes de información especializadas en el tema de investigado así como también fue recolectada la data para los resultados. De esta manera haber analizado la información habré Determinado la evolución de la exportación de joyería de plata del Perú a Estados Unidos durante el periodo 2004-2013

Impacto de las inspecciones de seguridad en el nivel de vulnerabilidad del Colegio Sintrafec ´Hernán Silva Pérez ´ de Ibagué

Evaluar el impacto de las inspecciones de seguridad en el nivel de vulnerabilidad del Colegio Sintrafec ´Hernán silva Pérez ´ de IbaguéEn estas épocas tan cambiantes como las de ahora, las organizaciones están siendo obligadas a adaptarse al cambio e ir evolucionando constantemente para llegar a una meta que es poder ofrecer mejores servicios o productos de mejor calidad, es por ello que se hace necesario que los empresarios u organizaciones diseñen nuevas estrategias que les permitan tener un alto nivel de competitividad, para lograrlo, se está enfocando en el mejoramiento continuo de los procesos, la calidad, y de prioridad máxima a la prevención de enfermedades laborales y accidentes de trabajo, es por eso que se destaca la importancia de la implementación de un programa de inspecciones planeadas en las empresas , ya que a través de este es más fácil la identificación temprana de aquellos riesgos que puedan representar un peligro o amenaza a los colaboradores, y así mismo actuar y tomar las medidas pertinentes de acuerdo a las necesidades identificadas. El decreto 1072 , por medio del cual se reglamenta el sector único del trabajo , indica en su Capítulo 6 art 2.2.4.6.25 todo lo relacionado con la prevención ,preparación y respuesta ante emergencias , donde el empleador o contratante debe implementar y mantener las medidas necesarias para que éstas se les dé debido cumplimiento en la organización ,con cobertura a todos los centros de trabajo y colaboradores , independiente de su forma de contratación o vinculación ,incluidos contratistas y sub contratistas así como proveedores y visitantes (Ministerio del Trabajo, 2015, p.103) 10 Por lo anterior se destaca que según se establece en el decreto 1072, es importante la aplicación, divulgación y capacitación en temas y conceptos de seguridad y salud en el trabajo, ya que favorece de manera positiva y directa a la organización para la identificación y evaluación de todos los riesgos y peligros existentes. Por consiguiente, permite tomar todas las medidas posibles para sus eliminaciones, sustitución, controles de ingeniería, administrativos o incluso implementación de EPI como lo menciona el Capítulo 6 del decreto 1072 2015, art 2.2.4.6.24 ´´Medidas de Prevención y Control. Las medidas de prevención y control deben adoptarse con base en el análisis de pertinencia, teniendo en cuenta el siguiente esquema de jerarquización´´, entonces de acuerdo a los resultados obtenidos del nivel de vulnerabilidad en que se encuentre la empresa, para así permitir el debido funcionamiento a lo que respecta las tareas de la organización, sus requerimientos y su estructura física en general (Ministerio del trabajo 2015, p.102). Mediante la realización del análisis de vulnerabilidad como se menciona en el Decreto 2157 ,por medio del cual se adoptan directrices generales para la elaboración de un plan de gestión de riesgos de destares de las entidades públicas y privadas en el marco del artículo 42 de la ley 1523 de 2012) , se obtiene la información necesaria para la toma de controles oportunos y su respectivo seguimiento , sobre qué hacer y cómo actuar ante los riesgos potenciales en cuanto a accidentes , enfermedades e incidentes de trabajo , evitando así costos innecesarios en capacitaciones y medidas ineficientes como suele resultar cuando no hay una correcta toma de decisiones.(Departamento Administrativo de la Presidencia de la Republica, 2017

Impacto de las inspecciones de seguridad en el nivel de vulnerabilidad del Colegio Sintrafec ´Hernán Silva Pérez ´ de Ibagué

Evaluar el impacto de las inspecciones de seguridad en el nivel de vulnerabilidad del Colegio Sintrafec ´Hernán silva Pérez ´ de IbaguéEn estas épocas tan cambiantes como las de ahora, las organizaciones están siendo obligadas a adaptarse al cambio e ir evolucionando constantemente para llegar a una meta que es poder ofrecer mejores servicios o productos de mejor calidad, es por ello que se hace necesario que los empresarios u organizaciones diseñen nuevas estrategias que les permitan tener un alto nivel de competitividad, para lograrlo, se está enfocando en el mejoramiento continuo de los procesos, la calidad, y de prioridad máxima a la prevención de enfermedades laborales y accidentes de trabajo, es por eso que se destaca la importancia de la implementación de un programa de inspecciones planeadas en las empresas , ya que a través de este es más fácil la identificación temprana de aquellos riesgos que puedan representar un peligro o amenaza a los colaboradores, y así mismo actuar y tomar las medidas pertinentes de acuerdo a las necesidades identificadas. El decreto 1072 , por medio del cual se reglamenta el sector único del trabajo , indica en su Capítulo 6 art 2.2.4.6.25 todo lo relacionado con la prevención ,preparación y respuesta ante emergencias , donde el empleador o contratante debe implementar y mantener las medidas necesarias para que éstas se les dé debido cumplimiento en la organización ,con cobertura a todos los centros de trabajo y colaboradores , independiente de su forma de contratación o vinculación ,incluidos contratistas y sub contratistas así como proveedores y visitantes (Ministerio del Trabajo, 2015, p.103) 10 Por lo anterior se destaca que según se establece en el decreto 1072, es importante la aplicación, divulgación y capacitación en temas y conceptos de seguridad y salud en el trabajo, ya que favorece de manera positiva y directa a la organización para la identificación y evaluación de todos los riesgos y peligros existentes. Por consiguiente, permite tomar todas las medidas posibles para sus eliminaciones, sustitución, controles de ingeniería, administrativos o incluso implementación de EPI como lo menciona el Capítulo 6 del decreto 1072 2015, art 2.2.4.6.24 ´´Medidas de Prevención y Control. Las medidas de prevención y control deben adoptarse con base en el análisis de pertinencia, teniendo en cuenta el siguiente esquema de jerarquización´´, entonces de acuerdo a los resultados obtenidos del nivel de vulnerabilidad en que se encuentre la empresa, para así permitir el debido funcionamiento a lo que respecta las tareas de la organización, sus requerimientos y su estructura física en general (Ministerio del trabajo 2015, p.102). Mediante la realización del análisis de vulnerabilidad como se menciona en el Decreto 2157 ,por medio del cual se adoptan directrices generales para la elaboración de un plan de gestión de riesgos de destares de las entidades públicas y privadas en el marco del artículo 42 de la ley 1523 de 2012) , se obtiene la información necesaria para la toma de controles oportunos y su respectivo seguimiento , sobre qué hacer y cómo actuar ante los riesgos potenciales en cuanto a accidentes , enfermedades e incidentes de trabajo , evitando así costos innecesarios en capacitaciones y medidas ineficientes como suele resultar cuando no hay una correcta toma de decisiones.(Departamento Administrativo de la Presidencia de la Republica, 2017

Panel discussion: Proposals for improving OCL

During the panel session at the OCL workshop, the OCL community discussed, stimulated by short presentations by OCL experts, potential future extensions and improvements of the OCL. As such, this panel discussion continued the discussion that started at the OCL meeting in Aachen in 2013 and on which we reported in the proceedings of the last year's OCL workshop. This collaborative paper, to which each OCL expert contributed one section, summarises the panel discussion as well as describes the suggestions for further improvements in more detail.Peer ReviewedPostprint (published version

Diseño de un dispensador automático de alimento concentrado para cerdos.

No aplica.Aunque durante los últimos años el sector Porcícola colombiano ha venido creciendo y muestra gran dinamismo, factores como el aumento de las importaciones de carne de cerdo a consecuencia del Tratado de Libre Comercio y los elevados costos de producción particularmente en la alimentación, generan incertidumbre y preocupación, especialmente para los pequeños y medianos porcicultores. Actualmente en el mercado es posible encontrar una amplia gama de dispensadores automáticos para la alimentación de especies animales, tanto domesticas como productivas, como es el caso de la ganadería, la avicultura, la piscicultura o la porcicultura a gran escala. Sin embargo, son pocos los pequeños y medianos productores que tienen acceso a este tipo de tecnología, limitando su competitividad en el mercado. Mediante el presente proyecto aplicado se pretende diseñar e implementar un dispensador de alimento concentrado para cerdos, empleando materiales asequibles y económicos, con el fin de automatizar el proceso de administración de concentrado, mejorando su aprovechamiento al proveer raciones alimenticias proporcionales a los requerimientos de la tabla nutricional en horarios exactos. Como resultado, esperamos contribuir en la superación de las dificultades de este sector productivo, brindando herramientas de tecnificación que aporten significativamente para hacer de la porcicultura colombiana una actividad más productiva y competitiva, especialmente para los porcicultores de nuestra región.Although during the last years the Colombian pork sector has been growing and shows great dynamism, factors such as the increase of pork imports as a consequence of the Free Trade Agreement and the high production costs, particularly in feed, generate uncertainty and concern, especially for small and medium pig farmers. Currently in the market it is possible to find a wide range of automatic dispensers for feeding animal species, both domestic and productive, as is the case of livestock, poultry, fish or pig farming on a large scale. However, few small and medium producers have access to this type of technology, limiting their competitiveness in the market. Through this applied project, we intend to design and implement a concentrated feed dispenser for pigs, using affordable and economical materials, in order to automate the process of concentrate administration, improving its utilization by providing feed rations proportional to the requirements of the nutritional table at exact times. As a result, we hope to contribute in overcoming the difficulties of this productive sector, providing technification tools that contribute significantly to make Colombian swine farming a more productive and competitive activity, especially for the pig farmers of our region