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

Authors:
Ruoyu Chen;Lejian Liao;Zhi Fang
Affiliations:
Beijing Engineering Research Centre of High Volume Language Information Processing & Cloud Computing Applications, Beijing Laboratory of Intelligent Information Technology, School of Computer Scie ...;Beijing Engineering Research Centre of High Volume Language Information Processing & Cloud Computing Applications, Beijing Laboratory of Intelligent Information Technology, School of Computer Scie ...;Beijing Engineering Research Centre of High Volume Language Information Processing & Cloud Computing Applications, Beijing Laboratory of Intelligent Information Technology, School of Computer Scie ...
Venue:
International Journal of Wireless and Mobile Computing
Year:
2013

Citing 11
Cited 0

The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
An Overview of Standards and Related Technology in Web Services

Distributed and Parallel Databases
An Open-Ended Finite Domain Constraint Solver

PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education
DAML-S: Web Service Description for the Semantic Web

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Principles of Constraint Programming

Principles of Constraint Programming
A survey on web services composition

International Journal of Web and Grid Services
CC-Pi: a constraint language for service negotiation and composition

Rigorous software engineering for service-oriented systems
Application of dynamic service composition in web question answering

International Journal of Wireless and Mobile Computing
Contracting of Web Services with Constraint Handling Rules

SERVICES '12 Proceedings of the 2012 IEEE Eighth World Congress on Services
An efficient service selection framework for pervasive environments

International Journal of Wireless and Mobile Computing

Quantified Score

Hi-index	0.00

Visualization

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.