Pervasive computing devices are gradually becoming increasingly prevalent in our everyday life, enabling the users in the physical world to interact with the digital world. Grid c...
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
This research concerns the definition of a service-oriented approach for business processes modeling. Business services are reusable process units that contain one or several proc...
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
The aether soon will be pervaded with a high density of digital services for usage on mobile phones. Personalization plays a crucial role for the success and acceptance of such sy...