2007
DOI: 10.1016/j.jnca.2005.10.001
|View full text |Cite
|
Sign up to set email alerts
|

Detecting feature interactions in CPL

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
10
0

Year Published

2007
2007
2007
2007

Publication Types

Select...
5
1

Relationship

2
4

Authors

Journals

citations
Cited by 8 publications
(10 citation statements)
references
References 10 publications
0
10
0
Order By: Relevance
“…If one end system rejects a call using a 603 Busy everywhere status code, other end systems should not try to redirect the call. This is similar to the Basic Rule BR1 in [12]. Typically, a person would not talk with another person using two different end devices of the same media type.…”
Section: Sumc Feature Interactionsmentioning
confidence: 67%
See 1 more Smart Citation
“…If one end system rejects a call using a 603 Busy everywhere status code, other end systems should not try to redirect the call. This is similar to the Basic Rule BR1 in [12]. Typically, a person would not talk with another person using two different end devices of the same media type.…”
Section: Sumc Feature Interactionsmentioning
confidence: 67%
“…Xu et al proposed to translate CPL into a formal language to check feature interactions [12]. Amyot et al developed a tool called FIAT for filtering inconsistencies among features, then implemented a translator to convert CPL to the FIAT input language [13].…”
Section: Related Workmentioning
confidence: 99%
“…Some approaches have been proposed to verify properties of services written in these languages. For example, detection of interaction between features has been explored in the context of CPL [12,20] and LESS [19]. However, none of these languages has been formally defined.…”
Section: Related Workmentioning
confidence: 99%
“…In many cases, the naive user unfortunately will not be able to distinguish interactions from system malfunctions. Reviews of research on service conflicts in traditional telecommunications systems can be found in [25,26] and policy conflicts in CPL are discussed in [27,28].…”
Section: Policy Conflictsmentioning
confidence: 99%