A Tool to Construct One Comprehensive Legal Environment for Behavioral Incompatible Components

Abstract

Behavioral incompatibility in component compositions is an important problem in the field of component-based software development. To solve this problem, one approach is to construct an environment in which the incompatible components can work together. So we write this tool, which uses the interface automata to model the behavior of components, to derive available behaviors all out from two incompatible component compositions and construct a comprehensive legal environment for them. This paper presents all the details of our tool, including the main steps, the core algorithm and the analysis of efficiency. A case-study is also illustrated showing the validity and practicability of our tool. © Springer-Verlag Berlin Heidelberg 2013.