Abstract: Aiming at the personalization problem of Web services composition, this paper introduces a Web services composition method based on Context-aware Process Network(CAPN). It supports high-level modeling of context-aware composition systems and low-level system imple- mentation. The formal semantics of context-aware composition model is described using Calculus of Communicating Systems(CCS) process algebra and Labeled Transition System(LTS). Implementation framework of context-aware system models is presented. Analysis results prove the feasibility of the composition method.

Key words: Web service, service composition, Context-aware Process Network(CAPN), Calculus of Communicating Systems(CCS) process algebra

摘要： 针对Web服务组合的个性化问题，提出一种基于上下文感知进程网络的Web服务组合方法，支持上下文感知组合系统的高层建模与系统的底层实现。采用CCS进程代数和标签转换系统，描述上下文感知组合模型的形式化语义，给出上下文感知系统模型的实现框架。分析结果证明了该组合方法的可行性。

关键词: Web服务, 服务组合, 上下文感知进程网络, CCS进程代数

CLC Number: 

• TP391