Interface Automata A Formal System for Components Composition
接口自动机——一种用于组件组合的形式系统

Interface automata is a new formal system used to specify components and interaction among them in the component-based system. Optimistic approach and game-theoretic foundations that deal with composition are the prominent characteristics of interface automata and are distinct from other formal methods. This paper surveys interface automata, timed interface automata, resource interface and game-based idea in them. By contrast with other formal methods, merits and limits of interface automata are summarized. This paper also gives significances of interface automata in theory and in practice, and the future of the application of interface automata.