By contrast with other formal meth- ods, merits and limits of interface automata are summarized.
在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限。
参考来源 - 接口自动机——一种用于组件组合的形式系统 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
Optimistic approach and game-theoretic foundations that deal with composition are the prominent characteristics of interface automata and are distinct from other formal methods.
接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。
The composition of the components is modeled by the product of interface automata.
构件的组合描述为接口自动机的乘积。
This paper surveys interface automata, timed interface automata, resource interface and game-based idea in them.
本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。
应用推荐