科研之友
微信
新浪微博
Facebook
分享链接
摘要
Pervasive computing, the new computing paradigm aiming at providing services anywhere at anytime, poses great challenges on dynamic service composition. Existing service composition methods can hardly meet the requirements of dynamism and performance for pervasive computing. This paper proposes a Petri net based service model to formally describe the function of services and employs a parameter based service description to represent both semantic and syntactic of services. And services are pre-aggregated in a two-layered graph according to the input and output parameters of the service description. Furthermore, we design a novel service composition scheme to achieve the user requirement through a tree search algorithm. The theoretical analysis and comprehensive simulation experiments show that both service model and composition scheme are correct and efficient.
- 出版日期2012-8
- 单位南京大学
