{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T14:07:08Z","timestamp":1761401228896},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2005,11,16]],"date-time":"2005-11-16T00:00:00Z","timestamp":1132099200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2006,6]]},"DOI":"10.1007\/s10270-005-0101-6","type":"journal-article","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T16:36:43Z","timestamp":1131727003000},"page":"121-134","source":"Crossref","is-referenced-by-count":6,"title":["Detecting feature interaction in CPL"],"prefix":"10.1007","volume":"5","author":[{"given":"Nicolas","family":"Gorse","sequence":"first","affiliation":[]},{"given":"Luigi","family":"Logrippo","sequence":"additional","affiliation":[]},{"given":"Jacques","family":"Sincennes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,11,16]]},"reference":[{"key":"101_CR1","unstructured":"Zave, P.: Architectural solutions to feature-interaction problems in telecommunications. In: Calder, M., Magill, E. (eds.) Feature Interactions in Telecommunications and software systems VI, pp. 10\u201322. IOS Press (1998)"},{"key":"101_CR2","unstructured":"Kimbler, K., Bouma, L.G.: Feature Interactions in Telecommunications and software systems VI. IOS Press (1998)"},{"key":"101_CR3","unstructured":"Calder, M., Magill, E.H.: Feature Interactions in Telecommunications and software systems VI. IOS Press (2000)"},{"key":"101_CR4","unstructured":"Amyot, D., Logrippo, L.: (Eds.). Feature Interactions in telecommunications and software systems VII. IOS Press (2003)"},{"key":"101_CR5","doi-asserted-by":"crossref","unstructured":"Calder, M., Kolberg, M., Magill, E.H., Reiff-Marganiec, S.: Feature interaction: A critical review and considered forecast. In Computer Networks, vol 41 (1) 115\u2013141. Elsevier Science (2003)","DOI":"10.1016\/S1389-1286(02)00352-3"},{"issue":"5","key":"101_CR6","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1016\/j.comnet.2004.03.004","volume":"45","author":"S. Reiff-Marganiec","year":"2004","unstructured":"Reiff-Marganiec, S., Turner, K.J.: Feature interactions in policies. Computer Networks 45(5), 569\u2013584 (2004)","journal-title":"Computer Networks"},{"issue":"5","key":"101_CR7","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1016\/j.comnet.2004.03.001","volume":"45","author":"P. Dini","year":"2004","unstructured":"Dini, P., Clemm, A., Gray, T., Lin, F.J., Logrippo, L., Reiff-Marganiec, S.: Policy-enabled mechanisms for feature interactions: Reality, expectations, challenges. Computer Networks 45(5), 585\u2013603 (2004)","journal-title":"Computer Networks"},{"key":"101_CR8","doi-asserted-by":"crossref","unstructured":"Cameron, E.J., Griffeth, N., Lin, Y., Nilson, M.E., Schnure, W.K., Velthuijsen, H.: A feature interaction benchmark for in and beyond. In Workshop on Feature Interactions in telecommunications Systems, pp. 1\u201323. IEEE Communications 31 (1993) 64\u201369 (revised and reprinted In: Bouma, L.G., Velthuijsen, H. (eds.), IOS Press, Amsterdam) (1994)","DOI":"10.1109\/35.199613"},{"key":"101_CR9","doi-asserted-by":"crossref","unstructured":"Amyot, D., Gray, T., Liscano, R., Logrippo, L., Sincennes, J.: Interactive conflict detection and resolution for personalized features. To appear in the Journal of Communications and Networks (2004)","DOI":"10.1109\/JCN.2005.6389819"},{"key":"101_CR10","unstructured":"Kimbler, K.: Addressing the interaction problem at the enterprise level. In Dini, P., Boutaba, R., and Logrippo, L. (eds.) Feature Interactions in Telecommunications Networks IV(FIW'97), pp. 13\u201322 (1997)"},{"key":"101_CR11","unstructured":"Metzger, A., Webel, C.: Feature interaction detection in building control systems by means of a formal product model. In: Amyot, D., Logrippo, L. (eds.) Feature Interactions in Telecommunications and software systems VII, pp. 105\u2013121. IOS Press, (2003)"},{"key":"101_CR12","unstructured":"Buhr, R.J.A., Amyot, D., Elammari, M., Quesnel, D., Gray, T., Mankovski, S.: Feature-interaction visualization and resolution in an agent environment. In Kimbler, K. and Bouma, L.G. (eds.) Feature Interactions in Telecommunications and software systems V, pp. 135\u2013149. IOS Press (1998)"},{"key":"101_CR13","unstructured":"Marples, D., Magill, E.H.: The use of rollback to prevent incorrect operation of features in intelligent network based systems. In: Kimbler, K. Bouma, L.G. (eds.) Feature Interactions in Telecommunications and software systems V, pp. 115\u2013134. IOS Press (1998)"},{"key":"101_CR14","unstructured":"Jia, Y., Atlee, J.M.: Run-time management of feature interactions. In ICSE Workshop on Component-Based Software Engineering (CBSE6) (2003)"},{"key":"101_CR15","unstructured":"Black, U.: The Intelligent Network: Customizing Telecommunication Networks and Services. Prentice Hall (1998)"},{"key":"101_CR16","doi-asserted-by":"crossref","unstructured":"Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J., Sparks, R., Handley, M., Schooler, E.: SIP: Session Initiation Protocol. Internet Engineering Task Force (IETF), June (2002) RFC-3261","DOI":"10.17487\/rfc3261"},{"key":"101_CR17","doi-asserted-by":"crossref","unstructured":"Lennox, J., Schulzrinne, H.: Call Processing Language Framework and Requirements. Internet Engineering Task Force (IETF), May 2000. RFC-2824","DOI":"10.17487\/rfc2824"},{"key":"101_CR18","doi-asserted-by":"crossref","unstructured":"Bolognesi, T., Briskma, E.: Introduction to the ISO specification language LOTOS. In Computer Networks and ISDN Systems 14 (1987), pp. 25\u201359. Elsevier (1989)","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"101_CR19","unstructured":"Logrippo, L., Faci, M., Haj-Hussein, M.: An Introduction to LOTOS: Learning by Examples. Computer Networks and ISDN Systems 23(5), 325\u2013342, (1992). Errata in 25(1), 99\u2013100 (1992)"},{"key":"101_CR20","unstructured":"Turner, K.J.: Using Formal Description Techniques. J. Wiley & sons Ltd. (1993)"},{"key":"101_CR21","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall (1989)"},{"key":"101_CR22","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"101_CR23","unstructured":"Gorse, N.: The feature interaction problem: Automatic filtering of incoherences & generation of validation test suites at the design stage. Master's thesis, University of Ottawa, Ottawa (2001)"},{"key":"101_CR24","doi-asserted-by":"crossref","unstructured":"Clocksin, W.F., Mellish, C.S.: Programming in Prolog. Springer, 4th edition (1994)","DOI":"10.1007\/978-3-642-97596-7"},{"key":"101_CR25","unstructured":"Wielemaker, J.: SWI Prolog reference manual. Dept. of Social Science Informatics (SWI) (2000)"},{"key":"101_CR26","unstructured":"Pav\u00f3n, S., Larrabeiti, D., Rabay, G.: LOtos LAboratory user manual (version 3r6). Universidad Polit\u00e9cnica de Madrid (1995)"},{"key":"101_CR27","unstructured":"Amyot, D., Charfi, L., Gorse, N., Gray, T., Logrippo, L., Sincennes, J., Stepien, B., Ware, T.: Feature description and feature interaction analysis with Use Case Maps and LOTOS In: Calder, M., Magill, E. (eds.) Feature Interactions in Telecommunications and software systems VI, pp. 274\u2013289. IOS Press (2000)"},{"key":"101_CR28","unstructured":"Yoneda, T., Ohta, T.: A formal approach for definitions and detection of feature interactions. In: Kimbler, K., Bouma, L.G. (eds.) Feature Interactions in Telecommunications and software systems V, pp. 202\u2013216. IOS Press (1998)"},{"key":"101_CR29","first-page":"640","volume-title":"IEICE Transactions on Information and Systems","author":"T. Yoneda","year":"2000","unstructured":"Yoneda, T., Ohta, T.: Automatic elicitation of knowledge for detecting feature interactions in telecommunications services. In IEICE Transactions on Information and Systems, pp. 640\u2013647. IEICE, Japan (2000)"},{"key":"101_CR30","unstructured":"Xu, Y., Logrippo, L., Sincennes, J.: Detecting feature interactions in pair-wise cpl scripts. To appear in the Journal of Network and Computer Applications (2004)"},{"key":"101_CR31","unstructured":"Barbuceanu, M., Gray, T., Mankowski, S.: How to make your agents fulfil their obligations. In Proceedings of PAAM-98 (1998)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0101-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-005-0101-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0101-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T10:44:32Z","timestamp":1683283472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-005-0101-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11,16]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["101"],"URL":"https:\/\/doi.org\/10.1007\/s10270-005-0101-6","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,11,16]]}}}