zbMATH — the first resource for mathematics

Scenario-driven component behavior derivation. (Chinese. English summary) Zbl 1112.68496
Summary: Components with redundant functionalities, especially with undesired functionalities, can not be used properly by users. Therefore, the scenario-based behavior derivation of components is a significant problem that needs to be solved, where the scenario specifies the user’s desired behavior. An approach is proposed to derive the desired behavior specified by a scenario specification from components. The main idea of this approach is that by constructing a special environment, i.e., supremum-inclusive environment (SIE), for a component, all behavior specified by a scenario specification can be extracted from the component to the composition of the component and its SIE, and other behavior of the component is discarded to the most extent. This paper uses 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 the components is modeled by the product of interface automata. This paper gives the relevant algorithm in this approach and illustrates it by an example.
68U35 Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)
68Q45 Formal languages and automata
Full Text: DOI