接口自动机的良构性检测算法及其实现
来源：计算机应用杂志2017年第2期北京时间：
作者：李雪, 朱嘉钢
单位：江南大学 物联网工程学院, 江苏 无锡 214122
摘要：针对构件式系统中任一构件的非良构性会导致系统不能正常运行的问题，提出一种基于接口自动机（IA）来分析和检测构件良构性（well-formedness）的算法，并据此实现了一个构件良构性检测原型系统。该算法首先构造与接口自动机同构的可达图；其次，基于可达图通过深度优先遍历生成一条覆盖所有迁移的有序集；最后，根据该有序集检测在外界环境满足其输入假设的情况下，每个属于方法的活动到其对应返回活动的路径的自治无异常可达性，从而实现接口自动机的良构性检测。根据所提算法在Eclipse平台设计并实现了构件良构性检测原型系统T-CWFC，该系统通过JFLAP建立构件的接口自动机模型并构造其可达图，进而对接口自动机作良构性检测并输出相关检测信息。最后通过对一组构件的良构性检测实验验证了算法的有效性。
关键词：接口自动机,构件,良构性,最简运行
基金资助：江苏省产学研项目（BY2013015-40）。
