Person: Tenorio Fornés, Antonio
Loading...
First Name
Antonio
Last Name
Tenorio Fornés
Affiliation
Universidad Complutense de Madrid
Faculty / Institute
Informática
Department
Sistemas Informáticos y Computación
Area
Identifiers
17 results
Search Results
Now showing 1 - 10 of 17
Publication Decentralizing peer reviewing to increase transparency, quality and reliability(2019) Pérez Tirador, Elena; Tenorio Fornés, AntonioPublication Two type extensions for the constraint modelling language MiniZinc(Elsevier, 2015-11-01) Caballero Roldán, Rafael; Stuckey, Peter J.; Tenorio Fornés, AntonioIn this paper we present two type extensions for the modelling language MiniZinc that allow the representation of some problems in a more natural way. The first proposal, called MiniZinc? , extends existing types with additional values. The user can specify both the extension of a predefined type with new values, and the behavior of the operations with relation to the new types. We illustrate the usage of MiniZinc? to model SQL-like problems with integer variables extended with NULL values. The second extension, MiniZinc+, introduces union types in the language. This allows defining recursive types such as trees, which are very useful for modelling problems that involve complex structures. A new case statement is introduced to select the different components of union type terms. The paper shows how a model defined using these extensions can be transformed into a MiniZinc model which is equivalent to the original model.Publication Reputation. Glossary of Distributed Technologies.(Alexander von Humboldt Institute for Internet and Society, 2021-04-19) De Filippi, Primavera; Shimony, Ori; Tenorio Fornés, AntonioReputation in a blockchain-based system is a digital representation of an entity’s standing or status in a specific domain.Publication Métodos de evaluación, mantenimiento y reutilización de páginas 'wiki' educativas de acceso abierto(2016-07-29) Peinado Gil, Federico; Pavón Mestras, Juan; Román Navarro, Sara; Sánchez Hernández, Jaime; Gómez Gauchía, Héctor; Arroyo Gallardo, Javier; Ullán Hernández, Eva; Hassan, Samer; Tenorio Fornés, AntonioEl propósito de este proyecto ha sido el desarrollo y la consolidación de la manera en que los docentes gestionamos las denominadas ‘wikis’, páginas web autoeditables que varias asignaturas universitarias utilizan ya como recursos docentes abiertos y colaborativos. Concretamente nos centramos en los tres aspectos más relevantes de dicha gestión: la evaluación de la utilidad de estos recursos, su mantenimiento para que permanezcan funcionales y relevantes para nuestro alumnado, y la reutilización de contenidos entre recursos similares del mismo o de distintos proyectos educativos. Este Proyecto de Innovación y Mejora de la Calidad Docente (PIMCD) aporta continuidad a un proyecto anterior denominado “Implementación de wikis educativas de acceso abierto con amplia diversidad de contenidos en inglés y castellano”, realizado durante el curso 2014-2015, con el identificador 368. Se trata de una iniciativa a largo plazo en la que un grupo amplio de docentes de la Universidad Complutense de Madrid estamos tratando de explorar todo el potencial de las aplicaciones web colaborativas para fomentar el aprendizaje cooperativo y mejorar la participación de los estudiantes en su formación, a la par que aumentar su motivación intrínseca por la generación y transmisión de conocimiento.Publication The Challenges of Finding Peer Reviewers: Insights from our Product Design Research(2020) Tenorio Fornés, Antonio; Pérez Tirador, ElenaFinding good peer reviewers is a difficult task. In Decentralized Science project we are designing and developing a tool to improve the quality, fairness and reliability of academic peer reviewing. Our approach relies in opening peer review, giving transparency to the peer reviewing process using decentralized technologies such as Blockchain. During our ongoing product design research we gained interesting insights about the peer reviewing selection process, and how editors currently deal with it. Our research methods are oriented towards the development of a software tool. We use Lean Design and Agile development principles, favoring fast iterative learning over the precision and completeness of more formal approaches. This contribution shares what we learned in the process about how editors deal with peer reviewer selection: from their needs and complains to their tricks, including some of their confessions. It also explains how we embraced this insights to improve our current prototype design.Publication Towards a decentralized process for scientific publication and peer review using blockchain and IPFS(2019) Tenorio Fornés, Antonio; Jacynycz, Viktor; Llop Vila, David; Sánchez Ruiz-Granados, Antonio A.; Hassan, SamerThe current processes of scientific publication and peer review raise concerns around fairness, quality, performance, cost, and accuracy. The Open Access movement has been unable to fulfill all its promises, and a few middlemen publishers can still impose policies and concentrate profits. This paper, using emerging distributed technologies such as Blockchain and IPFS, proposes a decentralized publication system for open science. The proposed system would provide (1) a distributed reviewer reputation system, (2) an Open Access by-design infrastructure, and (3) transparent governance processes. A survey is used to evaluate the problems, proposed solutions and possible adoption resistances, while a working prototype serves as a proof-of-concept. Additionally, the paper discusses the implementation, in a distributed context, of different privacy settings for both open peer review and reputation systems, introducing a novel approach supporting both anonymous and accountable reviews.The paper concludes reviewing the open challenges of this ambitious proposal.Publication Analysis of the Potentials of Blockchain for the Governance of Global Digital Commons(Frontiers Media, 2021-04-28) Rozas, David; Tenorio Fornés, Antonio; Hassan, SamerIn recent years, the increasing need for global coordination has attracted interest in the governance of global-scale commons. In the current context we observe how online applications are ubiquitous, and how emerging technologies enable new capabilities while reshaping sectors. Thus, it is pertinent to ask: could blockchain technologies facilitate the extension and scaling up of cooperative practices and commons management in this global context? In order to address this question, we propose a focus on the most paradigmatic and widely successful examples of global cooperation: non-rival global commons. Examples of these are the digital resources maintained by large peer production communities, such as free/libre open source software and Wikipedia. Thus, this article identifies and analyses the potentialities of blockchain to support the sustainability and management of non-rival global commons. Our approach draws on Elinor Ostrom’s classic principles for commons governance, although revisiting and adapting these to the more challenging scope of global commons. Thus, in this work we identify the affordances which blockchain provides (e.g. tokenisation, formalisation of rules, transparency or codification of trust) to support the effective management of this type of global commons based on these adapted Ostrom principles. As part of our analysis, we provide numerous examples of existing blockchain projects using affordances in line with each principle, as well as potential integrations of such affordances in existing practices of CBPP communities. Our analysis shows that, when considering the challenges of managing global commons (e.g. heterogeneity or scale), the potential of blockchain is particularly valuable to explore solutions that: distribute power, facilitate coordination, scale up governance, visibilise traditionally invisible work, monitor and track compliance with rules, define collective agreements, and enable cooperation across communities. These affordances and the subsequent analysis contribute to the emergent debate on blockchain-based forms of governance, first by providing analytical categories for further research, but also by providing a guide for experimentation with the development of blockchain tools to facilitate global cooperation.Publication Generación de casos de prueba para SQL(2012) Luzón Martín, José; Tenorio Fornés, Antonio; Estévez Martín, Sonia; Caballero Roldán, RafaelEl uso de bases de datos está ampliamente extendido, sin embargo, hay una falta de herramientas de depuración y prueba que asistan su desarrollo. Comprobar la corrección de una consulta SQL es difícil usando bases de datos reales, ya sea porque el número de filas en bases de datos pobladas es normalmente muy elevado o por la carencia de datos en las primeras fases del desarrollo. Para solventar este problema hemos desarrollado una herramienta que, dada la definición de una base de datos SQL y una vista objetivo, encuentra una instancia de la base de datos para la cual la consulta de la vista no devuelve una respuesta vacía, lo que se considera un caso de prueba positivo. Aplicando recientes resultados de investigación, transformamos la búsqueda de esta instancia a un problema de resolución de restricciones. Ampliamos también el ámbito de aplicación de esta técnica presentando un nuevo enfoque para tratar condiciones existenciales anidadas. Dividimos el proceso de obtención de casos de prueba en tres fases. Primero se analiza el código SQL que define la base de datos a estudiar. Posteriormente, dado el nombre de la vista objetivo, se generan las fórmulas que representan las condiciones que una instancia debe cumplir para ser un caso de prueba de dicha vista. Finalmente se traducen estas fórmulas a un lenguaje de programación con restricciones específico, cuyas soluciones constituyen los casos de prueba buscados. El trabajo presenta un prototipo novedoso en el campo de las bases de datos y muestra una forma de suplir la carencia actual de herramientas de prueba para su desarrollo. [ABSTRAC] The use of databases is widely extended, however, there is a lack of testing and debugging tools to assist it's development. To test the correctness of an SQL query is difficult using actual databases, either because the number of rows in populated databases is usually large or because they have few data in early stages of development. To solve this problem we have developed a tool that, given an SQL database definition and a target view, fnds a database instance for which the view's query does not return an empty answer, this is considered to be a positive test case. Implementing recent research results, we transform the search for this instance to a constraint satisfaction problem. We also expands this technique's scope by presenting a new approach for nested existential conditions. We divide the test case generation process in three phases. First the SQL code of the database is analysed. Then, given the target view's name, the formulas representing the conditions that an instance has to satisfy in order to be a test case for this view are generated. Finally this formulas are translated into an specific constraint language, which solutions are the desired test cases. This work presents a prototype which introduces new approaches in the field of databases and shows a way of solving the lack of test tools for it's development.Publication Peer-to-Peer System Design Trade-Offs: A Framework Exploring the Balance between Blockchain and IPFS(MDPI, 2021-10-26) Tenorio Fornés, Antonio; Hassan, Samer; Pavón Mestras, JuanThe current state of the Web, which is dominated by centralized cloud services, raises several concerns on different aspects such as governance, privacy, surveillance, and security. A way to address these issues is to decentralize the platforms by adopting new distributed technologies, such as IPFS and Blockchain, which follow a full peer-to-peer model. This work proposes a set of guidelines to design decentralized systems, taking into consideration the different trade-offs these technologies face with regard to their consistency requirements. These guidelines are then illustrated with the design of a decentralized questions and answers system. This system serves to illustrate a framework to create decentralized services and applications, that uses IPFS and Blockchain technologies and incorporates the discussion and guidelines of the paper, providing solutions for data access, data provenance and data discovery. Thus, this work proposes a framework for the design of decentralized systems and contributes a set of guidelines to decide in which cases Blockchain technology may be required, or when other technologies, such as IPFS, are sufficient.Publication Open peer-to-peer systems over blockchain and ipfs: An agent oriented framework(2018) Tenorio Fornés, Antonio; Hassan, Samer; Pavón Mestras, JuanIn recent years, the increasing concerns around the centralized cloud web services (e.g. privacy, governance, surveillance, security) have triggered the emergence of new distributed technologies, such as IPFS or the Blockchain. These innovations have tackled technical challenges that were unresolved until their appearance. Existing models of peer-to-peer systems need a revision to cover the spectrum of potential systems that can be now implemented as peer-to-peer systems. This work presents a framework to build these systems. It uses an agent-oriented approach in an open environment where agents have only partial information of the system data. The proposal covers data access, data discovery and data trust in peer-to-peer systems where different actors may interact. Moreover, the framework proposes a distributed architecture for these open systems, and provides guidelines to decide in which cases Blockchain technology may be required, or when other technologies may be sufficient.