dc.creator | Martín López, Alberto | es |
dc.creator | Segura Rueda, Sergio | es |
dc.creator | Müller Cejás, Carlos | es |
dc.creator | Ruiz Cortés, Antonio | es |
dc.date.accessioned | 2021-04-20T08:27:56Z | |
dc.date.available | 2021-04-20T08:27:56Z | |
dc.date.issued | 2021 | |
dc.identifier.citation | Martín López, A., Segura Rueda, S., Müller Cejás, C. y Ruiz Cortés, A. (2021). Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs. IEEE Transactions on Services Computing (Early Access) | |
dc.identifier.issn | 1939-1374 | es |
dc.identifier.uri | https://hdl.handle.net/11441/107416 | |
dc.description.abstract | Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can
be combined to form valid calls to the service. Unfortunately, current specification languages for web services like the OpenAPI
Specification (OAS) provide no support for the formal description of such dependencies, which makes it hardly possible to
automatically discover and interact with services without human intervention. In this article, we present an approach for the
specification and automated analysis of inter-parameter dependencies in web APIs. We first present a domain-specific language,
called Inter-parameter Dependency Language (IDL), for the specification of dependencies among input parameters in web services.
Then, we propose a mapping to translate an IDL document into a constraint satisfaction problem (CSP), enabling the automated
analysis of IDL specifications using standard CSP-based reasoning operations. Specifically, we present a catalogue of nine analysis
operations on IDL documents allowing to compute, for example, whether a given request satisfies all the dependencies of the service.
Finally, we present a tool suite including an editor, a parser, an OAS extension, a constraint programming-aided library, and a test suite
supporting IDL specifications and their analyses. Together, these contributions pave the way for a new range of specification-driven
applications in areas such as code generation and testing. | es |
dc.description.sponsorship | Junta de Andalucía US-1264651 | es |
dc.description.sponsorship | Ministerio de Ciencia, Innovación y Universidades RTI2018-101204-B-C21 | es |
dc.description.sponsorship | Ministerio de Educación y Formación Profesional FPU17/04077 | es |
dc.format | application/pdf | es |
dc.format.extent | 14 | es |
dc.language.iso | eng | es |
dc.publisher | IEEE Computer Society | es |
dc.relation.ispartof | IEEE Transactions on Services Computing (Early Access) | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Web API | es |
dc.subject | REST | es |
dc.subject | Inter-parameter dependency | es |
dc.subject | DSL | es |
dc.subject | Automated analysis | es |
dc.title | Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | US-1264651 | es |
dc.relation.projectID | RTI2018-101204-B-C21 | es |
dc.relation.projectID | FPU17/04077 | es |
dc.relation.publisherversion | https://ieeexplore.ieee.org/document/9319562 | es |
dc.identifier.doi | 10.1109/TSC.2021.3050610 | es |
dc.journaltitle | IEEE Transactions on Services Computing (Early Access) | es |
dc.contributor.funder | Junta de Andalucía | es |
dc.contributor.funder | Ministerio de Ciencia, Innovación y Universidades (MICINN). España | es |
dc.contributor.funder | Ministerio de Educación y Formación Profesional. España | es |
dc.description.awardwinning | Premio Mensual Publicación Científica Destacada de la US. Escuela Técnica Superior de Ingeniería Informática | |