Toggle Main Menu Toggle Search

Open Access padlockePrints

Dynamic Testing and Deployment of a Contract Monitoring Service

Lookup NU author(s): Dr Ellis SolaimanORCiD, Dr Ioannis SfyrakisORCiD, Dr Carlos Molina-Jimenez


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Internet and cloud based services involve electronic interactions that are normally regulated using service agreements (SA). Once an agreement between business partners is in place, a service can be monitored and/or enforced using an SA equivalent electronic contract. Because of the dynamic nature of such Internet and cloud based relationships, the rapidity at which electronic contracts are constructed, verified for correctness, tested, and deployed is an extremely important factor. This paper describes a model checker based framework for supporting the automated testing and deployment of electronic contracts. The central components of the framework are a contract monitoring service called the Contract Compliance Checker (CCC), the SPIN model checker, and EPROMELA, a language developed specifically for modeling electronic contracts. We describe how SPIN can be used to automatically generate execution sequences from an EPROMELA model of a contract, and how such sequences can then be used to test the correctness of the model equivalent electronic contract deployed to the CCC.

Publication metadata

Author(s): Solaiman E, Sfyrakis I, Molina-Jimenez C

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 5th International Conference on Cloud Computing and Services Science (CLOSER 2015)

Year of Conference: 2015

Pages: 463-474

Print publication date: 20/05/2015

Online publication date: 30/06/2015

Acceptance date: 12/03/2015



DOI: 10.5220/0005453704630474

Library holdings: Search Newcastle University Library for this item

Series Title: Proceedings of the 5th International Conference on Cloud Computing and Services Science

ISBN: 9789897581045