A Logical Approach to Data-Aware Automated Sequence Generation

Hallé, Stéphane; Villemaire, Roger; Cherkaoui, Omar; Deca, Rudy

doi:10.1007/978-3-642-28525-7_7

Cited by 1 publication

(1 citation statement)

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In an earlier work [2], it was argued that a "universal stub" could be built, driven from a declarative specification of the service to simulate. Given a formula ϕ expressing the service's behaviour in some logical language L, the universal stub produces valid messages simulating the original service by finding a satisfying solution to ϕ.…”

Section: Introductionmentioning

confidence: 99%

Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications

Hallé

2011

2011 16th IEEE International Conference on Engineering of Complex Computer Systems

Self Cite

View full text Add to dashboard Cite

This paper presents a methodology for generating a web service "stub" that simulates the behaviour of a realworld SOAP web service. The simulation is driven by a formal description of the original service's input and output parameters, messages, and ordering constraints between messages, using an extension of Linear Temporal Logic called LTL-FO + . This logic is rich enough to express complex behaviours taken from real-world web services, where the structure of future messages and valid parameter values are interdependent. Given a history of previous interactions, a sound, symbolic algorithm is described that generates on-the-fly a new message that is a valid continuation of that history with respect to the LTL-FO + specification. By providing a faithful placeholder for an actual third-party web service, this algorithm can be used as a development and testing tool. Empirical evaluation shows how such an approach outperforms a previous attempt that relied on a model checker to produce each new message.

show abstract

Section: Introductionmentioning

confidence: 99%