^pof;
Information;
Science;
and;
Technology,;
Nanjing;
University;
of;
Aeronautics;
and;
Astronautics,;
Nanjing;
210098,;
P.R.;
China;
^pof;
Computer;
and;
Information;
Engineering,;
Hohai;
University,;
Nanjing;
210016,;
P.R.;
China;
^pof;
Information,;
Shandong;
Agricultural;
University,;
Tai';
an;
271000,;
P.R.;
China;
接口自动机; 状态转换; UML; 自动机模型; 行为模式; 系统验证; 表达能力; 组件;