Many modern computing systems have to operate in environments that are highly interconnected, highly unpredictable, in a constant state of flux, have no centralized point of control, and have constituent components owned by a variety of stakeholders that each have their own aims and objectives. Relevant exemplars include the Web, Grid Computing, Peer-to-Peer systems, Sensor Networks, Cloud Computing, Pervasive Computing and many eCommerce applications. Now, although these areas have somewhat different areas of emphasis, we believe they can all be viewed as operating under the same conceptual model. Namely, one in which: (i) entities offer a variety of services in some form of institutional setting; (ii) other entities connect to these services (covering issues such as service discovery, service composition and service procurement); and (iii) entities enact services, subject to service agreements, in a flexible and context sensitive manner. Moreover, we believe agent-based computing, with its emphasis on autonomous, flexible action and interaction, is an appropriate computational model for conceptualizing, designing and implementing such systems (Jennings, 2000;Jennings 2001). In particular, such agents are a natural way of viewing flexible service providers and consumers that need both to respond to environmental change, while being able to work towards their individual and collective aims. Moreover, the interactions between these agents need to take place in some form of electronic institution that structures the interactions and can provide an effective matching of the appropriate producers and consumers. Everyday examples of such institutions might include: eBay, Second Life, Betfair exchanges or World of Warcraft. Nevertheless, in the work described here, we will focus specifically on trading institutions and in particular computational service economies that mediate the exchanges between software agents in the area of software services.In more detail, when thinking about the design of such computational service economies there are two major perspectives that need to be considered (Dash et al., 2003). First, there is the design of the institution itself; this can essentially be thought of as the rules of the game. This covers issues such as who are the valid participants (e.g. buyers, sellers, intermediaries), what are the interaction states (e.g. accepting bids, negotiation closed), what are the events causing state transitions (e.g. bid, time out, proposal accepted), what are the valid actions of the participants (e.g. propose, accept, reject, counter-propose) and what are the reward structures (e.g. who pays and who gets paid for what). Second, there is the design of the strategies for the agents that participate in the institution; this can essentially be thought of as how to succeed in the game. Such strategies are very much determined by the institutional rules and are essentially the decision making employed to