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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: International Journal of Wireless and Mobile Computing
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
