Computing in the cloud is becoming more common as companies migrate their applications into cloud computing platforms to reduce maintenance costs and increase availability. Cloud hosting platforms, such as Amazon’s EC2, provide a virtual hosting environment that is easy for a service provider to provision in response to dynamically changing demands. This model lowers the barrier to entry for in...

Choreographies and Contracts are important concepts in Service Oriented Computing. Choreographies are the description of the behaviour of a service system from a global point of view, while contracts are the description of the externally observable message-passing behaviour of a given service. Exploiting some of our previous results about choreography projection and contract refinement, we show...

F iscal regime is one of the main differences between petroleum contracts. Fiscal regimes in oil contracts are divided to two main categories namely Concessionary and Contractual Systems. In contractual systems, the main difference between service and production sharing contracts is the way of compensation of contractor services which could be in cash or in kind. In production sharin...

Industry is currently pushing towards Service Oriented Architecture where code execution is not limited to the organisational borders but may extend outside of the organisation to which the sources are typically not accessible. In order to protect the interests of the organisation contracts are used which can be seen as a list of obligations, permissions and prohibitions. The composition of dif...

In the context of Service Oriented Computing, contracts are descriptions of the observable message-passing behavior of services. Contracts have been already successfully exploited to solve the problem of client/service composition. Inspired by current orchestration languages, we consider services where the choice to perform an output may not depend on the environment. Under this assumption, we ...