• Publications
  • Influence
Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols
TLDR
We first present a timed protocol model for services and identify different levels of compatibility and replaceability that are useful to support service development and evolution. Expand
  • 53
  • 5
  • PDF
Compatibility and replaceability analysis for timed web service protocols
TLDR
This paper discusses the augmentation of business protocols with specifications of temporal abstractions, focusing in particular on problems related to compatibility and replaceability analysis. Expand
  • 29
  • 4
  • PDF
On Temporal Abstractions of Web Service Protocols
TLDR
We build upon our earlier work on service protocols modeling, analysis, and management [1, 2] to cater for temporal abstractions in business protocols. Expand
  • 66
  • 3
  • PDF
Analysis and applications of timed service protocols
TLDR
We formalized the formalization of an important category of protocols that includes time-related constraints (called timed protocols), and the impact of time on compatibility and replaceability analysis. Expand
  • 34
  • 2
  • PDF
A New Model For Web Services Timed Business Protocols
TLDR
This paper dis- cusses our new results on modeling and analyzing web services business protocols augmented with timing constraints. Expand
  • 10
  • 2
JooFlux: Hijacking Java 7 InvokeDynamic To Support Live Code Modifications
TLDR
This paper describes a new approach to dynamically patch and weave aspects to a Java application at run-time by transforming the whole application and making it dynamic. Expand
  • 7
  • 2
  • PDF
Towards Bridging IoT and Cloud Services: Proposing Smartphones as Mobile and Autonomic Service Gateways
TLDR
In this position paper, we propose a middleware approach where smartphones provide service gateways to bridge the gap between IoT services and Cloud services. Expand
  • 16
  • 1
  • PDF
ServiceMosaic: Interactive Analysis and Manipulation of Service Conversations
TLDR
We have developed ServiceMosaic (servicemosaic), an interactive and model-driven CASE tool for managing Web service interactions, which consists of two broad modules: protocol discovery and protocol management. Expand
  • 15
  • 1
  • PDF
ROCS: a remotely provisioned OSGi framework for ambient systems
TLDR
We present ROCS, a framework for running OSGi/Java stacks on ambient devices without locally installing the real class definitions, but only shadow representatives. Expand
  • 7
  • 1
  • PDF
Avoiding Benchmarking Pitfalls on the JVM
  • 5
  • 1