摘要:
During interoperation process among components at signature level and behavioral level, many kinds of message mismatches happened. The classical way to solve the mismatch problems is to generate adaptor protocols (semi-) automatically in according to sets of component interface specifications and adaptation contracts, to authors knowledge, it can not perfectly solve the mismatch problem when messages transmit with parameters. In this paper, the author firstly apply the composition operator to synchronous vector and make it include all the mismatch relations of the transmitted messages with parameters, then, adaptor protocols are generated automatically to solve the mismatch problems based on Petri net encoding and Tina tools. The experimental results show the approach can better solve the mismatch problem.
展开