Specification and automated analysis of inter-parameter dependencies in web APIs
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 …
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
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 …
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 …
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
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 …
combined to call services correctly. These dependencies are extremely common, appearing …
Generating interface grammars from WSDL for automated verification of web services
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 …
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 …
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 …
or more input parameters can be combined to form valid calls to the service. Unfortunately …
Joint optimization of manifold learning and sparse representations
Dimensionality reduction via manifold learning offers an elegant representation of data
whereby the high dimensional feature space is parameterized by a lower dimensional space …
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 …
work, we propose two conversation specification language-independent models-the first …
Share: A Design Pattern for Dynamic Composition of IoT Services
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 …
enables communication amongst a plethora of different devices. To date 30 billion devices …