会话类E-Service的接口兼容和服务组合分析

针对会话类E-Service的会话完整性对环境提出的更多限制以及由此导致的行为差异,给出了对接口环境的严格定义和接口兼容检查的精确算法．在应用上,由于接口兼容的组合算法COMP可以得到组合接口自动机,通过计算COMP(COMP(A1,…,COMP(AN-1,AN)))可以保证最终的组合结果是协议兼容的．

Interface Compatibility and Composition of Session-Oriented E-Service

Session-oriented Electronic Service (E-Service) ' s observable behavior presents a defined choreography of messages, characterized in terms of temporal and logical dependencies among the exchanged messages, as well as a "start" and an "end" in the message sequence. An automata based formalism interface model is presented to capture the temporal aspect of message flow. The formalism supports automatic verification of interface compatibility which can be regard as type system for interface interaction. The interface compatibility check focuses on the more constraint that interfaces will put on environment due to integration of E-Service, and the strict definition of environment behavior and the precise algorithm named COMP. The COMP outputs a composite interface model which can be used to assist (dynamic) composer to ensure the correctness of composition in term of protocol compatibility.