Specification and automated analysis of inter-parameter dependencies in web APIs

A Martin-Lopez, S Segura, C Müller… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
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 …

A catalogue of inter-parameter dependencies in RESTful web APIs

A Martin-Lopez, S Segura, A Ruiz-Cortés - Service-Oriented Computing …, 2019 - Springer
Web services often impose dependency constraints that restrict the way in which two or
more input parameters can be combined to form valid calls to the service. Unfortunately …

Runtime monitoring of web service choreographies using streaming XML

S Hallé, R Villemaire - Proceedings of the 2009 ACM symposium on …, 2009 - dl.acm.org
A wide range of web service choreography constraints on the content and sequentiality of
messages can be translated into Linear Temporal Logic (LTL). Although they can be …

[HTML][HTML] The IDL tool suite: Specifying and analyzing inter-parameter dependencies in web APIs

S Barakat, A Martin-Lopez, C Müller, S Segura… - SoftwareX, 2025 - Elsevier
Web APIs may include inter-parameter dependencies that limit how input parameters can be
combined to call services correctly. These dependencies are extremely common, appearing …

Generating interface grammars from WSDL for automated verification of web services

S Hallé, G Hughes, T Bultan, M Alkhalaf - European Conference on a …, 2009 - Springer
Interface grammars are a formalism for expressing constraints on sequences of messages
exchanged between two components. In this paper, we extend interface grammars with an …

Automated analysis of inter-parameter dependencies in web APIs

A Martin-Lopez - Proceedings of the ACM/IEEE 42nd International …, 2020 - dl.acm.org
Web services often impose constraints that restrict the way in which two or more input
parameters can be combined to form valid calls to the service, ie inter-parameter …

[PDF][PDF] ICSE: G: Automated management of inter-parameter dependencies in web APIs

A Martin-Lopez - ACM SRC Grand Finals, 2021 - src.acm.org
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 …

Joint optimization of manifold learning and sparse representations

R Ptucha, A Savakis - … and Workshops on Automatic Face and …, 2013 - ieeexplore.ieee.org
Dimensionality reduction via manifold learning offers an elegant representation of data
whereby the high dimensional feature space is parameterized by a lower dimensional space …

Constraint-based dynamic conversations

D Cacciagrano, F Corradini… - 2009 Fifth International …, 2009 - ieeexplore.ieee.org
In a service-oriented architecture, systems communicate by exchanging messages. In this
work, we propose two conversation specification language-independent models-the first …

Share: A Design Pattern for Dynamic Composition of IoT Services

R Culmone, D Cacciagrano, F Al-Turjman… - … in the IoT Era: First EAI …, 2021 - Springer
Abstract The Internet-of-Things (IoT) is one of the modern technological revolutions that
enables communication amongst a plethora of different devices. To date 30 billion devices …