{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:13:57Z","timestamp":1742958837026,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471655"},{"type":"electronic","value":"9783319471662"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47166-2_19","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T22:07:34Z","timestamp":1475618854000},"page":"266-281","source":"Crossref","is-referenced-by-count":11,"title":["Combinatory Process Synthesis"],"prefix":"10.1007","author":[{"given":"Jan","family":"Bessai","sequence":"first","affiliation":[]},{"given":"Andrej","family":"Dudenhefner","sequence":"additional","affiliation":[]},{"given":"Boris","family":"D\u00fcdder","sequence":"additional","affiliation":[]},{"given":"Moritz","family":"Martens","sequence":"additional","affiliation":[]},{"given":"Jakob","family":"Rehof","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines. Springer, Heidelberg (2013)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-3-642-37057-1_4","volume-title":"Fundamental Approaches to Software Engineering","author":"M Autili","year":"2013","unstructured":"Autili, M., Di Ruscio, D., Di Salle, A., Inverardi, P., Tivoli, M.: A model-based synthesis process for choreography realizability enforcement. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013 (ETAPS 2013). LNCS, vol. 7793, pp. 37\u201352. Springer, Heidelberg (2013)"},{"key":"19_CR3","unstructured":"Berg, K., Bishop, J., Muthig, D.: Tracing software product line variability: from problem to solution space. In: SAICSIT 2005, pp. 182\u2013191 (2005)"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-3-662-45234-9_3","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"J Bessai","year":"2014","unstructured":"Bessai, J., Dudenhefner, A., D\u00fcdder, B., Martens, M., Rehof, J.: Combinatory logic synthesizer. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 26\u201340. Springer, Heidelberg (2014)"},{"key":"19_CR5","unstructured":"Bessai, J., Dudenhefner, A., Duedder, B., De\u2019Liguoro, U., Chen, T.C., Rehof, J.: Mixin composition synthesis based on intersection types. In: TLCA 2015, vol. 38, pp. 76\u201391 (2015)"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Bessai, J., D\u00fcdder, B., Heineman, G.T. Rehof, J.: Combinatory synthesis of classes using feature grammars. In: FACS 2015, pp. 123\u2013140 (2016)","DOI":"10.1007\/978-3-319-28934-2_7"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/3-540-46146-9_9","volume-title":"Database and Expert Systems Applications","author":"SA Chun","year":"2002","unstructured":"Chun, S.A., Atluri, V., Adam, N.R.: Domain knowledge-based automatic workflow generation. In: Hameurlain, A., Cicchetti, R., Traunm\u00fcller, R. (eds.) DEXA 2002. LNCS, vol. 2453, pp. 81\u201392. Springer, Heidelberg (2002)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. In: GPCE 2010, pp. 13\u201322 (2010)","DOI":"10.1145\/1868294.1868298"},{"key":"19_CR9","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K Czarnecki","year":"2000","unstructured":"Czarnecki, K., Ulrich, E.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)"},{"issue":"2","key":"19_CR10","first-page":"81","volume":"23","author":"P Dadam","year":"2009","unstructured":"Dadam, P., Manfred, R.: The ADEPT project: a decade of research and development for robust and flexible process support \u2013 challenges and achievements. Comput. Sci.- R&D 23(2), 81\u201397 (2009)","journal-title":"Comput. Sci.- R&D"},{"issue":"3","key":"19_CR11","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/382780.382785","volume":"48","author":"R Davies","year":"2001","unstructured":"Davies, R., Pfenning, F.: A modal analysis of staged computation. J. ACM 48(3), 555\u2013604 (2001)","journal-title":"J. ACM"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-3-642-54833-8_5","volume-title":"Programming Languages and Systems","author":"B D\u00fcdder","year":"2014","unstructured":"D\u00fcdder, B., Martens, M., Rehof, J.: Staged composition synthesis. In: Shao, Z. (ed.) ESOP 2014 (ETAPS). LNCS, vol. 8410, pp. 67\u201386. Springer, Heidelberg (2014)"},{"key":"19_CR13","unstructured":"D\u00fcdder, B., Martens, M., Rehof, J., Urzyczyn, P.: Bounded combinatory logic. In: CSL 2012. LIPIcs, vol. 16, pp. 243\u2013258 (2012)"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-642-13238-4_12","volume-title":"Component-Based Software Engineering","author":"M Eichberg","year":"2010","unstructured":"Eichberg, M., Klose, K., Mitschke, R., Mezini, M.: Component composition using feature models. In: Grunske, L., Reussner, R., Plasil, F. (eds.) CBSE 2010. LNCS, vol. 6092, pp. 200\u2013215. Springer, Heidelberg (2010)"},{"issue":"4","key":"19_CR15","first-page":"291","volume":"3","author":"A Fernandes","year":"2007","unstructured":"Fernandes, A., Ciarlini, A.E.M., Furtado, A.L., Hinchey, M.G., Casanova, M.A., Breitman, K.K.: Adding flexibility to workflows through incremental planning. ISSE 3(4), 291\u2013302 (2007)","journal-title":"ISSE"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Grambow, G., Oberhauser, R., Reichert, M.: Semantically-driven workflow generation using declarative modeling for processes in software engineering. In: EDOCW 2011, pp. 164\u2013173 (2011)","DOI":"10.1109\/EDOCW.2011.54"},{"issue":"5","key":"19_CR17","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1007\/s10009-012-0254-x","volume":"14","author":"S J\u00f6rges","year":"2012","unstructured":"J\u00f6rges, S., Lamprecht, A.L., Margaria, T., Schaefer, I., Steffen, B.: A constraint-based variability modeling framework. STTT 14(5), 511\u2013530 (2012)","journal-title":"STTT"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Lamprecht, A., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-based loose programming. In: QUATIC 2010, pp. 262\u2013267 (2010)","DOI":"10.1109\/QUATIC.2010.53"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/978-3-662-45234-9_5","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"J Neubauer","year":"2014","unstructured":"Neubauer, J., Frohme, M., Steffen, B., Margaria, T.: Prototype-driven development of web applications with DyWA. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 56\u201372. Springer, Heidelberg (2014)"},{"key":"19_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering - Foundations, Principles, and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van Der Linden, F.J.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer, Heidelberg (2005)"},{"key":"19_CR21","unstructured":"Roser, S., Lautenbacher, F., Bauer, B.: Generation of workflow code from DSMs. In: OOPSLA 2007 (2007)"},{"issue":"5","key":"19_CR22","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/s10009-012-0253-y","volume":"14","author":"I Schaefer","year":"2012","unstructured":"Schaefer, I., Rabiser, R., Clarke, D., Bettini, L., Benavides, D., Botterweck, G., Pathak, A., Trujillo, S., Villela, K.: Software diversity: state of the art and perspectives. STTT 14(5), 477\u2013495 (2012)","journal-title":"STTT"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Schmid, K., Rabiser, R., Gr\u00fcnbacher, P.: A comparison of decision modeling approaches in product lines. In: VaMoS 2011, pp. 119\u2013126 (2011)","DOI":"10.1145\/1944892.1944907"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Steffen, B., Lamprecht, A., Margaria, T.: User-level synthesis: treating product lines as systems of constraints. In: SPLC 2015, pp. 427\u2013431 (2015)","DOI":"10.1145\/2791060.2793675"},{"key":"19_CR25","unstructured":"Steffen, B., Margaria, T., von der Beeck, M.: Automatic synthesis of linear process models from temporal constraints: an incremental approach. In: AAS 1997 (1997)"},{"key":"19_CR26","unstructured":"Yang, B., Bundy, A., Smaill, A., Dixon, L.: Deductive synthesis of workflows for e-Science. In: CCGrid 2005, pp. 168\u2013175 (2005)"},{"key":"19_CR27","doi-asserted-by":"crossref","unstructured":"Zhang, H., Horvitz, E., Parkes, D.C.: Automated workflow synthesis. In: AI 2013 (2013)","DOI":"10.1609\/aaai.v27i1.8681"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47166-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T19:20:07Z","timestamp":1657394407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47166-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471655","9783319471662"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47166-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}