Example SRMC models

We show how SRMC can be used to model the uncertainty which arises in a typical service-oriented computing system, a "virtual university" formed by bringing together the resources of several real universities.

SRMC is able to express uncertainty about which sites will participate in serving users, uncertainty about the speed at which users will get service, and uncertainty about the availability of servers in a resource-sharing environment.