Morse: Reducing the Feature Interaction Explosion Problem Using Subject Matter Knowledge as Abstract Requirements

dc.contributor.authorMillet, Laure
dc.contributor.authorDay, Nancy
dc.contributor.authorJoyce, Jeffrey J.
dc.date.accessioned2020-06-16T18:57:29Z
dc.date.available2020-06-16T18:57:29Z
dc.date.issued2018-08
dc.description.abstractThe feature interaction problem appears in many different kinds of complex systems, especially systems whose elements are created or maintained by separate entities - for example, a modern automobile that incorporates electronic systems produced by different suppliers. Cross-cutting concerns, such as safety and security, require a comprehensive analysis of the possible interactions. However, there is a combinatorial explosion in the number of feature combinations to be considered. Our work approaches the feature interaction problem from a novel point of view: we seek to use the abstract subject matter knowledge of domain experts to deduce why some features will NOT interact, rather than trying to discover or resolve the interactions. In this paper, we present a method that can automatically reduce the required number of combinations and situations that have to be evaluated or resolved for feature interactions. Our tool, called Morse, rules out feature combinations that cannot have interactions based on traceable deductions from relatively simple abstract requirements that capture relevant subject matter knowledge. Our method is useful as a means of focusing attention on particular situations where more detailed functional requirements may be needed to avoid unacceptable risk arising from unintended interactions between features. relatively simple abstract requirements that capture relevant subject matter knowledge. Our method is useful as a means of focusing attention on particular situations where more detailed functional requirements may be needed to avoid unacceptable risk arising from unintended interactions between features.en
dc.identifier.urihttps://doi.org/10.1109/RE.2018.00033
dc.identifier.urihttp://hdl.handle.net/10012/15993
dc.language.isoenen
dc.publisherIEEEen
dc.subjectformal specificationen
dc.subjectformal verificationen
dc.subjectlarge-scale systemsen
dc.titleMorse: Reducing the Feature Interaction Explosion Problem Using Subject Matter Knowledge as Abstract Requirementsen
dc.typeConference Paperen
dcterms.bibliographicCitationL. Millet, N. A. Day and J. J. Joyce, "Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements," 2018 IEEE 26th International Requirements Engineering Conference (RE), Banff, AB, 2018, pp. 251-261, doi: 10.1109/RE.2018.00033.en
uws.contributor.affiliation1Faculty of Mathematicsen
uws.contributor.affiliation2David R. Cheriton School of Computer Scienceen
uws.peerReviewStatusRevieweden
uws.scholarLevelFacultyen
uws.typeOfResourceTexten

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
2018-MiDaJo-re.pdf
Size:
248.99 KB
Format:
Adobe Portable Document Format
Description:
Accepted manuscript
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
4.47 KB
Format:
Item-specific license agreed upon to submission
Description: