Filters








177 Hits in 1.3 sec

A mechanized formalization of GraphQL

Tomás Díaz, Federico Olmedo, Éric Tanter
2020 Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs  
Recently, Hartig and Pérez proposed a formal semantics for GraphQL in order to study the complexity of GraphQL queries.  ...  The semantics is however not mechanized and leaves certain key aspects unverified. We present GraphCoQL, the first mechanized formalization of GraphQL, developed in the Coq proof assistant.  ...  Taelman et al. study the transformation of GraphQL queries to SPARQL [23] ; however we are not aware of any mechanized formalization of SPARQL.  ... 
doi:10.1145/3372885.3373822 dblp:conf/cpp/DiazOT20 fatcat:gtnl64mvcvapnavf4salfhlqx4

A principled approach to GraphQL query cost analysis

Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, Jim A. Laredo
2020 Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  
In this work, we present a linear-time GraphQL query analysis that can measure the cost of a query without executing it.  ...  In contrast to existing static approaches, our analysis supports common GraphQL conventions that affect query cost, and our analysis is provably correct based on our formal specification of GraphQL semantics  ...  We thank the IBM API Connect and Dat-aPower teams for working with us on the GraphQL API Gateway.  ... 
doi:10.1145/3368089.3409670 dblp:conf/sigsoft/ChaWBDML20 fatcat:nidtca4awjfvvojm5znzgebv24

A Principled Approach to GraphQL Query Cost Analysis [article]

Alan Cha and Erik Wittern and Guillaume Baudart and James C. Davis and Louis Mandel and Jim A. Laredo
2020 arXiv   pre-print
In this work, we present a linear-time GraphQL query analysis that can measure the cost of a query without executing it.  ...  In contrast to existing static approaches, our analysis supports common GraphQL conventions that affect query cost, and our analysis is provably correct based on our formal specification of GraphQL semantics  ...  We thank the IBM API Connect and Dat-aPower teams for working with us on the GraphQL API Gateway.  ... 
arXiv:2009.05632v1 fatcat:p6i2kj5qrfel7a7idppvkax4ti

GraphQL Federation: A Model-Based Approach

Patrick Stünkel, Ole von Bargen, Adrian Rutle, Yngve Lamo
2020 Journal of Object Technology  
Our approach is accompanied by a proof-of-concept implementation and provides a model-based presentation of the GraphQL framework.  ...  The Graph Query Language (GraphQL) is a framework for developing Web Services, which works on the domain model level rather than the functions.  ...  Further, we would like to thank Harald König (Harald.Koenig@fhdw.de) for his input as a supervisor to the Master Thesis of the second author, which lead to this paper.  ... 
doi:10.5381/jot.2020.19.2.a18 fatcat:fxnuxsljcfb6nmb7e4dkktjt4i

QL4MDR: a GraphQL query language for ISO 11179-based metadata repositories

H. Ulrich, J. Kern, D. Tas, A. K. Kock-Schoppenhauer, F. Ückert, J. Ingenerf, M. Lablans
2019 BMC Medical Informatics and Decision Making  
GraphQL is a data access layer and defines query techniques designed to navigate easily through complex data structures.  ...  This work aims to define a uniform interface with a technical interlingua between the different MDR implementations in order to enable and facilitate the exchange of metadata, to query over distributed  ...  Availability of data and materials Not applicable.  ... 
doi:10.1186/s12911-019-0794-z fatcat:zboeoabd2zd3xgnggerld6z5re

D2.2. – Data Services

Svetla Boytcheva, Plamen Tarkalanov, Nikola Tulechki, Pavlin Gyurov, Nikola Rusinov
2021 Zenodo  
The developed services are based on the detailed analysis of business, data and technical requirements of all use cases. The best practices and standards are taken in consideretion as well.  ...  This document will be updated twice at M24 and M36 to show the progress in terms of data services fine tuning according to the TheFSM project need.  ...  It provides a user interface for writing and execution of GraphQL queries.  ... 
doi:10.5281/zenodo.4593574 fatcat:msvdfr4wljerfnygdzflnfpahe

An Ontological Metamodel for Cyber-Physical System Safety, Security, and Resilience Coengineering [article]

Georgios Bakirtzis and Tim Sherburne and Stephen Adams and Barry M. Horowitz and Peter A. Beling and Cody H. Fleming
2020 arXiv   pre-print
We illustrate this metamodel in an open-source GraphQL implementation, which can interface with a number of modeling languages.  ...  In turn, this leads to a mission-oriented perspective in designing security defenses and resilience mechanisms to combat undesirable behaviors.  ...  SERC is a federally funded University affiliated research center managed by Stevens Institute of Technology.  ... 
arXiv:2006.05304v1 fatcat:uh36vg3ifngr7jez2x4iz2qvvy

Federating Scholarly Infrastructures with GraphQL [article]

Muhammad Haris, Kheir Eddine Farfar, Markus Stocker, Sören Auer
2021 arXiv   pre-print
A plethora of scholarly knowledge is being published on distributed scholarly infrastructures. Querying a single infrastructure is no longer sufficient for researchers to satisfy information needs.  ...  We present a GraphQL-based federated query service for executing distributed queries on numerous, heterogeneous scholarly infrastructures (currently, ORKG, DataCite and GeoNames), thus enabling the integrated  ...  Semantic resources for scholarly knowledge Ontologies are a solution for formal description of content with domain knowledge and for combining data from multiple sources [11] in data integration and  ... 
arXiv:2109.05857v1 fatcat:qxa7gc2465gqfekixwkvrncvfy

Towards Traceability in Data Ecosystems using a Bill of Materials Model [article]

Iain Barclay, Alun Preece, Ian Taylor, Dinesh Verma
2019 arXiv   pre-print
of the architecture and implementation of a gateway built upon the model.  ...  This paper introduces the conceptual design of a model for data traceability based on a Bill of Materials scheme, widely used for supply chain traceability in manufacturing industries, and presents details  ...  Government, the UK Ministry of Defence or the UK Government.  ... 
arXiv:1904.04253v1 fatcat:a75o4xjbzbbr7drdqojts7lo7u

Leveraging Human Computation for Quality Assurance in Open Source Communities [article]

Johannah Sprinz
2022 Open Access LMU  
A usability study of a prototype of OPEN-CUTS confirms the viability of this approach and points to potential future research questions.  ...  This thesis investigates any potential for conducting formalized user testing through inexperienced volunteer community members under the OSSD.  ...  Sebastian Mader and Niels Heller, who mentored me in the early stages of this project and provided valuable hints that both motivated and challenged me.  ... 
doi:10.5282/ubm/epub.91046 fatcat:t5pskdrbh5cd5p56ecqta3sbsq

An ontological metamodel for cyber-physical system safety, security, and resilience coengineering

Georgios Bakirtzis, Tim Sherburne, Stephen Adams, Barry M. Horowitz, Peter A. Beling, Cody H. Fleming
2021 Journal of Software and Systems Modeling  
We illustrate this metamodel in an open-source GraphQL implementation, which can interface with a number of modeling languages.  ...  In turn, this leads to a mission-oriented perspective in designing security defenses and resilience mechanisms to combat undesirable behaviors.  ...  SERC is a federally funded University affiliated research center managed by Stevens Institute of Technology.  ... 
doi:10.1007/s10270-021-00892-z fatcat:uqcdis26hnafxdsjgklz3d2yru

Constraint graphs as security filters for privacy assurance in medical transactions

George Mathew, Zoran Obradovic
2011 Proceedings of the 2nd ACM Conference on Bioinformatics, Computational Biology and Biomedicine - BCB '11  
An informal representation and working of constraint graphs is presented. A workbench was developed using a real world EMR system to demonstrate the concept.  ...  Results of our experiments using constraint graphs are consistent with published benchmark results.  ...  In the case of constraining statistics about data, we demonstrated the working of constraint graphs as a successful filtering mechanism.  ... 
doi:10.1145/2147805.2147883 dblp:conf/bcb/MathewO11 fatcat:mewlvqzv4jccvm66eylhrdlud4

Graph Data on the Web: extend the pivot, don't reinvent the wheel [article]

Fabien Gandon, Franck Michel, Andrea Tettamanzi, Elena Cabrio
2019 arXiv   pre-print
We are a joint research team between INRIA Sophia Antipolis-Méditerranée and I3S (CNRS and Université Côte d'Azur). Our challenge is to bridge formal semantics and social semantics on the web.  ...  This article is a collective position paper from the Wimmics research team, expressing our vision of how Web graph data technologies should evolve in the future in order to ensure a high-level of interoperability  ...  The proposed model consists of transforming GraphQL queries coupled with a JSON--LD context into SPARQL queries, and of converting SPARQL results to a GraphQL-query -compatible response (a JavaScript simple  ... 
arXiv:1903.04181v1 fatcat:3hasyse2k5hk7mdf5qeplk47uq

D2.2 – Data Services

Svetla Boytcheva, Plamen Tarkalanov, Nikola Tulechki, Pavlin Gyurov, Nikola Rusinov, Antoniy Kunchev
2022 Zenodo  
This version of the document describes the services developed during the first 24 months of the project.  ...  The developed services are based on the detailed analysis of business, data and technical requirements of all use cases. The best practices and standards are taken into consideration as well.  ...  a body of the http request to the GraphQL endpoint.  ... 
doi:10.5281/zenodo.6106652 fatcat:t5xllthcwjdg7hqjzjbpapvoaq

IoTCrawler: Challenges and Solutions for Searching the Internet of Things

Thorben Iggena, Eushay Bin Bin Ilyas, Marten Fischer, Ralf Tönjes, Tarek Elsaleh, Roonak Rezvani, Narges Pourshahrokhi, Stefan Bischof, Andreas Fernbach, Josiane Xavier Xavier Parreira, Patrik Schneider, Pavel Smirnov (+11 others)
2021 Sensors  
Due to the rapid development of the Internet of Things (IoT) and consequently, the availability of more and more IoT data sources, mechanisms for searching and integrating IoT data sources become essential  ...  The concept is proven by addressing a list of requirements defined for searching the IoT and an extensive evaluation.  ...  Where available, source of data has been referenced in text. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/s21051559 pmid:33668113 pmcid:PMC7956704 fatcat:uvi2dovfcveijib3vwtuca3qly
« Previous Showing results 1 — 15 out of 177 results