View Related Documents

Abstract

Feature interactions occur when the composition of two processes produces unexpected or unwanted behaviors. The problem of detecting interactions can be formalized, but the resolution of such interactions remains almost an art since specifications must be changed in a way or another. In this paper, we describe a technique that can be used to automatically propose modifications to the original specifications in order to remove unwanted interactions. We show that this technique removes sucessfully ping-pong interactions in E-mail services where messages are endlessy duplicated by a careless user or a distribution list.

KEY-WORDS  Feature interactions - detection - resolution - E-mail services

Fulltext Preview

Image of the first page of the fulltext document