Abstract: Modeling the networked software interaction behavior is the basis of understanding the internal mechanism and the running rules of the networked software. The software interactive behavior log files are collected by monitoring, and the invariant constraints are mined from it, a dynamic model learned from the construction of the finite state machine is presented. In order to ensure certainty and completeness of the model, the method of model refinement and abstraction is proposed. The corresponding algorithms are also designed. Meanwhile, the effectiveness and feasibility of the proposed method are validated through experiments.

Key words: interactive behavior, finite state machine, refinement and abstraction

摘要： 建立软件交互行为模型是认识软件的内部机理和运行规律的基础。根据监控收集的典型的电子商务软件交互日志文档，挖掘其中的不变量约束规则，借鉴有限状态机构造方法构建动态模型。为确保模型的确定性和完备性，对模型进行精化和抽象，并给出了相应的建模算法。通过实例证实了该方法的正确性和有效性。

关键词: 交互行为, 有限机, 精化和抽象