Interface Compatibility and Composition of Session-Oriented E-Service
Wen Zhang · Chinese Journal of Computers · 2006
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.