接口自动机网络 Interface Automata Networks
By contrast with other formal meth- ods, merits and limits of interface automata are summarized.
在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限。
参考来源 - 接口自动机——一种用于组件组合的形式系统 in CAs one formal tool, interface automaton, it can improve the adaptability of web service, fech up the deficiency which BPEL depicts the behavior of web service.
接口自动机这一形式化工具,可以提高服务的适应性,弥补BPEL语言本身对服务行为刻画的不足。
参考来源 - 基于接口自动机的web服务行为过滤研究·2,447,543篇论文数据，部分数据来源于NoteExpress
构件的组合描述为接口自动机的乘积。
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.
接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。
Optimistic approach and game-theoretic foundations that deal with composition are the prominent characteristics of interface automata and are distinct from other formal methods.
应用推荐