关键词: 接口自动机 精化检验 组合可达性分析 状态空间爆炸问题

Abstract:

Interface automaton is a formalism that captures the temporal aspects of software component interfaces. The use of the traditional simple compositiona l rule is limited greatly because no consideration is made for the effect of the environment on the subtasks. In this paper, a revision to the tradition al compositional rule is presented.

Key words: interface automata;refinement checking, compositional reachability analysis （CRA）, state-explosion problem