Inovação tecnológica de boas práticas agrícolas e a informática na gestão agropecuária

This study aims to develop innovative proposals for production agriculture management and plans to build a participatory model, through the digital inclusion of members of the family farm gathered in a cooperative venture seeking to establish new environmental management efficiency for household production. The first part of the hypothesis assumes that a major obstacle to the insertion of small family farms into the markets is skilled labor, human capital. A training model has been developed for traceability and tracking activities on family farms, based on the atemoya culture. The second hypothesis predicts that it is possible to create a model that is scientifically supported by widely accepted rules derived from GlobalGAP standard certification, a global benchmark for good agricultural practices. Using these rules the model seeks to achieve the traceability of agricultural products and operations from the preservation of identity information within the production chain. The results obtained by the computerized system confirmed the presented hypotheses by demonstrating that technological innovation through intensive communication and information technologies education as well as other associated forms are important drivers of regional development, especially if implemented through a digital inclusion project using the state program Infocentros Access São Paulo.

A UML profile for the OBO relation ontology

Background: Ontologies have increasingly been used in the biomedical domain, which has prompted the emergence of different initiatives to facilitate their development and integration. The Open Biological and Biomedical Ontologies (OBO) Foundry consortium provides a repository of life-science ontologies, which are developed according to a set of shared principles. This consortium has developed an ontology called OBO Relation Ontology aiming at standardizing the different types of biological entity classes and associated relationships. Since ontologies are primarily intended to be used by humans, the use of graphical notations for ontology development facilitates the capture, comprehension and communication of knowledge between its users. However, OBO Foundry ontologies are captured and represented basically using text-based notations. The Unified Modeling Language (UML) provides a standard and widely-used graphical notation for modeling computer systems. UML provides a well-defined set of modeling elements, which can be extended using a built-in extension mechanism named Profile. Thus, this work aims at developing a UML profile for the OBO Relation Ontology to provide a domain-specific set of modeling elements that can be used to create standard UML-based ontologies in the biomedical domain. Results: We have studied the OBO Relation Ontology, the UML metamodel and the UML profiling mechanism. Based on these studies, we have proposed an extension to the UML metamodel in conformance with the OBO Relation Ontology and we have defined a profile that implements the extended metamodel. Finally, we have applied the proposed UML profile in the development of a number of fragments from different ontologies. Particularly, we have considered the Gene Ontology (GO), the PRotein Ontology (PRO) and the Xenopus Anatomy and Development Ontology (XAO). Conclusions: The use of an established and well-known graphical language in the development of biomedical ontologies provides a more intuitive form of capturing and representing knowledge than using only text-based notations. The use of the profile requires the domain expert to reason about the underlying semantics of the concepts and relationships being modeled, which helps preventing the introduction of inconsistencies in an ontology under development and facilitates the identification and correction of errors in an already defined ontology.

Desarrollo del modelo de negocio de una asesoría informática para el sector turístico

[ES] El objetivo de este TFG es la obtención de un modelo de negocio de una asesoría informática para PYMES, centrada en el sector turístico, mediante la metodología de desarrollo del cliente utilizando el famoso método del lienzo creado por Alexander Osterwalder. Para la obtención del mismo se han realizado encuestas a cuarenta negocios de la isla de Gran Canaria. El proceso seguido ha consistido en someter el lienzo de trabajo a modificaciones, a fin de obtener hipótesis verificadas y poder crear un catálogo de servicios. En este proyecto se han realizado tres etapas diferentes. En la primera etapa del proceso se realizaron veintidós encuestas, siendo los resultados obtenidos modificaciones en seis de los nueve bloques que forman el lienzo. En la segunda etapa se realizaron dieciséis encuestas, confirmándose los aspectos modificados en la etapa anterior y refinándose aspectos de diferentes bloques del modelo de negocio. Finalmente en la tercera etapa se realizaron catorce encuestas. Los resultados obtenidos no hicieron variar significativamente el modelo de negocio, con lo que se dio por concluido el proceso. El resultado obtenido es el modelo de negocio validado y verificado, así como un catálogo de servicios definidos.

Hacia una escala de autoeficacia informática para estudiantes de Traducción

[ES]El objetivo del este trabajo ha sido diseñar y validar una prueba psicométrica que mida la autoeficacia informática básica de los estudiantes de traducci´on e interpretaci´on. En principio tal escala difiere de otras que miden la autoeficacia inform´atica general no solo en la especificidad de sus contenidos, sino tambi´en en el grado de profundizaci´on requerido en algunos de ellos. La Escala de Autoeficacia Inform´atica B´asica para Traductores (AeIBT) ha mostrado unas propiedades psicom ´etricas adecuadas en este estudio preliminar; a mayor especializaci´on de las tareas menor nivel de confianza en sus capacidades por parte de los estudiantes, pero tambi´en menor influencia ejercida por la ansiedad inform ´atica. El hecho de disponer de una prueba espec´?fica con propiedades psicom´etricas adecuadas, facilitar´a la investigaci´on emp´?rica acerca de la posible influencia de la autoeficacia percibida por los estudiantes sobre su rendimiento en el aprendizaje y uso de las herramientas de traducci´on asi tida por ordenador.

Il linguaggio Alloy come ausilio nella specifica formale di modelli UML

UML è ampiamente considerato lo standard de facto nella fase iniziale di modellazione di sistemi software basati sul paradigma Object-Oriented; il suo diagramma delle classi è utilizzato per la rappresentazione statica strutturale di entità e relazioni che concorrono alla definizione delle specifiche del sistema; in questa fase viene utilizzato il linguaggio OCL per esprimere vincoli semantici sugli elementi del diagramma. Il linguaggio OCL però soffre della mancanza di una verifica formale sui vincoli che sono stati definiti. Il linguaggio di modellazione Alloy, inserendosi in questa fase, concettualmente può sopperire a questa mancanza perchè può descrivere con le sue entità e relazioni un diagramma delle classi UML e, tramite propri costrutti molto vicini all'espressività di OCL, può specificare vincoli semantici sul modello che verranno analizzati dal suo ambiente l'Alloy Analyzer per verificarne la consistenza. In questo lavoro di tesi dopo aver dato una panoramica generale sui costrutti principali del linguaggio Alloy, si mostrerà come è possibile creare una corrispondenza tra un diagramma delle classi UML e un modello Alloy equivalente. Si mostreranno in seguito le analogie che vi sono tra i costrutti Alloy e OCL per la definizione di vincoli formali, e le differenze, offrendo nel complesso soluzioni e tecniche che il modellatore può utilizzare per sfruttare al meglio questo nuovo approccio di verifica formale. Verranno mostrati anche i casi di incompatibilità. Infine, come complemento al lavoro svolto verrà mostrata, una tecnica per donare una dinamicità ai modelli statici Alloy.