GeneSyS is an IST project (IST-2001-34162) developing a new generic middleware for supervising distributed systems at different levels such as Application, Network, System. The pr...
An active XML (AXML) document contains tags representing calls to Web services. Therefore, retrieving its contents consists in materializing its data elements by invoking the embe...
In this paper, a novel formalized finite state mobile agent computation model based on the virtual organization is presented. In this model, all the actions (e.g. service, migratio...
— Current service technologies are primarily focused on the functionality of services. A significant portion of the available services, however, exhibits a data-driven rather th...
Maarten Bynens, Bart De Win, Wouter Joosen, Bart T...
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...