计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2005年
11期
212-217
,共6页
张岩%胡军%于笑丰%李宣东%郑国梁
張巖%鬍軍%于笑豐%李宣東%鄭國樑
장암%호군%우소봉%리선동%정국량
接口自动机%时间接口自动机%资源接口%乐观方法%博弈
接口自動機%時間接口自動機%資源接口%樂觀方法%博弈
접구자동궤%시간접구자동궤%자원접구%악관방법%박혁
接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的"乐观方法"和博弈思想是区别于其它形式化工具的关键点.本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述.在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限.文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望.
接口自動機是描述基于組件繫統中組件及組件間交互行為的形式化工具.接口自動機在處理組件組閤問題時所使用的"樂觀方法"和博弈思想是區彆于其它形式化工具的關鍵點.本文對接口自動機、時間接口自動機和資源接口及其中的博弈思想進行綜述.在同其它形式化方法比較的基礎上,指齣瞭接口自動機的長處和跼限.文中總結瞭接口自動機在理論上和實際中的意義併對其應用前景做瞭展望.
접구자동궤시묘술기우조건계통중조건급조건간교호행위적형식화공구.접구자동궤재처리조건조합문제시소사용적"악관방법"화박혁사상시구별우기타형식화공구적관건점.본문대접구자동궤、시간접구자동궤화자원접구급기중적박혁사상진행종술.재동기타형식화방법비교적기출상,지출료접구자동궤적장처화국한.문중총결료접구자동궤재이론상화실제중적의의병대기응용전경주료전망.
