计算机科学 ›› 2005, Vol. 32 ›› Issue (11): 212-217.
• 软件工程与数据库技术 • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要: 接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具。接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限。文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望。
关键词: 接口自动机 时间接口自动机 资源接口 乐观方法 博弈 形式系统 自动机 接口 组件 种用
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
. 接口自动机——一种用于组件组合的形式系统[J]. 计算机科学, 2005, 32(11): 212-217. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2005/V32/I11/212
Cited