Web Services will transform the web from a collection of information into a distributed computational device. In order to employ their full potential, appropriate description means...
Protocol composition frameworks provide off-the-shelf composable protocols to simplify the development of custom protocol stacks. All recent protocol frameworks use a general-purp...
: The Web Services architecture defines various specifications that applications may wish to use in combination. In this paper, we investigate the composition of the Web services s...
In this presentation we will report on a number of projects where we have successfully applied the ASM methodology to provide models for a number of problems that are commonly foun...
We investigate, in a process algebraic setting, a new notion of compliance that we call strong service compliance: composed services are strong compliant if their composition is bo...