Kong Eng Cheng and Tadashi Ohta, editors. "Feature Interactions in Telecommunications III". IOS Press, Amsterdam (1995).  Home/Search   Document Not in Database   Summary   Related Articles   Check

....interaction problem is stated simply, and informally, as follows: A feature interaction is a situation in which system behaviour (specified as some set of features 1 ) does not as a whole satisfy each of its component features individually. We concentrate on the domain of telephone features [10, 7]. Consider the following 3 well known interactions: ffl Call line delivery and call line delivery restriction One user has subscribed to the call line delivery feature in order to identify incoming callers. A second user does not wish anyone to see his 2 number when he makes a call and ....

K. E. Cheng and T. Ohta, editors. Feature Interactions In Telecommunications III. IOS Press, 1995.

....is growing exponentially due to the number of services (or features) available. The feature interaction problem occurs when two or more features, whose individual behaviours are easy to specify and validate with the client, introduce unforseen problems when they are asked to work together (see [5, 6] for a wide range of papers on the subject) Formal methods have been proposed as a means of controlling the complex analysis required for the detection and resolution of these problems [2] It is well accepted that these formal techniques should be applied as early as possible in the development ....

K. E. Cheng and T. Ohta, editors. Feature Interactions In Telecommunications III. IOS Press, 1995.

....how the general approach can be applied to the existing Intelligent Network (IN) architecture in particular. 1 Introduction Feature interactions in telecommunication systems increasingly obstruct the introduction of new features. They are an enstablished research subject by now (compare, e.g. [1, 2, 3]) The causes for feature interactions are many, therefore many remedies will have to be applied together. We aim at tackling a certain kind of feature interaction by employing a more modular structure for the design of a telephone switching system and its features. In this paper, we the ....

....interface. Notably, the Feature Interaction Detection Contest instructions [5] take exactly this approach. They specify features in terms of Flash , Off hook , DialTone , StartRinging etc. Many of the case study specifications in the proceedings of previous feature interaction workshops [1, 2, 3] are expressed similarly. Even though they aggregate individual digits to a dialled number , in general these requirement specifications of features make assumptions about details of the users interface hardware. There are some exceptions in the literature, for example Blom et al. 6] assume a ....

[Article contains additional citation context not shown here]

Kong Eng Cheng and Tadashi Ohta, editors. "Feature Interactions in Telecommunications III". IOS Press, Amsterdam (1995).

....Creation Environment (SCE) and deploy them in the network. However, the rapid development of services is hindered by the feature interaction problem [1] Formal Description Techniques (FDTs) have proven useful in detecting feature interactions at the specification level (see numerous papers in [5][2] 7] A formal description of the system behavior with the features provides an unambiguous and precise view of the system that can support formal analysis and validation methods. In this paper, we describe an architectural model for structuring the specification of IN components in the formal ....

K.E. Cheng and T Ohta (Eds.) Feature Interaction in Telecommunications III. IOS Press, 1995.

....more advanced concepts, such as exception handling. This can also be viewed as semantical model of the core of the imperative version in [24] We demonstrate our concepts by two examples, including some telecommunication features, where feature interactions have recently attracted great attention [27, 8]. For more examples in this area of telecommunications we refer to [25] For implementing our concepts with monads we generalize techniques developed in [18] In our model, classes correspond to monads, which can be viewed 3 as particular abstract data types. The interesting point is that (some ....

.... computes [1, 2, 1] counter with undo test4 : UndoT (Option (Ct; CountT Ct Id) St test4 = dof inc; inc; undo; size g computes 1 18 7 Feature Interaction in Telecommunications In telecommunications, feature interaction problems have led to a new research branch [27, 8] focusing on such interaction problems which hinder the rapid creation of new services. The problem in feature interaction stems from the abundance of features telephones (will) have. For instance, consider the following conflict occurring in telephone connections: B forwards calls to his phone to ....

K. E. Cheng and T. Ohta, editors. Feature Interactions in Telecommunications III. IOS Press, Tokyo, Japan, Oct 1995.

....are integrated on top of a base system, they may interfere with each other, or interact in ways which are hard to predict. This problem has been dubbed the feature interaction problem in the literature on telecommunications. A series of workshops is dedicated to feature interaction ( 11] 3] [4], 8] and [17] Examples of feature interactions in telecommunications systems are: ffl Call Forward on Busy and Voice Mail on Busy : both these features try to take control of a second (incoming) call to the subscriber. This is inconsistent, so one cannot allow both features to be active on ....

.... FAIRNESS st=idle FAIRNESS st=dialt FAIRNESS st=trying FAIRNESS st=busyt FAIRNESS st=ringingt FAIRNESS st=talking FAIRNESS st=ringing FAIRNESS st=talked FAIRNESS st=ended MODULE main VAR ph[1] phone (1,2,3,4,ph) ph[2] phone (2,1,3,4,ph) ph[3] phone (3,1,2,4,ph) ph[4] : phone (4,1,2,3,ph) Fig. 9. The SMV code for the phone system. 2 2) sumption is that we only need to look at overlapping configurations when checking combinations of features. In essence, we are taking some of the choice away from the model checker, and in turn we need to ensure that we test ....

[Article contains additional citation context not shown here]

K. E. Cheng and T. Ohta, editors. Feature Interactions in Telecommunications III, Tokyo, Japan, October 1995. IOS Press.

....has received considerable attention [11, 24] The problem of such interactions is that some feature has to behave differently in the presence of the other, due to an interaction. In the literature, many interaction detection and resolving mechanisms for feature interactions have been proposed [4, 12]. Many techniques in the literature describe features only at an implementation oriented level. In this paper, we introduce state transition diagrams (STDs) which are capable of defining component properties at different abstraction levels. We use such STDs for the abstract specification of a ....

K. E. Cheng and T. Ohta, editors. Feature Interactions in Telecommunications III. IOS Press, Tokyo, Japan, Oct 1995.

....competitive [CCG 98] Such switches already comprise hundreds of features [BDC 89] and they rank among the largest software systems in the world. In recent years, so called feature interaction problems have become a serious obstacle to adding more features to these systems [IEE92, BoVe94, ChOh95, DBL97, KiBo98] A simple example of a feature interaction is the introduction and joint subscription to Originating Call Screening (OCS) and Abbreviated Dialling (ABD) The OCS feature allows to enter directory numbers into a list, e.g. by a parent. The feature aborts a call if a number is ....

....to Busy Subscriber over Number Portability to just increasing the number of trunks that the switch can handle. Accordingly, several different classes of causes for feature interactions have been identified. Different feature interaction categorizations have been proposed, e.g. in [CGL 94, ChOh95, CaCo96] Among others, Cameron et al. CGL 94] present a categorization by causes of interactions, and their toplevel categories are: violation of feature assumptions, limitations on network support, and intrinsic problems in distributed systems. In our view, the feature interaction problems ....

Cheng, K. E. and Ohta, T., editors. Feature Interactions in Telecommunications III . IOS Press, Amsterdam (1995).

....initial customer requirements. By combining TLA and object oriented semantics we can alleviate these problems. 1. 3 Telephone Feature Specification Features are observable behaviour and are therefore a requirements specification problem [24] We concentrate on the domain of telephone features [4, 5]. The feature interaction problem is stated simply, and informally, as follows: A feature interaction is a situation in which system behaviour (specified as some set of features) does not as a whole satisfy each of its component features individually. Most feature interaction problems can be (and ....

K. E. Cheng and T. Ohta, editors. Feature Interactions In Telecommunications III. IOS Press, 1995.

....reasons: It is designed and optimised for concurrent, reactive systems, such as the telephone system and the lift system. The feature interaction problem, which we wish to investigate with our approach, arose originally in such systems. cf. Griffeth 1992) Bouma and Velthuijsen 1994) (Cheng and Ohta 1995), Dini et al. 1997) and (Kimbler and Bouma 1998) The SMV tool (McMillan 1993) can check temporal properties of systems described using the SMV language. This enables rapid development of rigorous and accurate examples. We use the SMV tool both before and after feature integration with SFI. ....

....system, they may interfere with each other, or interact in ways which are hard to predict. This problem has been dubbed the feature interaction problem in the literature on telecommunications. A series of workshops is dedicated to feature interaction: Griffeth 1992) Bouma and Velthuijsen 1994) (Cheng and Ohta 1995), Dini et al. 1997) and (Kimbler and Bouma 1998) We write S F for the result of integrating the feature F into the base system S; and we write S ffl to mean that the system S satisfies the property . Our method and tool can detect the following kinds of feature interaction. ....

Cheng, K. E. and Ohta, T., editors (1995). Feature Interactions in Telecommunications III, Tokyo, Japan. IOS Press.

....from the informal understanding of the requirements is examined. Validation based on meta analysis of the problem structure is elucidated. INTRODUCTION The problem of feature interactions in telephonic systems is well documented (Zave, 1993; Cameron et al. 1994; Bouma and Velthuijsen, 1994; Cheng and Ohta, 1995) . Formal languages have been used in the development of such systems to improve the means of analysing requirements models for undesirable behaviour (Rochefort and Hoover, 1997; Prehofer, 1997; Blom, 1997; Gibson, 1997; Turner, 1997; Veldhuijsen, 1995; Gibson and Mery, 1997) Unfortunately, ....

Cheng, K. E. and Ohta, T., editors (1995). Feature Interactions In Telecommunications III. IOS Press.

....interaction problem is stated simply, and informally, as follows: A feature interaction is a situation in which system behaviour (specified as some set of features 2 ) does not as a whole satisfy each of its component features individually. We concentrate on the domain of telephone features [4, 2]. Figure 1 illustrates this definition within the formal framework which we adopt throughout this paper. Two types of formal models are used. Firstly, we require an executable model (written in LOTOS [12] with an object based style [10] which is useful for validating the dynamic behaviour. ....

K. E. Cheng and T. Ohta, editors. Feature Interactions In Telecommunications III. IOS Press, 1995.

....initial customer requirements. By combining TLA and object oriented semantics we can alleviate these problems. 1. 3 Telephone Feature Specification Features are observable behaviour and are therefore a requirements specification problem [5] We concentrate on the domain of telephone features [6,7]. The feature interaction problem is stated simply, and informally, as follows: A feature interaction is a situation in which system behaviour (specified as some set of features) does not as a whole satisfy each of its component features individually. Most feature interaction problems can be (and ....

Cheng, K. E. and Ohta,T.: Feature Interactions In Telecommunications III. IOS Press (1995)

....the need for a formal means of verifying temporal requirements in an object oriented specification architecture. 5. 1 The feature interaction problem Features are observable behaviour and are therefore a requirements specification problem [31] We concentrate on the domain of telephone features [4, 5]. The feature interaction problem is 7 We decided not to use TLP for this because the translation to PVS was already complete adn, we believe, is better suited to this task. stated simply, and informally, as follows: A feature interaction is a situation in which system behaviour (specified as ....

K. E. Cheng and T. Ohta, editors. Feature Interactions In Telecommunications III. IOS Press, 1995.

....interaction problem is stated simply, and informally, as follows: A feature interaction is a situation in which system behaviour (specified as some set of features 1 ) does not as a whole satisfy each of its component features individually. We concentrate on the domain of telephone features [8, 5]. Figure 1 illustrates this definition within the formal framework which we adopt throughout this paper. Three types of formal models are used. Firstly, we require an executable model (written in LOTOS [19] using an object based style [16] which is useful for constructing an executable model for ....

K. E. Cheng and T. Ohta, editors. Feature Interactions In Telecommunications III. IOS Press, 1995.

....that we define a more targeted search strategy to deal with swap axioms, reduction axioms, equality and negation by failure. This is an interesting problem that we will investigate in future work. Several authors have proposed definitions of feature interactions and methods for detecting them (see [4, 8]) The approach of [12] is the closest one to ours: the authors consider axiomatic specifications of deterministic labeled transition systems; two features interact if their joint specification cannot be satisfied by a labeled transition system. A similar approach is used in [2] where ....

Cheng, K.E., T. Ohta (1995) Feature Interactions in Telecommunications III. IOS Press.

....earlier paper, composition of state monads was compared to inheritance and extended to other monads in functional programming. The motivation for this work was the recent development in telecommunication and multimedia software, where feature interactions have recently attracted great attention [21, 3]. Examples for feature oriented programming in this area are discussed in [13, 15] In the following section, we discuss the first three features of the stack example. We define the feature oriented extension of Java via translations in Section 3, followed by an extension to parameterized features ....

....supports incremental development by subclassing, feature oriented programming enables compositional programming, and overwriting as in inheritance is accomplished by resolving feature interactions. The recent interest in feature interactions, mostly stemming from multimedia applications [21, 3], shows that there is a large demand for expressive composition concepts where objects with individual services can be created. It also shows that our viewpoint of inheritance as interaction is a very natural concept. Compared to classical object oriented programming, feature oriented programming ....

K. E. Cheng and T. Ohta, editors. Feature Interactions in Telecommunications III. IOS Press, Tokyo, Japan, Oct 1995.

..... 66 List of Figures 74 List of Tables 78 Index of Defined Terms and Their Uses 79 iv Chapter 1 Introduction Feature interactions in telecommunication systems increasingly obstruct the introduction of new features. They are an enstablished research subject by now [KiBo98, DBL97, ChOh95, BoVe94] The causes for feature interactions are many, therefore many remedies will have to be applied together. A substantial number of the causes can be classified as related to the maintenance of telephone switching software. These software systems rank among the largest in the world, and due ....

....Notably, the Feature Interaction Detection Contest instructions [GBGO98] take exactly this approach. They specify features in terms of Flash , Off hook , DialTone , StartRinging etc. Many of the case study specifications in the proceedings of previous feature interaction workshops [DBL97, ChOh95, BoVe94] are expressed similarly. Even though they aggregate individual digits to a dialled number , in general these requirement specifications of features make assumptions about details of the users interface hardware. There are some exceptions in the literature, for example Blom et al. ....

[Article contains additional citation context not shown here]

Cheng, K. E. and Ohta, T., editors. Feature Interactions in Telecommunications III . IOS Press, Amsterdam (1995).

....we discuss exception handling within FOP and apply FOP to automata based description techniques. 1 Introduction In this paper, we address the feature interaction problem as a software composition problem. The recent interest in feature interactions, mostly stemming from multimedia applications [13, 2, 4], shows that there is a large demand for expressive composition concepts where objects with individual services can be created. In our approach, objects with individual services can be created from a set of features. For this composition, we employ a feature composition architecture, which is a ....

K. E. Cheng and T. Ohta, editors. Feature Interactions in Telecommunications III. IOS Press, Tokyo, Japan, Oct 1995.

....we define a more intelligent search strategy to deal with swap axioms, reduction axioms, equality and negation by failure. This is an interesting problem that we will investigate in future work. Several authors have proposed definitions of feature interactions and methods for detecting them (see [4, 8]) The approach of [11] is the closest one to ours: the authors consider axiomatic specifications of deterministic labeled transition systems; two features interact if their joint specification cannot be satisfied by a labeled transition system. A similar approach is used in [2] where ....

Cheng, K.E., T. Ohta (1995) Feature Interactions in Telecommunications III. IOS Press.

....but the problem has been most intensively studied in the domain of telecommunications systems engineering. Modern network designs known as intelligent networks or active networks present significant feature interaction problems [1] Feature interaction is the subject of an international workshop [2, 3]. What is a feature The term does not have an accepted definition but we could characterise a feature as being a significant aspect or property of the system which could be used to compare this one to another. Most importantly, features are qualities which can interact and which can be measured. ....

K. E. Cheng and T. Ohta, editors. Feature Interactions in Telecommunications III, Tokyo, Japan, October 1995. IOS Press.

No context found.

Kong Eng Cheng and Tadashi Ohta, editors. "Feature Interactions in Telecommunications III". IOS Press, Amsterdam (1995).

No context found.

K. E. Cheng and T. Ohta, editors. Feature Interactions in Telecommunications III, Tokyo, Japan, Oct 1995. IOS Press.

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