{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:57:32Z","timestamp":1770281852960,"version":"3.49.0"},"reference-count":34,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-09-1-0229"],"award-info":[{"award-number":["FA9550-09-1-0229"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-0917092"],"award-info":[{"award-number":["CCF-0917092"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2011,12]]},"abstract":"<jats:p>Many areas of computer science are concerned with some form of variation in software---from managing changes to software over time to supporting families of related artifacts. We present the choice calculus, a fundamental representation for software variation that can serve as a common language of discourse for variation research, filling a role similar to the lambda calculus in programming language research. We also develop an associated theory of software variation, including sound transformations of variation artifacts, the definition of strategic normal forms, and a design theory for variation structures, which will support the development of better algorithms and tools.<\/jats:p>","DOI":"10.1145\/2063239.2063245","type":"journal-article","created":{"date-parts":[[2011,12,20]],"date-time":"2011-12-20T17:49:14Z","timestamp":1324403354000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":111,"title":["The Choice Calculus"],"prefix":"10.1145","volume":"21","author":[{"given":"Martin","family":"Erwig","sequence":"first","affiliation":[{"name":"Oregon State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Walkingshaw","sequence":"additional","affiliation":[{"name":"Oregon State University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,12]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70770"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79980-1_4"},{"key":"e_1_2_2_3_1","doi-asserted-by":"crossref","unstructured":"Assmann U. 2003. Invasive Software Composition. Springer New York. Assmann U. 2003. Invasive Software Composition . Springer New York.","DOI":"10.1007\/978-3-662-05082-8"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/136586.136587"},{"key":"e_1_2_2_6_1","volume-title":"Proceedings of the IEEE International Conference on Automated Software Engineering. 81--92","author":"Batory D."},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940079"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/97945.97982"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1090744.1090746"},{"key":"e_1_2_2_11_1","unstructured":"Date C. J. 2005. Database in Depth: Relational Theory for Practitioners. O\u2019Reilly Media Inc. Date C. J. 2005. Database in Depth: Relational Theory for Practitioners . O\u2019Reilly Media Inc."},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1158288"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101815.1101817"},{"key":"e_1_2_2_14_1","unstructured":"GNU Project. 2009. The C Preprocessor. Free Software Foundation. Free Software Foundation. http:\/\/gcc.gnu.org\/onlinedocs\/cpp\/. GNU Project . 2009. The C Preprocessor. Free Software Foundation. Free Software Foundation. http:\/\/gcc.gnu.org\/onlinedocs\/cpp\/."},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_21"},{"key":"e_1_2_2_16_1","doi-asserted-by":"crossref","unstructured":"Kang K. C. Cohen S. G. Hess J. A. Novak W. E. and Peterson A. S. 1990. Feature-oriented domain analysis (FODA) feasibility study. Tech. rep. CMU\/SEI-90-TR-21 Software Engineering Institute Carnegie Mellon University. Kang K. C. Cohen S. G. Hess J. A. Novak W. E. and Peterson A. S. 1990. Feature-oriented domain analysis (FODA) feasibility study. Tech. rep. CMU\/SEI-90-TR-21 Software Engineering Institute Carnegie Mellon University.","DOI":"10.21236\/ADA235785"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368131"},{"key":"e_1_2_2_18_1","volume-title":"Proceedings of the International Software Product Line Conference. 181--190","author":"K\u00e4stner C."},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134303"},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1041685.1029915"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337618"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233797"},{"key":"e_1_2_2_24_1","doi-asserted-by":"crossref","unstructured":"Pohl K. B\u00f6ckle G. and van der Linden F. 2005. Software Product Line Engineering: Foundations Principles and Techniques. Springer. Pohl K. B\u00f6ckle G. and van der Linden F. 2005. Software Product Line Engineering: Foundations Principles and Techniques . Springer.","DOI":"10.1007\/3-540-28901-1"},{"key":"e_1_2_2_25_1","unstructured":"Rosenthal M. 2009. Alternative features in colored featherweight Java. M.S. thesis University of Passau Germany. (In German). Rosenthal M. 2009. Alternative features in colored featherweight Java. M.S. thesis University of Passau Germany. (In German)."},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.23"},{"key":"e_1_2_2_27_1","volume-title":"Proceedings of the USENIX Summer Conference. 185--198","author":"Spencer H."},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/142750.142912"},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302457"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/800254.807748"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2002.1033025"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988710"},{"key":"e_1_2_2_33_1","volume-title":"Proceedings of the Symposium on System Configuration Management. 57--66","author":"Wingerd L."},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2003.04.007"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2063239.2063245","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2063239.2063245","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:25Z","timestamp":1750240465000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2063239.2063245"}},"subtitle":["A Representation for Software Variation"],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["10.1145\/2063239.2063245"],"URL":"https:\/\/doi.org\/10.1145\/2063239.2063245","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12]]},"assertion":[{"value":"2010-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}