Presentation | 1998/3/19 A Static Detection Method of Feature Interactions Tae Yoneda, Tadashi Ohta, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Services that independently operate normally will behave differently when simultaneously initiated (synthesized) with another service. This behavior is called service interaction (or feature interaction). In the feature interactions, as for logical interactions, effective detection method has been proposed. On the other hand, as for semantics interactions which require semantic analysis to be detected, a detection method based on state enumeration has been proposed. But in this method there is a problem of state explosion. In this paper, how to detect semantic interaction without state enumeration is proposed. Considering relation ships between rule and transition of the system states, we propose a static detection method. We applied this method to 9 services, and all interactions which we had expected were detected. This method can effectively reduce computation time. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | feature interaction / static detection / specification / production rule |
Paper # | |
Date of Issue |
Conference Information | |
Committee | IN |
---|---|
Conference Date | 1998/3/19(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Information Networks (IN) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Static Detection Method of Feature Interactions |
Sub Title (in English) | |
Keyword(1) | feature interaction |
Keyword(2) | static detection |
Keyword(3) | specification |
Keyword(4) | production rule |
1st Author's Name | Tae Yoneda |
1st Author's Affiliation | Soka University() |
2nd Author's Name | Tadashi Ohta |
2nd Author's Affiliation | Soka University |
Date | 1998/3/19 |
Paper # | |
Volume (vol) | vol.97 |
Number (no) | 619 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |