Research on Synchronet Based Service Composition Model and Patterns  

作　　者：ZHAO Wen YUAN Chongyi ZHANG Shikun WANG Lifu 

机构地区：[1]School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China

出　　处：《Chinese Journal of Electronics》2006年第4期608-612,共5页电子学报（英文版）

基　　金：This work is supported by the National Natural （No.60473058）, and the National Grand Fundamental Research 973 Program of China （No.2002CB312006）. Science Foundation of China

摘　　要：Formal specification of service composition model and patterns is becoming an major research area in SOC （Service oriented computing）. According to principle of ＂Separation of Concerns＂, the concept of ＂connector＂ is introduced into service composition meta-model, for the purpose of constructing more complex process logic and localizing the change impact. According to ＂Layering＂ principle, given meta-model and synchronic theory, a P/T system based hierarchical service composition model ＂Synchronet＂ is proposed. Connector is used to define control flow, Uninet is introduced to specify data flow. Based on Synchronet, formal specifications of four service composition patterns are given, aiming at reducing complexity and improving reusability of composition.

关 键 词：Service composition Composition metamodel Synchronet Composition patterns. 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]