Scenario-based Component Behavior Filtration

Components with undesired behavior could not be used properly by users. Therefore, the scenario-based behavior filtration of components is a significant problem to be solved, where the scenarios specify what behavior is undesired and what is desired. We propose an approach for filtering out the undesired behavior specified by a scenario specification from components. The main idea of our approach is that by constructing a special environment, i.e., conditional exclusive environment, for a component, all undesired behavior specified by one scenario specification can be filtered out and all desired behavior specified by another scenario specification. can be preserved when the component works in the environment. We use interface automata to model the behavior of components and a set of action sequences to abstract the scenario specification in message sequence charts. The composition of components is modelled by the product of interface automata. We give the relevant algorithm in our approach and illustrate it by an example.