Paper Unlock

Authors: Ellis Solaiman 1 ; Ioannis Sfyrakis 1 and Carlos Molina-Jimenez 2

Affiliations: 1 Newcastle University, United Kingdom ; 2 University of Cambridge, United Kingdom

ISBN: 978-989-758-104-5

Keyword(s): Service Agreement, Electronic Contract, Service Monitoring, Model Checking, Automated Testing, Service Oriented Computing, Cloud Computing.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Business Process Management ; Cloud Computing ; Cloud Computing Enabling Technology ; Communication and Software Technologies and Architectures ; e-Business ; Enterprise Architectures and Services ; Enterprise Engineering ; Enterprise Information Systems ; Knowledge Management and Information Sharing ; Knowledge-Based Systems ; Languages, Tools and Architectures ; Model-Driven Software Development ; Model-Driven Web Service Engineering ; Monitoring of Services, Quality of Service, Service Level Agreements ; Service-Oriented Architectures ; Services Science ; Software Engineering ; Symbolic Systems ; Technology Platforms

Abstract: 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. (More)

PDF ImageFull Text


Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Solaiman, E.; Sfyrakis, I. and Molina-Jimenez, C. (2015). Dynamic Testing and Deployment of a Contract Monitoring Service.In Proceedings of the 5th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER, ISBN 978-989-758-104-5, pages 463-474. DOI: 10.5220/0005453704630474

author={Ellis Solaiman. and Ioannis Sfyrakis. and Carlos Molina{-}Jimenez.},
title={Dynamic Testing and Deployment of a Contract Monitoring Service},
booktitle={Proceedings of the 5th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,},


JO - Proceedings of the 5th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,
TI - Dynamic Testing and Deployment of a Contract Monitoring Service
SN - 978-989-758-104-5
AU - Solaiman, E.
AU - Sfyrakis, I.
AU - Molina-Jimenez, C.
PY - 2015
SP - 463
EP - 474
DO - 10.5220/0005453704630474

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.