摘要
针对Web服务组合的个性化问题,提出一种基于上下文感知进程网络的Web服务组合方法,支持上下文感知组合系统的高层建模与系统的底层实现。采用CCS进程代数和标签转换系统,描述上下文感知组合模型的形式化语义,给出上下文感知系统模型的实现框架。分析结果证明了该组合方法的可行性。
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 compo-sition systems and low-level system implementation. 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.
出处
《计算机工程》
CAS
CSCD
2012年第8期22-24,共3页
Computer Engineering
基金
国家自然科学基金资助项目(60973013
61073134)
辽宁省教育厅科研计划基金资助项目(LS2010018)
关键词
WEB服务
服务组合
上下文感知进程网络
CCS进程代数
Web service
service composition
Context-aware Process Network(CAPN)
Calculus of Communicating Systems(CCS) processalgebra