{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:56:25Z","timestamp":1742957785022,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679448"},{"type":"electronic","value":"9783540445258"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44525-0_10","type":"book-chapter","created":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T10:00:58Z","timestamp":1178013658000},"page":"148-167","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Playing with Abstraction and Refinement for Managing Features Interactions"],"prefix":"10.1007","author":[{"given":"Dominique","family":"Cansell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominique","family":"M\u00e9ry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,12,21]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport. Composing specifications. Transactions On Programming Languages and Systems, 15(1):73\u2013132, January 1993.","DOI":"10.1145\/151646.151649"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. The B book-Assigning Programs to Meanings. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"10_CR3","unstructured":"J.-R. Abrial. Extending b without changing it (for developing distributed systems). In H. Habrias, editor, 1 st Conference on the B method, pages 169\u2013190, November 1996."},{"key":"10_CR4","series-title":"Lect Notes Comput Sci","volume-title":"B\u201998:Recent Advances in the Development and Use of the B Method","author":"J.-R. Abrial","year":"1998","unstructured":"J.-R. Abrial and L. Mussat. Introducing dynamic constraints in B. In D. Bert, editor, B\u201998:Recent Advances in the Development and Use of the B Method, volume 1393 of Lecture Notes in Computer Science. Springer-Verlag, 1998."},{"key":"10_CR5","unstructured":"J.R. Abrial. Cryptographic protocol specification and design. Steria Meeting on protocols, May 1997."},{"key":"10_CR6","unstructured":"J.R. Abrial. Development of the abr protocol. ps file, february 1999."},{"key":"10_CR7","unstructured":"J.R. Abrial. Event-driven sequential programs, ps file, March 2000."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"J.R. Abrial and L. Mussat. Specification and design of a transmission protocol by sucessive refinements using B. Steria Meeting on Protocols, May 1997.","DOI":"10.1007\/978-3-642-60858-2_17"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0167-6423(83)90004-7","volume":"3","author":"K. R. Apt","year":"1983","unstructured":"K. R. Apt and E. R. Olderog. Proof rules and transformations dealing with fairness. Science of Computer Programming, 3:65\u2013100, 1983.","journal-title":"Science of Computer Programming"},{"key":"10_CR10","unstructured":"C. Areces, W. Bouma, and M. de Rijke. Description logics and feature interaction. Technical report, KPN Research, 1999."},{"key":"10_CR11","unstructured":"J. Blom, B. Johnsson, and L. Kempe. Automatic detection of feature interactions in temporal logic. In K. E. Cheng and T. Ohta, editors, Feature Interactions in Telecommunications Systems, pages 1\u201319. IOS Press, 1996. [15]."},{"key":"10_CR12","unstructured":"J. Blom, B. Jonsson, and L. Kempe. Using temporal logic for modular specification of telephone services. In L. G. Bouma and H. Velthuijsen, editors, Feature Interactions in Telecommunications Systems, pages 197\u2013216. IOS Press, 1994."},{"key":"10_CR13","unstructured":"L. G. Bouma and H. Velthuijsen, editors. Feature Interactions in Telecommunications Systems. IOS Press, 1994."},{"key":"10_CR14","unstructured":"K. M. Chandy and J. Misra. Parallel Program Design A Foundation. Addison-Wesley Publishing Company, 1988. ISBN 0-201-05866-9."},{"key":"10_CR15","unstructured":"K. E. Cheng and T. Ohta, editors. Feature Interactions in Telecommunications Systems. IOS Press, 1996."},{"key":"10_CR16","unstructured":"P. Combes, M. Michel, and B. Renard. Formalisation verification of telecommunications service interactions using sfl methods and tools. In 6th SDL Forum, 1993."},{"key":"10_CR17","unstructured":"P. Combes and S. Pickin. Formalisation of a user view of network and services for feature interaction detection. In L. G. Bouma and H. Velthuijsen, editors, Feature Interactions in Telecommunications Software System, pages 120\u2013135. IOS Press, 1994. [13]."},{"key":"10_CR18","unstructured":"P. Dini, R. Boutaba, and L. Logrippo, editors. Feature Interactions in Telecommunications Newtworks IV, Montreal, 1997. IOS Press."},{"key":"10_CR19","unstructured":"L. du Bousquet, F. Ouebdessalam, J.-L. Richier, and N. Zuanon. Incremental Feature Validation: A Synchronous Point of View. In K. Kimbler and W. Bouma, editors, Feature Interaction Workshop. IOS Press, 1998. In [30]."},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"M. Frappier, A. Mili, and J. Desharnais. Detecting Feature Interaction on Relational Specifications. In P. Dini, R. Boutaba, and L. Logrippo, editors, Feature Interaction Workshop. IOS Press, 1997. In [18].","DOI":"10.1007\/978-0-387-35264-0_9"},{"key":"10_CR21","unstructured":"A. Gammelgaard and J. E. Kristensen. Interaction detection, a logical approach. In L. G. Bouma and H. Velthuijsen, editors, Feature Interactions in Telecommunications Systems, pages 178\u2013196. IOS Press, 1994."},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"J.-P. Gibson, G. Hamilton, and D. M\u00e9ry. Integration problems in telephone feature requirements. In A. Galloway and K. Taguchi, editors, IFM\u201999 Integrated Formal Methods 1999, Workshop In Computing Science, YORK, June 1999. Springer Verlag.","DOI":"10.1007\/978-1-4471-0851-1_8"},{"key":"10_CR23","unstructured":"J.-P. Gibson, G. Hamilton, and D. M\u00e9ry. A taxonomy for triggered interactions using fair objects semantics. In Muffy Calder and Evan Magill, editors, FIW\u201900 Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems, Glasgow, Scotland, United Kingdom, 17th\u201319th May 2000."},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"J.-P. Gibson, B. Mermet, and D. M\u00e9ry. Feature interactions: A mixed semantic model approach. In Gerard O\u2019Regan and Sharon Flynn, editors, 1st Irish Workshop on Formal Methods, Dublin, Ireland, July 1997. Irish Formal Methods Special Interest Group (IFMSIG), Springer Verlag, http:\/\/ewic.springer.co.uk\/ .","DOI":"10.14236\/ewic\/FM1997.3"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"J.-P. Gibson and D. M\u00e9ry. Telephone feature verification: Translating sdl to tla+. In Eighth SDL Forum Evolving methods. North-Holland, 1997. Evry, France, 22\u201326 September 1997.","DOI":"10.1016\/B978-044482816-3\/50008-3"},{"key":"10_CR26","series-title":"Lect Notes Comput Sci","first-page":"25","volume-title":"PSI\u201999, Andrei Ershov Third International Conference, PERSPECTIVES OF SYSTEM INFORMATICS","author":"P. Gibson","year":"1999","unstructured":"P. Gibson and D. M\u00e9ry. Formal modelling of services for getting a better understanding of the feature interaction problem-multi-view approach. In PSI\u201999, Andrei Ershov Third International Conference, PERSPECTIVES OF SYSTEM INFORMATICS, Lecture Notes in Computer Science, page 25, Novosibirsk, Akademgorodok, Russia, 6\u20139 July 1999. Springer Verlag. Lecture Notes in Computer Science."},{"key":"10_CR27","volume":"24","year":"1998","unstructured":"IEEE, editor. Special Section Managing Feature Interactions in Telecommunications Sofware Systems, volume 24. IEEE Computer Society, October 1998.","journal-title":"Special Section Managing Feature Interactions in Telecommunications Sofware Systems"},{"issue":"4","key":"10_CR28","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/69575.69577","volume":"5","author":"C. B. Jones","year":"1983","unstructured":"C. B. Jones. Tentative steps towards a development method for interfering programs. Transactions On Programming Languages and Systems, 5(4):576\u2013619, 1983.","journal-title":"Transactions On Programming Languages and Systems"},{"issue":"10","key":"10_CR29","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1109\/32.729680","volume":"24","author":"D. O. Keck","year":"1998","unstructured":"D. O. Keck and P. J. Kuehn. The feature and service interaction problem in telecommunications systems: A survey. IEEE Transactions on Software Engineering, 24(10):779\u2013796, October 1998. In [27].","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR30","unstructured":"K. Kimbler and L. G. Bouma, editors. Feature Interactions in Telecommunications and Software Systems V, Lund, 1998. IOS Press."},{"issue":"3","key":"10_CR31","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport. A temporal logic of actions. Transactions On Programming Languages and Systems, 16(3): 872\u2013923, May 1994.","journal-title":"Transactions On Programming Languages and Systems"},{"issue":"10","key":"10_CR32","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1109\/32.729681","volume":"24","author":"F. J. Lin","year":"1998","unstructured":"F. J. Lin, H. Liu, and A. Ghosh. A Methodology for Feature Interaction Detection in the AIN 0.1 Framework. IEEE Transactions on Software Engineering, 24(10):797\u2013817, October 1998. In [27].","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR33","unstructured":"B. Mermet and D. M\u00e9ry. Incremental specification of telecommunication services. In M. Hinchey, editor, First IEEE International Conference on Formal Engineering Methods (ICFEM), Hiroshima, November 1997. IEEE."},{"key":"10_CR34","doi-asserted-by":"crossref","unstructured":"B. Mermet and D. M\u00e9ry. Safe combinations of services using b. In John McDermid, editor, SAFECOMP97 The 16th International Conference on Computer Safety, Reliability and Security, York, September 1997. Springer Verlag.","DOI":"10.1007\/978-1-4471-0997-6_21"},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"B. Mermet and D. M\u00e9ry. Service specifications to b, or not to b. In Mark Ardis, editor, Second Workshop on Formal Methods in Software Practice, Clearwater Beach, Florida, March 4\u20135 1998. ACM Press.","DOI":"10.1145\/298595.298859"},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"D. M\u00e9ry. Requirements for a temporal B: Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. In A. Galloway and K. Taguchi, editors, IFM\u201999 Integrated Formal Methods 1999, Workshop In Computing Science, YORK, June 1999.","DOI":"10.1007\/978-1-4471-0851-1_21"},{"key":"10_CR37","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"S. Owicki and D. Gries. An axiomatic proof technique for parallel programs i. Acta Informatica, 6:319\u2013340, 1976.","journal-title":"Acta Informatica"},{"key":"10_CR38","unstructured":"M. Plath and M. Ryan. Plug-and-play features. In K. Kimbler and W. Bouma, editors, Feature Interaction Workshop. IOS Press, 1998. In [30]."},{"key":"10_CR39","doi-asserted-by":"crossref","unstructured":"E. Sekerinski and K. Sere, editors. Program Development by Refinement. Springer, 1999.","DOI":"10.1007\/978-1-4471-0585-5"},{"key":"10_CR40","unstructured":"STERIA-Technologies de l\u2019Information, Aix-en-Provence (F). AtelierB, Manuel Utilisateur, 1998. Version 3.5."},{"key":"10_CR41","unstructured":"K. Turner. Validating Architectural Feature Descriptions using LOTOS. In K. Kimbler and W. Bouma, editors, Feature Interaction Workshop. IOS Press, 1998. In [30]."},{"key":"10_CR42","doi-asserted-by":"crossref","unstructured":"Kenneth J. Turner. Relating architecture and specification. Computer Networks and ISDN Systems, 1997. http:\/\/www.cs.stir.ac.uk\/~kjt\/research\/publications.html .","DOI":"10.1016\/S0169-7552(96)00107-9"},{"key":"10_CR43","unstructured":"Union Internationale des T\u00e9l\u00e9communications. R\u00e9seau intelligent-introduction \u00e1 l\u2019ensemble de capacit\u00e9s 1 du r\u00e9seau intelligent. Technical Report UIT-T Q.1211, Union Internationale des T\u00e9l\u00e9communications, October 1993. R\u00e9seau Intelligent."},{"key":"10_CR44","unstructured":"T. Yoneda and T. Ohta. A Formal Approach for Definition and Detection of Feature Intercation. In K. Kimbler and W. Bouma, editors, Feature Interaction Workshop. IOS Press, 1998. In [30]."},{"key":"10_CR45","doi-asserted-by":"crossref","unstructured":"P. Zave. Feature interactions and formal specifications in telecommunications. Computer, August 1993.","DOI":"10.1109\/2.223539"}],"container-title":["Lecture Notes in Computer Science","ZB 2000: Formal Specification and Development in Z and B"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44525-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T17:24:49Z","timestamp":1683825889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44525-0_10"}},"subtitle":["A Methodological Approach to Feature Interaction Problem"],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679448","9783540445258"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/3-540-44525-0_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"21 December 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}