{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:10:21Z","timestamp":1761610221687,"version":"build-2065373602"},"reference-count":20,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3984,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1016\/s1571-0661(04)80448-1","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"36-55","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Call Abstraction for Component Coordination"],"prefix":"10.1016","volume":"66","author":[{"given":"Pamela","family":"Zave","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Jackson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80448-1_NEWBIB1","unstructured":"Greg Bond, Eric Cheung, Andrew Forrest, Michael Jackson, Hal Purdy, Chris Ramming, and Pamela Zave. DFC as the basis for ECLIPSE, an IP communications software platform. In Proceedings of the IP Telecom Services Workshop 2000, pages 19\u201326. Atlanta, Georgia, September 2000."},{"key":"10.1016\/S1571-0661(04)80448-1_NEWBIB2","unstructured":"Gregory W. Bond, Eric Cheung, K. Hal Purdy, J. Christopher Ramming, and Pamela Zave. An open architecture for next-generation telecommunication services. Submitted for publication."},{"key":"10.1016\/S1571-0661(04)80448-1_NEWBIB3","unstructured":"Gregory W. Bond, Franjo Ivan\u010di\u0107, Nils Klarlund, and Richard Trefler. ECLIPSE feature logic analysis. In Proceedings of the Second IP Telephony Workshop, pages 49\u201356. Columbia University, New York, New York, April 2001."},{"year":"1994","series-title":"Feature Interactions in Telecommunications Systems","key":"10.1016\/S1571-0661(04)80448-1_NEWBIB4"},{"issue":"6","key":"10.1016\/S1571-0661(04)80448-1_NEWBIB5","doi-asserted-by":"crossref","first-page":"850","DOI":"10.1145\/268999.269004","article-title":"Compositional refinement of interactive systems","volume":"IVIV","author":"Broy","year":"1987","journal-title":"Journal of the ACM"},{"issue":"II(1)","key":"10.1016\/S1571-0661(04)80448-1_NEWBIB6","article-title":"Functional specification of time-sensitive communicating systems","volume":"146","author":"Broy","year":"1983","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"year":"2000","series-title":"Feature Interactions in Telecommunications and Software Systems VI","key":"10.1016\/S1571-0661(04)80448-1_NEWBIB7"},{"year":"1995","series-title":"Feature Interactions in Telecommunications Systems III","key":"10.1016\/S1571-0661(04)80448-1_NEWBIB8"},{"year":"1997","series-title":"Feature Interactions in Telecommunication Networks IV","key":"10.1016\/S1571-0661(04)80448-1_NEWBIB9"},{"key":"10.1016\/S1571-0661(04)80448-1_NEWBIB10","doi-asserted-by":"crossref","first-page":"981","DOI":"10.1016\/0169-7552(93)90095-L","article-title":"Design and validation of protocols: A tutorial","volume":"XXV","author":"Gerard Holzmann","year":"1993","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S1571-0661(04)80448-1_NEWBIB11","unstructured":"Daniel Jackson, Ian Schechter and Ilya Shlyakhter. Alcoa: the Alloy Constraint Analyzer. In Proceedings of the International Conference on Software Engineering, Limerick, Ireland, June 2000."},{"issue":"10","key":"10.1016\/S1571-0661(04)80448-1_NEWBIB12","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1109\/32.729683","article-title":"Distributed feature composition: A virtual architecture for telecommunications services","volume":"XXIV","author":"Jackson","year":"1998","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1571-0661(04)80448-1_NEWBIB13","unstructured":"Michael Jackson and Pamela Zave. The DFC Manual. AT&T Research Technical Report, August 2001. Available at http:\/\/www.research.att.com\/info\/pamela."},{"year":"1998","series-title":"Feature Interactions in Telecommunications and Software Systems V","key":"10.1016\/S1571-0661(04)80448-1_NEWBIB14"},{"key":"10.1016\/S1571-0661(04)80448-1_NEWBIB15","article-title":"Software Architecture","author":"Shaw","year":"1996","journal-title":"Prentice-Hall, Inc"},{"key":"10.1016\/S1571-0661(04)80448-1_NEWBIB16","unstructured":"Pamela Zave. Address translation in telecommunication features. Submitted for publication."},{"key":"10.1016\/S1571-0661(04)80448-1_NEWBIB17","unstructured":"Pamela Zave. An architecture for three challenging features. In Proceedings of the Second IP Telephony Workshop, pages 176\u2013187. Columbia University, New York, New York, April 2001."},{"key":"10.1016\/S1571-0661(04)80448-1_NEWBIB18","unstructured":"Pamela Zave. An experiment in feature engineering. In Essays by the Members of the IFIP Working Group on Programming Methodology, Springer-Verlag, to appear."},{"key":"10.1016\/S1571-0661(04)80448-1_NEWBIB19","unstructured":"Pamela Zave. Formal description of telecommunication services in Promela and Z. In Manfred Broy and Ralf Steinbr\u00fcggen, editors, Calculational System Design (Proceedings of the Nineteenth International NATO Summer School), pages 395\u2013420. IOS Press, 1999."},{"key":"10.1016\/S1571-0661(04)80448-1_NEWBIB20","series-title":"Feature Interactions in Telecommunications and Software Systems VI","first-page":"51","article-title":"New feature interactions in mobile and multimedia telecommunication services","author":"Zave","year":"2000"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804481?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804481?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:04:59Z","timestamp":1761609899000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104804481"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,9]]}},"alternative-id":["S1571066104804481"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80448-1","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A Call Abstraction for Component Coordination","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)80448-1","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}