Abstract: 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 aut

Key words: Interface automata, Timed interface automata, Resource interface, Optimistic approach, Game