Compositional automata learning is attracting attention as an analysis technique for complex black-box systems. It exploits a target system’s internal compositional structure to reduce complexity. In this paper, we identify system integration—the process of building a new system as a composite of potentially third-party and black-box components—as a new application domain of compositional automata learning. Accordingly, we propose a new problem setting, where the learner has direct access to black-box components. This is in contrast with the usual problem settings of compositional learning, where the target is a legacy black-box system and queries can only be made to the whole system (but not to components). We call our problem componentwise automata learning for distinction. We identify a challenge there called component redundancies: some parts of components may not contribute to system-level behaviors, and learning them incurs unnecessary effort. We introduce a contextual componentwise learning algorithm that systematically removes such redundancies. We experimentally evaluate our proposal and show its practical relevance.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Componentwise Automata Learning for System Integration

  • Hiroya Fujinami,
  • Masaki Waga,
  • Jie An,
  • Kohei Suenaga,
  • Nayuta Yanagisawa,
  • Hiroki Iseri,
  • Ichiro Hasuo

摘要

Compositional automata learning is attracting attention as an analysis technique for complex black-box systems. It exploits a target system’s internal compositional structure to reduce complexity. In this paper, we identify system integration—the process of building a new system as a composite of potentially third-party and black-box components—as a new application domain of compositional automata learning. Accordingly, we propose a new problem setting, where the learner has direct access to black-box components. This is in contrast with the usual problem settings of compositional learning, where the target is a legacy black-box system and queries can only be made to the whole system (but not to components). We call our problem componentwise automata learning for distinction. We identify a challenge there called component redundancies: some parts of components may not contribute to system-level behaviors, and learning them incurs unnecessary effort. We introduce a contextual componentwise learning algorithm that systematically removes such redundancies. We experimentally evaluate our proposal and show its practical relevance.