%0 Journal Article
%T Interface Automata A Formal System for Components Composition<br>接口自动机——一种用于组件组合的形式系统
%A ZHANG Yan
%A HU Jun
%A YU Xiao-Feng
%A LI Xuan-Dong
%A ZHENG Guo-Liang
%A <br>张岩
%A 胡军
%A 于笑丰
%A 李宣东
%A 郑国梁
%J 计算机科学
%D 2005
%I 
%X 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.
%K Interface automata
%K Timed interface automata
%K Resource interface
%K Optimistic approach
%K Game<br>接口自动机
%K 时间接口自动机
%K 资源接口
%K 乐观方法
%K 博弈
%K 形式系统
%K 自动机
%K 接口
%K 组件
%K 种用
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=ED6C1307AC208237&yid=2DD7160C83D0ACED&vid=9971A5E270697F23&iid=708DD6B15D2464E8&sid=D2742EEE6F4DF8FE&eid=F9F74EC1AA08A7B9&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=43