Title: A concurrent constraint and pi-calculus-based language for service contracting

Authors: Ruoyu Chen; Lejian Liao; Zhi Fang

Addresses: Beijing Engineering Research Centre of High Volume Language Information Processing & Cloud Computing Applications, Beijing Laboratory of Intelligent Information Technology, School of Computer Science, Beijing Institute of Technology, Beijing 100081, China ' Beijing Engineering Research Centre of High Volume Language Information Processing & Cloud Computing Applications, Beijing Laboratory of Intelligent Information Technology, School of Computer Science, Beijing Institute of Technology, Beijing 100081, China ' Beijing Engineering Research Centre of High Volume Language Information Processing & Cloud Computing Applications, Beijing Laboratory of Intelligent Information Technology, School of Computer Science, Beijing Institute of Technology, Beijing 100081, China

Abstract: In e-service environment, service agreement is essential for assurance of business interoperability and quality of services. Combining service agreement and process model will facilitate analysing service process and monitoring service execution. This paper proposes a concurrent constraint and pi-calculus-based service modelling approach consists of service agreement and process model. Based on this service model, a service contracting mechanism, which checks the consistency between service agreement and process model as well as the applicability of services with respect to the requester's capabilities, is designed.

Keywords: web services; service contracting; concurrent constraints; pi-calculus; e-services; electronic services; business interoperability; quality of service; QoS; service agreements; process modelling; service monitoring; service execution; service modelling.

DOI: 10.1504/IJWMC.2013.057582

International Journal of Wireless and Mobile Computing, 2013 Vol.6 No.6, pp.564 - 572

Received: 21 May 2013
Accepted: 16 Jul 2013
Published online: 16 Oct 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article