Feature specification and automated conflict detection

ACM Transactions on Software Engineering and Methodology

Volumn 12, Issue 1, 2003, Pages 3-27

  Felty, Amy P ^a   Namjoshi, Kedar S ^b  

^a UNIVERSITY OF OTTAWA   (Canada)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

Feature interaction; Linear temporal logic; Telecommunications software and systems

Indexed keywords

FEATURE INTERACTION; LINEAR TEMPORAL LOGIC; TELECOMMUNICATION SOFTWARE AND SYSTEMS;

AUTOMATION; COMPUTATIONAL COMPLEXITY; FEATURE EXTRACTION; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PROBLEM SOLVING; TELECOMMUNICATION SYSTEMS;

SOFTWARE ENGINEERING;

EID: 2442474190     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/839268.839270     Document Type: Article

References (30)

1. AHO, A., GALLAGHER, S., GRIFFETH, N., SCHELL, C., AND SWAYNE, D. 1998. SCF3™/Sculptor with Chisel: Requirements engineering for communications services. In Feature Interactions in Telecommunications and Software Systems V, K. Kimbler and L. G. Bouma, Eds. IOS Press, 45-63.
2. BLOM, J., BOL, R., AND KEMPE, L. 1995. Automatic detection of feature interactions in temporal logic. In Feature Interactions in Telecommunications Systems III, K. E. Cheng and T. Ohta, Eds. IOS Press, 1-19.
3. BRAYTON, R. K., HACHTEL, G. D., SANGIOVANNI-VINCENTELLI, A. L., SOMENZI, F., AZIZ, A., CHENG, S.-T., EDWARDS, S. A., KHATRI, S. P., KUKIMOTO, Y., PARDO, A., QADEER, S., RANJAN, R. K., SARWAHY, S., SHIPLE, T. R., SWAMY, G., AND VILLA, T. 1996. VIS: A system for verification and synthesis. In Conference on Computer Aided Verification. Lecture Notes in Computer Science, vol. 1102. Springer-Verlag, New York.
4. BUCHI, J. R. 1962. On a decision method in restricted second-order arithmetic. In 1960 International Congress for Logic, Methodology and Philosophy of Science. Stanford Univ. Press, Stanford, Calif.
5. CLARKE, E. M. AND EMERSON, E. A. 1981. Design and synthesis of synchronization skeletons using branching time temporal logic. In Workshop on Logics of Programs. Lecture Notes in Computer Science, vol. 131. Springer-Verlag, New York.
6. COMBES, P. AND PICKIN, S. 1994. Formalisation of a user view of network and services for feature interaction detection. In Feature Interactions in Telecommunications Systems, W. Bouma and H. Velthuijsen, Eds. IOS Press, 120-135.
7. DU BOUSQUET, L. 1999. Feature interaction detection using testing and model-checking, experience report. In World Congress on Formal Methods. Lecture Notes in Computer Science, vol. 1708. Springer-Verlag, New York.
8. EMERSON, E. A. AND HALPERN, J. Y. 1986. "Sometimes" and "Not Never" revisited: on Branching versus Linear Time Temporal Logic. J.ACM 33, 1 (Jan.), 151-178.
9. FACI, M. AND LOGRIPPO, L. 1994. Specifying features and analysing their interactions in a LOTOS environment. In Feature Interactions in Telecommunications Systems, W. Bouma and H. Velthuijsen, Eds. IOS Press, 136-151.
10. GAMMELGAARD, A. AND KRISTENSEN, J. E. 1994. Interaction detection, a logical approach. In Feature Interactions in Télécommunications Systems, W. Bouma and H. Velthuijsen, Eds. IOS Press, 178-196.
11. HARDIN, R. H., HAR'EL, Z., AND KURSHAN, R. P. 1996. COSPAN. In Eighth Conference on Computer Aided Verification. Lecture Notes in Computer Science, vol. 1102. Springer-Verlag New York.
12. HAREL, D. AND PNUELI, A. 1985. On the development of reactive systems. In Logics and Models of Concurrent Systems, K. Apt, Ed. NATO Advanced Summer Institutes, vol. F-13. Springer-Verlag, New York, 477-498.
13. HOLZMANN, G. J. AND SMITH, M. H. 2000. Automating software feature interaction. Bell Labs Tech. J. 5.
14. JONSSON, B., MARGARIA, T., NASSER, G., NYSTRÖM, J., AND STEFFEN, B. 2000. Incremental requirement specification for evolving systems. In Feature Interactions in Telecommunications and Software Systems VI, M. Calder and E. Magill, Eds. IOS Press, 145-162.
15. KAMOUN, J. AND LOGRIPPO, L. 1998. Goal-oriented feature interaction detection in the intelligent network model. In Feature Interactions in Telecommunications and Software Systems V, K. Kimbler and L. G. Bouma, Eds. IOS Press, 172-186.
16. KECK, D. O. AND KUEHN, P. J. 1998. The feature and service interaction problem in telecommunications systems: A survey. IEEE Trans. Softw. Eng. 24, 10 (Oct.), 779-796.
17. KHOUMSI, A. AND BEVELO, R. J. 2000. A detection method developed after a thorough study of the contest held in 1998. In Feature Interactions in Telecommunications and Software Systems VI, M. Calder and E. Magill, Eds. IOS Press, 226-240.
18. LAMPORT, L. 1994. The temporal logic of actions. ACM Trans. Prog. Lang. Syst. 16, 3 (May), 872-923.
19. LAPORTA, T. F., LEE, D., LIN, Y.-J., AND YANNAKAKIS, M. 1998. Protocol feature interactions. In Formal Description Techniques (FORTE-PSTV).
20. LIN, F. J. AND LIN, Y.-J. 1994. A building block approach to detecting and resolving feature interactions. In Feature Interactions in Telecommunications Systems, W. Bouma and H. Velthuijsen, Eds. IOS Press, 86-119.
21. MCMILLAN, K. L. 1993. Symbolic Model Checking. Kluwer Academic Publishers.
22. PLATH, M. AND RYAN, M. 1998. Plug-and-play features. In Feature Interactions in Telecommunications and Software Systems V, K. Kimbler and L. G. Bouma, Eds. IOS Press, 150-164.
23. PLATH, M. AND RYAN, M. 2001. Feature integration using a feature construct. Sci. Comput. Prog. 41, 1 (Sept.), 53-84.
24. PNUELI, A. 1977. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on Foundations of Computer Science. IEEE Computer Society Press, Los Alamitos, Calif., 46-57.
25. PNUELI, A. AND ROSNER, R. 1989. On the synthesis of a reactive module. In Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, New York.
26. QUEILLE, J. P. AND SIFAKIS, J. 1982. Specification and verification of concurrent systems in CESAR. In Proceedings of the 5th International Symposium on Programming. Lecture Notes in Computer Science, vol. 137. Springer-Verlag, New York.
27. SIDDIQI, S. AND ATLEE, J. M. 2000. A hybrid model for specifying features and detecting interactions. Comput. Netw. 32, 471-485.
28. TEL 1996. LATA switching systems generic requirements (LSSGR) FR-NWT-000064, 1992 edition. Feature requirements, including: SPCS capabilities and features, SR-504. Issue 1, May 1996, Telcordia/Bellcore.
29. THOMAS, W. 1990. Automata on infinite objects. In Handbook on Theoretical Computer Science, J. van Leeuwen, Ed. Vol. B. Elsevier Science, Amsterdam, The Netherlands.
30. VARDI, M. Y. AND WOLPER, P. 1986. An automata-theoretic approach to automatic program verification (preliminary report). In Symposium on Logic in Computer Science. 332-344.