乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T20:42:13Z","timestamp":1730320933555,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T00:00:00Z","timestamp":1540339200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSERC"},{"name":"Spanish MINECO","award":["TIN2014-52129-R"]},{"name":"R&D programme of Madrid","award":["S2013\/ICE-3006"]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,24]]},"DOI":"10.1145\/3276604.3276609","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T15:28:39Z","timestamp":1540394919000},"page":"160-173","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Analysing meta-model product lines"],"prefix":"10.1145","author":[{"given":"Esther","family":"Guerra","sequence":"first","affiliation":[{"name":"Autonomous University of Madrid, Spain"}]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[{"name":"Autonomous University of Madrid, Spain"}]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}]},{"given":"Rick","family":"Salay","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}]}],"member":"320","published-online":{"date-parts":[[2018,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"A Model-Driven Traceability Framework for Software Product Lines. Software and System Modeling 9, 4 (01","author":"Anquetil Nicolas","year":"2010","unstructured":"Nicolas Anquetil , Uir\u00e1 Kulesza , Ralf Mitschke , Ana Moreira , Jean-Claude Royer , Andreas Rummler , and Andr\u00e9 Sousa . 2010. A Model-Driven Traceability Framework for Software Product Lines. Software and System Modeling 9, 4 (01 Sep 2010 ), 427-451. Nicolas Anquetil, Uir\u00e1 Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, and Andr\u00e9 Sousa. 2010. A Model-Driven Traceability Framework for Software Product Lines. Software and System Modeling 9, 4 (01 Sep 2010), 427-451."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/978-3-642-02408-5_2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/s10270-014-0441-1"},{"key":"e_1_3_2_1_4_1","first-page":"2","article-title":"The Sat4j library, release 2.2","volume":"7","author":"Berre Daniel Le","year":"2010","unstructured":"Daniel Le Berre and Anne Parrain . 2010 . The Sat4j library, release 2.2 . JSAT 7 , 2 - 3 (2010), 59-6. Daniel Le Berre and Anne Parrain. 2010. The Sat4j library, release 2.2. JSAT 7, 2-3 (2010), 59-6.","journal-title":"JSAT"},{"volume-title":"Model-Driven Software Engineering in Practice","author":"Brambilla Marco","unstructured":"Marco Brambilla , Jordi Cabot , and Manuel Wimmer . 2017. Model-Driven Software Engineering in Practice , Second Edition. Morgan & Claypool Publishers , San Rafael , California (USA). Marco Brambilla, Jordi Cabot, and Manuel Wimmer. 2017. Model-Driven Software Engineering in Practice, Second Edition. Morgan & Claypool Publishers, San Rafael, California (USA).","key":"e_1_3_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1016\/j.jss.2014.03.023"},{"volume-title":"Proc. of MDELS'09 (LNCS)","author":"Cengarle Mar\u00eda Victoria","unstructured":"Mar\u00eda Victoria Cengarle , Hans Gr\u00f6nniger , and Bernhard Rumpe . 2009. Variability within Modeling Language Definitions . In Proc. of MDELS'09 (LNCS) , Vol. 5795 . Springer , Berlin, Heidelberg , 670-684. Mar\u00eda Victoria Cengarle, Hans Gr\u00f6nniger, and Bernhard Rumpe. 2009. Variability within Modeling Language Definitions. In Proc. of MDELS'09 (LNCS), Vol. 5795. Springer, Berlin, Heidelberg, 670-684.","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1007\/11557432_5"},{"unstructured":"CVL. 2012. http:\/\/www.omgwiki.org\/variability\/doku.php. CVL. 2012. http:\/\/www.omgwiki.org\/variability\/doku.php.","key":"e_1_3_2_1_9_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1007\/11561347_28"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/1173706.1173738"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1007\/s10270-011-0221-0"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/3239372.3239377"},{"key":"e_1_3_2_1_14_1","volume-title":"Dimovski and Andrzej Wasowski","author":"Aleksandar","year":"2017","unstructured":"Aleksandar S. Dimovski and Andrzej Wasowski . 2017 . Variability-Specific Abstraction Refinement for Family-Based Model Checking. In Proc. of FASE'17 (LNCS), Vol. 10202 . Springer , 406-423. Aleksandar S. Dimovski and Andrzej Wasowski. 2017. Variability-Specific Abstraction Refinement for Family-Based Model Checking. In Proc. of FASE'17 (LNCS), Vol. 10202. Springer, 406-423."},{"unstructured":"Eclipse OCL project. 2018. http:\/\/wiki.eclipse.org\/OCL. Eclipse OCL project. 2018. http:\/\/wiki.eclipse.org\/OCL.","key":"e_1_3_2_1_15_1"},{"unstructured":"EMFatic. 2012. https:\/\/www.eclipse.org\/emfatic\/. EMFatic. 2012. https:\/\/www.eclipse.org\/emfatic\/.","key":"e_1_3_2_1_16_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1007\/s10009-014-0341-2"},{"key":"e_1_3_2_1_18_1","first-page":"61","volume-title":"Proc. of VaMoS'10","author":"G\u00f3mez Abel","year":"2010","unstructured":"Abel G\u00f3mez and Isidro Ramos . 2010 . Cardinality-Based Feature Modeling and Model-Driven Engineering: Fitting them Together . In Proc. of VaMoS'10 . 61 - 68 . Abel G\u00f3mez and Isidro Ramos. 2010. Cardinality-Based Feature Modeling and Model-Driven Engineering: Fitting them Together. In Proc. of VaMoS'10. 61-68."},{"volume-title":"Proc. of FormSERA'12","author":"Gonz\u00e1lez Carlos A.","unstructured":"Carlos A. Gonz\u00e1lez , Fabian B\u00fcttner , Robert Claris\u00f3 , and Jordi Cabot . 2012. EMFtoCSP: A Tool for the Lightweight Verification of EMF Models . In Proc. of FormSERA'12 . IEEE Press , Piscataway, NJ, USA , 44-50. Carlos A. Gonz\u00e1lez, Fabian B\u00fcttner, Robert Claris\u00f3, and Jordi Cabot. 2012. EMFtoCSP: A Tool for the Lightweight Verification of EMF Models. In Proc. of FormSERA'12. IEEE Press, Piscataway, NJ, USA, 44-50.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-642-21292-5_2","volume-title":"Proc. of 16th Monterey Workshop on Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems (LNCS)","volume":"6662","author":"Gr\u00f6nniger Hans","year":"2010","unstructured":"Hans Gr\u00f6nniger and Bernhard Rumpe . 2010 . Modeling Language Variability . In Proc. of 16th Monterey Workshop on Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems (LNCS) , Vol. 6662 . Springer, Berlin, Heidelberg , 17 - 32 . Hans Gr\u00f6nniger and Bernhard Rumpe. 2010. Modeling Language Variability. In Proc. of 16th Monterey Workshop on Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems (LNCS), Vol. 6662. Springer, Berlin, Heidelberg, 17-32."},{"volume-title":"Software Abstractions - Logic, Language, and Analysis","author":"Jackson Daniel","unstructured":"Daniel Jackson . 2006. Software Abstractions - Logic, Language, and Analysis . MIT Press , London, England . See also http:\/\/alloy.mit.edu\/. Daniel Jackson. 2006. Software Abstractions - Logic, Language, and Analysis. MIT Press, London, England. See also http:\/\/alloy.mit.edu\/.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","volume-title":"Model-Driven Engineering for Software Product Lines. ISRN Software Engineering","author":"Jezequel J.-M.","year":"2012","unstructured":"J.-M. Jezequel . 2012. Model-Driven Engineering for Software Product Lines. ISRN Software Engineering 2012 , 670803 (2012), 24pp. J.-M. Jezequel. 2012. Model-Driven Engineering for Software Product Lines. ISRN Software Engineering 2012, 670803 (2012), 24pp."},{"doi-asserted-by":"crossref","unstructured":"Kyo Kang Sholom Cohen James Hess William Novak and A. Peterson. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU\/SEI-90-TR-021. Software Engineering Institute Carnegie Mellon University Pittsburgh PA. Kyo Kang Sholom Cohen James Hess William Novak and A. Peterson. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study . Technical Report CMU\/SEI-90-TR-021. Software Engineering Institute Carnegie Mellon University Pittsburgh PA.","key":"e_1_3_2_1_23_1","DOI":"10.21236\/ADA235785"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1145\/2211616.2211617"},{"key":"e_1_3_2_1_25_1","volume-title":"Batory","author":"K\u00e4stner Christian","year":"2009","unstructured":"Christian K\u00e4stner , Sven Apel , Salvador Trujillo , Martin Kuhlemann , and Don S . Batory . 2009 . Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach. In Proc. of TOOLS EUROPE'09. Springer , Berlin, Heidelberg, 175-194. Christian K\u00e4stner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, and Don S. Batory. 2009. Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach. In Proc. of TOOLS EUROPE'09. Springer, Berlin, Heidelberg, 175-194."},{"volume-title":"Proc. of MODELS'12 (LNCS)","author":"Kuhlmann Mirco","unstructured":"Mirco Kuhlmann and Martin Gogolla . 2012. From UML and OCL to Relational Logic and Back . In Proc. of MODELS'12 (LNCS) , Vol. 7590 . Springer , Berlin, Heidelberg , 415-431. Mirco Kuhlmann and Martin Gogolla. 2012. From UML and OCL to Relational Logic and Back. In Proc. of MODELS'12 (LNCS), Vol. 7590. Springer, Berlin, Heidelberg, 415-431.","key":"e_1_3_2_1_26_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1007\/978-3-319-11245-9_8"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/2814251.2814256","volume-title":"Proc. of SLE'15","author":"L\u00f3pez-Fern\u00e1ndez Jes\u00fas J.","year":"2015","unstructured":"Jes\u00fas J. L\u00f3pez-Fern\u00e1ndez , Esther Guerra , and Juan de Lara . 2015 . Example-Based Validation of Domain-Specific Visual Languages . In Proc. of SLE'15 . ACM, 101 - 112 . Jes\u00fas J. L\u00f3pez-Fern\u00e1ndez, Esther Guerra, and Juan de Lara. 2015. Example-Based Validation of Domain-Specific Visual Languages. In Proc. of SLE'15. ACM, 101-112."},{"key":"e_1_3_2_1_29_1","volume-title":"Lopez-Herrejon and Don Batory","author":"Roberto","year":"2001","unstructured":"Roberto E. Lopez-Herrejon and Don Batory . 2001 . A Standard Problem for Evaluating Product-Line Methodologies. In Generative and Component-Based Software Engineering, Jan Bosch (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg, 10-24. Roberto E. Lopez-Herrejon and Don Batory. 2001. A Standard Problem for Evaluating Product-Line Methodologies. In Generative and Component-Based Software Engineering, Jan Bosch (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 10-24."},{"volume-title":"Mastering Software Variability with FeatureIDE","author":"Meinicke Jens","unstructured":"Jens Meinicke , Thomas Th\u00fcm , Reimar Schr\u00f6ter , Fabian Benduhn , Thomas Leich , and Gunter Saake . 2017. Mastering Software Variability with FeatureIDE . Springer . See also https:\/\/featureide.github.io\/. Jens Meinicke, Thomas Th\u00fcm, Reimar Schr\u00f6ter, Fabian Benduhn, Thomas Leich, and Gunter Saake. 2017. Mastering Software Variability with FeatureIDE. Springer. See also https:\/\/featureide.github.io\/.","key":"e_1_3_2_1_30_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1016\/j.cl.2016.09.004"},{"unstructured":"MOF. 2016. http:\/\/www.omg.org\/spec\/MOF. MOF. 2016. http:\/\/www.omg.org\/spec\/MOF.","key":"e_1_3_2_1_32_1"},{"key":"e_1_3_2_1_33_1","first-page":"541","article-title":"Petri Nets","volume":"77","author":"Murata T.","year":"1989","unstructured":"T. Murata . 1989 . Petri Nets : Properties, Analysis and Applications. Proc. IEEE 77 , 4 (1989), 541 - 580 . T. Murata. 1989. Petri Nets: Properties, Analysis and Applications. Proc. IEEE 77, 4 (1989), 541-580.","journal-title":"Properties, Analysis and Applications. Proc. IEEE"},{"unstructured":"OCL. 2014. http:\/\/www.omg.org\/spec\/OCL\/. OCL. 2014. http:\/\/www.omg.org\/spec\/OCL\/.","key":"e_1_3_2_1_34_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.1145\/2896982.2896987"},{"key":"e_1_3_2_1_36_1","volume-title":"van der Linden","author":"Pohl Klaus","year":"2005","unstructured":"Klaus Pohl , G\u00fcnter B\u00f6ckle , and Frank J . van der Linden . 2005 . Software Product Line Engineering. Foundations, Principles and Techniques. Springer-Verlag Berlin Heidelberg . Klaus Pohl, G\u00fcnter B\u00f6ckle, and Frank J. van der Linden. 2005. Software Product Line Engineering. Foundations, Principles and Techniques. Springer-Verlag Berlin Heidelberg."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.1109\/MS.2015.61"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_38_1","DOI":"10.1145\/2568225.2568267"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_39_1","DOI":"10.1145\/3106195.3106225"},{"key":"e_1_3_2_1_40_1","first-page":"2","article-title":"Guest Editor's Introduction","volume":"39","author":"Schmidt D C","year":"2006","unstructured":"D C Schmidt . 2006 . Guest Editor's Introduction : Model-Driven Engineering. Computer 39 , 2 (Feb. 2006), 25-31. D C Schmidt. 2006. Guest Editor's Introduction: Model-Driven Engineering. Computer 39, 2 (Feb. 2006), 25-31.","journal-title":"Model-Driven Engineering. Computer"},{"key":"e_1_3_2_1_41_1","first-page":"81","volume-title":"Modellierung (LNI)","volume":"225","author":"Seidl Christoph","year":"2014","unstructured":"Christoph Seidl , Ina Schaefer , and Uwe A\u00dfmann . 2014 . DeltaEcore - A Model-Based Delta Language Generation Framework . In Modellierung (LNI) , Vol. 225 . GI, Bonn , 81 - 96 . Christoph Seidl, Ina Schaefer, and Uwe A\u00dfmann. 2014. DeltaEcore - A Model-Based Delta Language Generation Framework. In Modellierung (LNI), Vol. 225. GI, Bonn, 81-96."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_42_1","DOI":"10.5555\/1870926.1871248"},{"key":"e_1_3_2_1_43_1","volume-title":"Merks","author":"Steinberg Dave","year":"2008","unstructured":"Dave Steinberg , Frank Budinsky , Marcelo Paternostro , and Ed Merks . 2008 . EMF : Eclipse Modeling Framework, 2 nd Edition. Addison-Wesley Professional , Upper Saddle River, NJ. Dave Steinberg, Frank Budinsky, Marcelo Paternostro, and Ed Merks. 2008. EMF: Eclipse Modeling Framework, 2nd Edition. Addison-Wesley Professional, Upper Saddle River, NJ.","edition":"2"},{"key":"e_1_3_2_1_44_1","volume-title":"Atlee","author":"Taleghani Ali","year":"2006","unstructured":"Ali Taleghani and Joanne M . Atlee . 2006 . Semantic Variations Among UML StateMachines. In Proc. of MODELS'06 (LNCS), Vol. 4199 . Springer , 245-259. Ali Taleghani and Joanne M. Atlee. 2006. Semantic Variations Among UML StateMachines. In Proc. of MODELS'06 (LNCS), Vol. 4199. Springer, 245-259."},{"key":"e_1_3_2_1_45_1","volume-title":"Erik P. de Vink, and Tim A. C. Willemse.","author":"Maurice","year":"2017","unstructured":"Maurice H. ter Beek , Erik P. de Vink, and Tim A. C. Willemse. 2017 . Family-Based Model Checking with mCRL2. In Proc. of FASE'17 (LNCS), Vol. 10202 . Springer , 387-405. Maurice H. ter Beek, Erik P. de Vink, and Tim A. C. Willemse. 2017. Family-Based Model Checking with mCRL2. In Proc. of FASE'17 (LNCS), Vol. 10202. Springer, 387-405."},{"key":"e_1_3_2_1_46_1","volume-title":"A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47, 1","author":"Th\u00fcm Thomas","year":"2014","unstructured":"Thomas Th\u00fcm , Sven Apel , Christian K\u00e4stner , Ina Schaefer , and Gunter Saake . 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47, 1 ( 2014 ), 6:1-6:45. Thomas Th\u00fcm, Sven Apel, Christian K\u00e4stner, Ina Schaefer, and Gunter Saake. 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47, 1 (2014), 6:1-6:45."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_47_1","DOI":"10.1109\/ICSE.2007.36"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_48_1","DOI":"10.1007\/978-3-642-13595-8_23"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_49_1","DOI":"10.1109\/MS.2009.95"},{"unstructured":"Xcore. 2018. https:\/\/wiki.eclipse.org\/Xcore. Xcore. 2018. https:\/\/wiki.eclipse.org\/Xcore.","key":"e_1_3_2_1_50_1"},{"key":"e_1_3_2_1_51_1","first-page":"175","article-title":"Product Line Engineering Meets Model Based Engineering in the Defense and Automotive Industries. In Proc. of SPLC'17","author":"Young Bobbi","year":"2017","unstructured":"Bobbi Young , Judd Cheatwood , Todd Peterson , Rick Flores , and Paul C. Clements . 2017 . Product Line Engineering Meets Model Based Engineering in the Defense and Automotive Industries. In Proc. of SPLC'17 . ACM , 175 - 179 . Bobbi Young, Judd Cheatwood, Todd Peterson, Rick Flores, and Paul C. Clements. 2017. Product Line Engineering Meets Model Based Engineering in the Defense and Automotive Industries. In Proc. of SPLC'17. ACM, 175-179.","journal-title":"ACM"},{"key":"e_1_3_2_1_52_1","volume-title":"Mauricio Alf\u00e9rez, Awais Rashid, Lidia Fuentes, Ana Moreira, Jo\u00e3o Ara\u00fajo, and Uir\u00e1 Kulesza.","author":"Zschaler Steffen","year":"2009","unstructured":"Steffen Zschaler , Pablo S\u00e1nchez , Jo\u00e3o Pedro Santos , Mauricio Alf\u00e9rez, Awais Rashid, Lidia Fuentes, Ana Moreira, Jo\u00e3o Ara\u00fajo, and Uir\u00e1 Kulesza. 2009 . VML* - A Family of Languages for Variability Management in Software Product Lines. In Proc. of SLE'09 (LNCS), Vol. 5969 . Springer , 82-102. Steffen Zschaler, Pablo S\u00e1nchez, Jo\u00e3o Pedro Santos, Mauricio Alf\u00e9rez, Awais Rashid, Lidia Fuentes, Ana Moreira, Jo\u00e3o Ara\u00fajo, and Uir\u00e1 Kulesza. 2009. VML* - A Family of Languages for Variability Management in Software Product Lines. In Proc. of SLE'09 (LNCS), Vol. 5969. Springer, 82-102."}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"SLE '18","name":"SLE '18: 11th ACM SIGPLAN International Conference on Software Language Engineering","location":"Boston MA USA"},"container-title":["Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3276604.3276609","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T22:54:27Z","timestamp":1673477667000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3276604.3276609"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,24]]},"references-count":52,"alternative-id":["10.1145\/3276604.3276609","10.1145\/3276604"],"URL":"https:\/\/doi.org\/10.1145\/3276604.3276609","relation":{},"subject":[],"published":{"date-parts":[[2018,10,24]]},"assertion":[{"value":"2018-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}