基于有限状态机模型，在服务组合层面上提出了Web 服务之间3种相容性的判定方法. 对于两个不相容的Web 服务，通过分析它们的行为路径对的可适配性来判断Web 服务之间的可适配性；对于两个可适配的Web服务，通过生成它们的行为路径对的子适配器模型并将其合并，从而得到Web 服务之间的适配器模型并自动映射生成实际可运行的BPEL 代码. 通过实例分析表明了该方法的可行性和有效性.
Based on the finite state machine (FSM) model, a method for determining three kinds of compatibility between two interacting Web services from the perspective of whole service composition is proposed. A method for determining adaptability between two incompatible Web services is also proposed by analyzing adaptability of behavioral path pairs between them. The adaptor model of two adaptable Web services is generated by merging the sub-adaptor models of their behavioral path pairs and automatically mapped into executable BPEL codes. Feasibility and validity of the proposed approach is verified by a case analysis.
[1] SEGUEL R, ESHUIS R, GREFEN P. An overview on protocol adaptors for service component integration [R]. BETA Working Paper Series WP 265, Eindhoven University of Technology, 2008.
[2] DUMAS M, BENATALLAH B, NEZHAD H R M. Web service protocols: compatibility and adaptation [J]. IEEE Data Engineering Bulletin, 2008, 31(3): 40-44.
[3] MATEESCU R, POIZAT P, SALAÜN G. Behavioral adaptation of component compositions based on process algebra encodings [C]// Proceeding of the 22nd International Conference on Automated Software Engineering, New York: ACM, 2007: 385-388.
[4] CANAL C, POIZAT P, SALAÜN G. Model-based adaptation of behavioral mismatching components [J]. IEEE Transaction on Software engineering, 2008, 34(4): 546-563.
[5] MEDJAHED B, BENATALLAH A, BOUGUETTAYA A, ANNE H H N, AHMED K E. Business-to-business interactions: issues and enabling technologies [J]. The International Journal on Very Large Data Bases, 2003, 12(1): 59-85.
[6] BENATALLAH B, CASATI F, GRIGORI D, NEZHAD H R M, TOUMANI F. Developing adapters for web services integration [C]// Proceeding of the International Conference on Advanced Information Systems Engineering, Berlin: Springer, 2005: 415-429.
[7] NEZHAD H R M, BENATALLAH B, MARTENS A, CURBERA F, CASATI F. Semi-automated adaptation of service interactions [C]// Proceeding of the 16th international conference on World Wide Web, New York: ACM, 2007: 993-1002.
[8] LI Xitong, FAN Yushun, MADNICK S, QUAN Z S. A pattern-based approach to protocol mediation for Web services composition [J]. Information and Software Technology, 2010, 50(3): 304-323.
[9] KONGDENFHA W H R, NEZHAD H R M, BENATALLAH, CASATI F, SAINT-PAUL R. Mismatch patterns and adaptation aspects: a foundation for rapid development of Web service adapter [J]. IEEE transactions on services computing, 2009, 2(2): 94-107.
[10] BENATALLAH B, CASATI F, TOUMANI F. Representing, analysing and managing Web service protocols [J]. Data Knowl. Eng., 2006, 58(3): 327-357.
[11] ZHOU Zhangbing. A scenario-view based approach for supporting mediated Web service interaction [C] // Proceedings of the Joint 15th Doctoral Consortium and 20th International Conference on Advanced Information Systems Engineering, Berlin: Springer, 2008: 1-13.
[12] 史玉良，王海洋，张亮，施伯乐. Web 服务合成的相容性与替换性分析[J]. 计算机研究与发展，2007, 44(11): 1955-1961.
SHI Yuliang, WANG Haiyang, ZHANG liang, SHI Bole. Compatibility and substitutability analysis of Web services composition [J]. Journal of Computer Research and Development, 2007, 44(11): 1955-1961. (in Chinese)
[13] BORDEAUX L, SALAÜN G, BERARDI D, MECELLA M. When are two Web services compatible? [C]// Proceeding of the 5th International Workshop on Technologies for E-Services. Berlin: Springer, 2004: 15-28.
[14] 殷昱煜，李 莹，邓水光，尹建伟. Web 服务行为一致性与相容性判定 [J]. 电子学报，2009, 37(3): 433-438.
YIN Yuyu, LI Ying, DENG Shuiguang, YIN Jianwei. Determining on consistency and compatibility of Web services behavior [J]. Acta Electronica Sinica, 2009, 37(3): 433-438. (in Chinese)
[15] BERNARDO M, PADOVANI L, ZAVATTARO G. Advanced lectures of the 9th international school on Formal Methods for Web Services [M]. Berlin: Springer, 2009: 42-88.
