—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
We describe a methodology for creating composite web services, a key ingredient in spatial data infrastructure (SDI) applications, which we demonstrate on an emergency management ...
: This paper addresses two important aspects of Web service compositions - on the one hand, flexibility of Web service (WS) compositions, and on the other the automatic development...
In many applications involving composite Web services, one or more component services may become unavailable. This presents us with the problem of identifying other components tha...
Abstract. The use of Feature Models (FMs) to define the valid combinations of features in Software Product Lines (SPL) is becoming commonplace. To enhance the scalability of FMs, ...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...