R.Hall, "Feature Interactions in Electronic Mail", In [6], pp 67-82, 2000.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....modular verification to the level of behavioral properties. A companion paper [20] contains the algorithmic details. This paper also demonstrates the utility of our interfaces through a case study. The case study is based on an analysis of an email system originally conducted by Robert Hall [15]. This example is interesting because it contains a substantial number of feature interactions; in our methodology, these manifest as properties that hold of individual features, yet fail after composition. Hall originally identified these interactions manually. Using our methodology, we can ....

....to generate meaningful performance figures, and because the emphasis in developing the model checker has been to support the methodology rather than provide high performance. We manually extracted the ten properties described in Section 2 from the interactions that Hall reported in his study [15]. Hall detected twenty six interactions, of which we detected sixteen. Of Hall s remaining ten interactions, two were too simple to detect at our level of model (we would have had to artificially design a model to reflect the Our tables of results show only fifteen rows because the first of ....

R. J. Hall. Feature interactions in electronic mail. In Feature Interactions in Telecommunications Systems. IOS Press, 2000.

....it is clear that the value of research into such interactions does not stop here. Two further areas from our work that would benefit from the application of feature interaction research are described below. As an aside, some additional examples of non traditional interactions can be found in [Hall00] and [Fireworks97] relating to email systems and a variety of miscellaneous examples (including a lift system, a tape deck system, a metro ticketing system, etc. respectively. 3.1. Component based middleware At Lancaster, we are interested in component based middleware platforms such as the ....

Hall R.J., "Feature Interactions in Electronic Mail", In [Calder00], pp 67-82, 2000.

....downloading software on a limited mobile device, the download time and storage space on a mobile device should be kept minimal. Applications where entangled features are added or updated frequently during the live cycle of a software component. As an example consider an email server, where [4] has analyzed about 10 common features and discovered about 25 feature interactions. For instance, encryption and auto responder interact as follows. The auto responder answers emails automatically by quoting the subject field of the incoming email. If an encrypted email is decrypted first and ....

....subject of the email will be rerumed. This however leaks the originally encrypted subject if the outgoing email is sent in plain. Hence for combining these seemingly independent features one must consider such special cases. We use in the sequel the above email example. The main features (see also [4]) are: Encryption and decryption for encrypted mails. Filtering particular emails, e.g. for virus protection. An auto reply feature for automatic answers to all incoming emails. In the following section we present the background on statecharts. Modular construction of statecharts ....

R.J. Hall, Feature Interactions in Electronic Mail, IEEE Workshop on Feature Interaction, IOS-Press, 2000

....features which do interact. In this way we show that graphical software modeling with state diagrams can be extended to modular composition of features. A key problem we address here is that features often have to cooperate or interact in unforeseen ways. In the example of an email server, [Hall00] has analyzed 10 common features of an email system and discovered about 25 feature interactions. This is a well known problem in telecommunications, which lead to a research branch focusing on tools and methods to handles interactions (see e.g. FIW] For instance, encryption and auto responder ....

....however leaks the originally encrypted subject if the outgoing email is sent in plain. Hence combining these seemingly independent features is not fully modular, as such special cases have to be considered. We show in the sequel our concepts by the above email example. Its main features (see also [Hall00]) are: Encryption and decryption for encrypted mails. Filtering particular emails, e.g. for spam or virus protection. An auto reply feature for automatic answers to all incoming emails. 2. Features and Feature Interactions A feature is an entity which offers an interface with functions and ....

[Article contains additional citation context not shown here]

R. J. Hall, Feature Interactions in Electronic Mail, IEEE Workshop on Feature Interaction, IOS-Press, 2000

....receives one internal call corresponding to one switched call, and places many internal calls. Further away from a SSC box than a Mailing List box, switched calls have become meaningless. Hall describes eight other E mail features within in a DFC like architecture, and analyzes their interactions [8]. Because of the close similarities between the two architectures, these results apply to DFC as well. D. Examples of Extensions In Figure 7, bold letters mark regions of the usage where additional feature boxes could be placed. To summarize examples used throughout Section V, here is a list of ....

Robert J. Hall. Feature interactions in electronic mail. In [5], pages 67-82.

....is not fixed in the telephony domain, although this is the main application to be presented in the paper. It can be used to describe any system that consists of base functionality and additions to this. This situation is quite common; examples arise in defining car accessories, electronic mail [6], lift control [11] object oriented development, operating systems and word processors. Combining a number of features often leads to the feature interaction problem [3] whereby features that are conceived in isolation do not interwork properly. One of the motivations for translating CRESS into ....

R. J. Hall. Feature interactions in electronic mail. In M. H. Calder and E. H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 67--82, Amsterdam, Netherlands, May 2000. IOS Press.

....such as electronic mail (text) and Web browsing (images) are brought under the telecommunication umbrella and unified conceptually with telephony. They bring their own native interactions under the umbrella with them. For example, Hall discusses many interactions native to electronic mail [3]. Competition for bandwidth: When the total bandwidth needs of all available services exceed the bandwidth resources, then features must compete for them. Video conferencing: This is a rich service, with many roles to play and many opportunities to add supplementary features. It is also much in ....

Robert J. Hall. Feature interactions in electronic mail. In this volume.

No context found.

R.Hall, "Feature Interactions in Electronic Mail", In [6], pp 67-82, 2000.

No context found.

R. J. Hall. Feature interactions in electronic mail. In Feature Interactions in Telecommunications Systems. IOS Press, 2000.

No context found.

R.Hall, "Feature Interactions in Electronic Mail", In [8], pp 67-82, 2000.

No context found.

Robert J. Hall. Feature interactions in electronic mail. In Feature Interactions in Telecommunications Systems. IOS Press, 2000.

No context found.

Robert J. Hall. Feature interactions in electronic mail. In Calder and Magill

No context found.

Robert J. Hall. Feature interactions in electronic mail. In [3], pages 67-82.

No context found.

R. J. Hall. Feature interactions in electronic mail. In Feature Interactions in Telecommunications Systems. IOS Press, 2000.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC