科研之友
微信
新浪微博
Facebook
分享链接
摘要
An approach to adaptor generation based on scenario-based specifications is presented by utilizing the finite state machine (FSM) model. Firstly, the initial adaptor model for a set of incompatible services is derived. Then, the final adaptor model is gained by eliminating the deadlock traces of initial adaptor model and computing the synchronous product of the specification model and the adaptor model without deadlock traces. The generated adaptor not only reconciles the behavioral incompatibility, but also satisfies the given specifications by the interactions wth services. Feasibility and validity of the proposed approach is indicated by a case analysis.
