{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T23:32:27Z","timestamp":1770334347752,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642340253","type":"print"},{"value":"9783642340260","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_12","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"146-161","source":"Crossref","is-referenced-by-count":12,"title":["A Compositional Framework to Derive Product Line Behavioural Descriptions"],"prefix":"10.1007","author":[{"given":"Patrizia","family":"Asirelli","sequence":"first","affiliation":[]},{"given":"Maurice H.","family":"ter Beek","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-642-12107-4_6","volume-title":"Software Language Engineering","author":"M. Acher","year":"2010","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.: Composing Feature Models. In: van den Brand, M., Ga\u0161evi\u0107, D., Gray, J. (eds.) SLE 2009. LNCS, vol.\u00a05969, pp. 62\u201381. Springer, Heidelberg (2010)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-13595-8_3","volume-title":"Modelling Foundations and Applications","author":"M. Acher","year":"2010","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.: Comparing Approaches to Implement Feature Model Composition. In: K\u00fchne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol.\u00a06138, pp. 3\u201319. Springer, Heidelberg (2010)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.B.: Managing Feature Models with FAMILIAR: a Demonstration of the Language and its Tool Support. In: Heymans, P., Czarnecki, K., Eisenecker, U.W. (eds.) Proceedings 5th Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2011), pp. 91\u201396. ACM (2011)","DOI":"10.1145\/1944892.1944903"},{"key":"12_CR4","first-page":"94","volume":"95","author":"A. Antonik","year":"2008","unstructured":"Antonik, A., Huth, M., Larsen, K.G., Nyman, U., W\u0105sowski, A.: 20 Years of Modal and Mixed Specifications. Bulletin of the EATCS\u00a095, 94\u2013129 (2008)","journal-title":"Bulletin of the EATCS"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D. Batory","year":"2005","unstructured":"Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 7\u201320. Springer, Heidelberg (2005)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-16265-7_5","volume-title":"Integrated Formal Methods","author":"P. Asirelli","year":"2010","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A Logical Framework to Deal with Variability. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol.\u00a06396, pp. 43\u201358. Springer, Heidelberg (2010)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: Formal Description of Variability in Product Families. In: Proceedings 15th International Software Product Line Conference (SPLC 2011), pp. 130\u2013139. IEEE (2011)","DOI":"10.1109\/SPLC.2011.34"},{"issue":"2","key":"12_CR8","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.scico.2010.07.002","volume":"76","author":"M.H. Beek ter","year":"2011","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Science of Computer Programming\u00a076(2), 119\u2013135 (2011)","journal-title":"Science of Computer Programming"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/978-3-642-32759-9_36","volume-title":"FM 2012: Formal Methods","author":"M.H. Beek ter","year":"2012","unstructured":"ter Beek, M.H., Mazzanti, F., Sulova, A.: VMC: A Tool for Product Variability Analysis. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol.\u00a07436, pp. 450\u2013454. Springer, Heidelberg (2012)"},{"key":"12_CR10","unstructured":"Classen, A., Cordy, M., Heymans, P., Schobbens, P.-Y., Legay, A.: SNIP: An Efficient Model Checker for Software Product Lines. Technical Report P-CS-TR SPLMC-00000003, PReCISE Research Center, University of Namur (2011)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A., Raskin, J.-F.: Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In: Proceedings 32nd International Conference on Software Engineering (ICSE 2010), pp. 335\u2013344. ACM (2010)","DOI":"10.1145\/1806799.1806850"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A.: Symbolic Model Checking of Software Product Lines. In: Proceedings 33rd International Conference on Software Engineering (ICSE 2011), pp. 321\u2013330. ACM (2011)","DOI":"10.1145\/1985793.1985838"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S.: Formal Modelling for Product Families Engineering. In: Proceedings 12th Software Product Lines Conference (SPLC 2008), pp. 193\u2013202. IEEE (2008)","DOI":"10.1109\/SPLC.2008.45"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S., Lapadula, A., Mazzanti, F., Pugliese, R., Tiezzi, F.: A Logical Verification Methodology for Service-Oriented Computing. ACM Transactions on Software Engineering and Methodology\u00a021(3), article 16, 1\u201346 (2012)","DOI":"10.1145\/2211616.2211619"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Fischbein, D., Uchitel, S., Braberman, V.A.: A Foundation for Behavioural Conformance in Software Product Line Architectures. In: Hierons, R.M., Muccini, H. (eds.) Proceedings ISSTA 2006 Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA 2006), pp. 39\u201348. ACM (2006)","DOI":"10.1145\/1147249.1147254"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/3-540-44685-0_29","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Godefroid","year":"2001","unstructured":"Godefroid, P., Huth, M., Jagadeesan, R.: Abstraction-Based Model Checking Using Modal Transition Systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 426\u2013440. Springer, Heidelberg (2001)"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-642-22045-6_7","volume-title":"Software Composition","author":"A. Gondal","year":"2011","unstructured":"Gondal, A., Poppleton, M., Butler, M.: Composing Event-B Specifications - Case-Study Experience. In: Apel, S., Jackson, E. (eds.) SC 2011. LNCS, vol.\u00a06708, pp. 100\u2013115. Springer, Heidelberg (2011)"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Haber, A., Rendel, H., Rumpe, B., Schaefer, I., van der Linden, F.: Hierarchical Variability Modeling for Software Architectures. In: Proceedings 15th International Software Product Line Conference (SPLC 2011), pp. 150\u2013159. IEEE (2011)","DOI":"10.1109\/SPLC.2011.28"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Kang, K., Choen, S., Hess, J., Novak, W., Peterson, S.: Feature Oriented Domain Analysis (FODA) Feasibility Study. Technical Report SEI-90-TR-21. Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"K.G. Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Modal I\/O Automata for Interface and Product Line Theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Lauenroth, K., Pohl, K., T\u00f6hning, S.: Model Checking of Domain Artifacts in Product Line Engineering. In: Proceedings 24th International Conference on Automated Software Engineering (ASE 2009), pp. 269\u2013280. IEEE (2009)","DOI":"10.1109\/ASE.2009.16"},{"key":"12_CR22","series-title":"LNCS","first-page":"131","volume-title":"ISoLA 2012, Part I","author":"M. Leucker","year":"2012","unstructured":"Leucker, M., Thoma, D.: A Formal Approach to Software Product Families. In: Margaria, T., Steffen, B., Merten, M. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 131\u2013145. Springer, Heidelberg (2012)"},{"key":"12_CR23","unstructured":"Meyer, M.H., Lehnerd, A.P.: The Power of Product Platforms: Building Value and Cost Leadership. The Free Press (1997)"},{"key":"12_CR24","unstructured":"Muschevici, R., Clarke, D., Proen\u00e7a, J.: Feature Petri Nets. Schaefer, I., Carbon, R., (eds): Proceedings 1st Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). Technical Report, University of Lancaster (2010)"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer (2005)","DOI":"10.1007\/3-540-28901-1"},{"key":"12_CR26","unstructured":"Roos-Frantz, F.: Automated Analysis of Software Product Lines with Orthogonal Variability Models: Extending the FaMa Ecosystem. Ph.D. Thesis, University of Seville (2012)"},{"key":"12_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-3-642-25271-6_10","volume-title":"FMCO 2011","author":"I. Schaefer","year":"2011","unstructured":"Schaefer, I., Gurov, D., Soleimanifard, S.: Compositional Algorithmic Verification of Software Product Lines. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a06957, pp. 184\u2013203. Springer, Heidelberg (2011)"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Lamprecht, A.-L., Margaria, T.: Constraint-oriented Variability Modeling. In: Proceedings 34th Annual IEEE Software Engineering Workshop (SEW 2011), pp. 77\u201383. IEEE (2012)","DOI":"10.1109\/SEW.2011.17"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T20:50:38Z","timestamp":1557262238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}