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...