Development of methods and mechanisms for innovative cloud service applications

A collaboration of: Tsinghua, University of Twente
Funded by:Tsinghua University
Duration:January 2010 until December 2015
Contact:Dr.Ir. M.J. van Sinderen (Marten)

Project: ISAC



The purpose of the project is to investigate innovative applications of cloud and services computing. The service-oriented paradigm has narrowed the gap between business and IT, and deployment of services in the cloud has brought interesting new business models. Developments regarding the future internet, such as sensor networks and context-awareness, are incorporated in the service-oriented paradigm, and enable new and innovative services where the cyber and physical world are being integrated. We focus on two aspects: (1) cross-organizational collaboration based on stateful services, and recovery of such a collaboration in case one of the services fails, and (2) context-sensitive e-health service provisioning, and management of context reasoning and service enactment rules (how to keep rules consistent and parsimonious).



  • What are the failure types in case of service-based collaboration?
  • Can we propose transformations of service processes that assume no failures into service processes that can recover from the identified failure types?
  • How can we proof the correctness of these transformations?
  • Can we demonstrate the benefits of this approach over other approaches such as ‘heavy-weight’ approaches based on transactions?
  • What are the limitations and generalizations of the approach?



  • In case of an e-health service that involves multiple actors, how does the availability and quality of the context information about these actors and their environment influence the efficiency and effectiveness of the service?
  • How are the processes and rules that determine the context-dependent behaviour of the (composite) e-health service designed and maintained?
  • What architectural and IT support is needed for e-health professionals with little IT knowledge to be in the driving seat for designing and maintaining (configuring and updating) processes and rules?



  • Problem investigation  based on literature surveys and existing case studies
  • Solution design, building on existing solutions and proposing extensions/modifications that address the identified problems
  • Solution validation with formal proofs (verifying correctness) and  lab and field experiments (evaluating usability and usefulness)


- Period: 2010-2015
- Partners:

  This is a collaboration between the University of Twente and the Tsinghua University involving two PhD students.

  The students work alternated in The Netherlands and China, each time for a half year period.