{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T18:10:01Z","timestamp":1746295801820,"version":"3.40.4"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319089140"},{"type":"electronic","value":"9783319089157"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-08915-7_6","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T13:35:54Z","timestamp":1404480954000},"page":"162-187","source":"Crossref","is-referenced-by-count":2,"title":["ModelLAND: Where Do Models Come from?"],"prefix":"10.1007","author":[{"given":"Marco","family":"Autili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Di Ruscio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"WSDL: Web Services Description Languages v1.1 spec., http:\/\/www.w3.org\/TR\/2001\/NOTE-wsdl-20010315","key":"6_CR1"},{"doi-asserted-by":"crossref","unstructured":"Alur, R., Cern\u00fd, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications for Java classes. In: POPL, pp. 98\u2013109 (2005)","key":"6_CR2","DOI":"10.1145\/1047659.1040314"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput.\u00a075, 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"key":"6_CR4","first-page":"488","volume-title":"Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, ESEC\/FSE 2011","author":"M. Autili","year":"2011","unstructured":"Autili, M., Cortellessa, V., Di Ruscio, D., Inverardi, P., Pelliccione, P., Tivoli, M.: Eagle: Engineering software in the ubiquitous globe by leveraging uncertainty. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, ESEC\/FSE 2011, pp. 488\u2013491. ACM, New York (2011)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-34059-8_6","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"M. Autili","year":"2012","unstructured":"Autili, M., Cortellessa, V., Di Ruscio, D., Inverardi, P., Pelliccione, P., Tivoli, M.: Integration architecture synthesis for taming uncertainty in the Digital Space. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol.\u00a07539, pp. 118\u2013131. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C.: The disappearing boundary between development-time and run-time. In: Proceedings of FoSER 2010, pp. 17\u201322. ACM (2010)","key":"6_CR6","DOI":"10.1145\/1882362.1882367"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-540-78743-3_24","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Berg","year":"2008","unstructured":"Berg, T., Jonsson, B., Raffelt, H.: Regular Inference for State Machines Using Domains with Equality Tests. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 317\u2013331. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: Proceedings of The 7th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 141\u2013150 (August 2009)","key":"6_CR8","DOI":"10.1145\/1595696.1595719"},{"issue":"2","key":"6_CR9","first-page":"171","volume":"4","author":"J. B\u00e9zivin","year":"2005","unstructured":"B\u00e9zivin, J.: On the Unification Power of Models. SOSYM\u00a04(2), 171\u2013188 (2005)","journal-title":"SOSYM"},{"doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., Gerb\u00e9, O.: Towards a Precise Definition of the OMG\/MDA Framework. In: Automated Software Engineering (ASE 2001), Los Alamitos, CA, pp. 273\u2013282. IEEE Computer Society Press (2001)","key":"6_CR10","DOI":"10.1109\/ASE.2001.989813"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"G. Blair","year":"2009","unstructured":"Blair, G., Bencomo, N., France, R.B.: Models@run.time. Computer\u00a042, 22\u201327 (2009)","journal-title":"Computer"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-16092-9_1","volume-title":"Objects and Databases","author":"S. Ceri","year":"2010","unstructured":"Ceri, S., Braga, D., Corcoglioniti, F., Grossniklaus, M., Vadacca, S.: Search computing challenges and directions. In: Dearle, A., Zicari, R.V. (eds.) ICOODB 2010. LNCS, vol.\u00a06348, pp. 1\u20135. Springer, Heidelberg (2010)"},{"issue":"6","key":"6_CR13","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/1323293.1294283","volume":"41","author":"O. Crameri","year":"2007","unstructured":"Crameri, O., Knezevic, N., Kostic, D., Bianchini, R., Zwaenepoel, W.: Staged deployment in mirage, an integrated software upgrade testing and distribution system. SIGOPS Oper. Syst. Rev.\u00a041(6), 221\u2013236 (2007)","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"2","key":"6_CR14","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1109\/TSE.2011.105","volume":"38","author":"V. Dallmeier","year":"2012","unstructured":"Dallmeier, V., Knopp, N., Mallon, C., Fraser, G., Hack, S., Zeller, A.: Automatically generating test cases for specification mining. IEEE Transactions on Software Engineering\u00a038(2), 243\u2013257 (2012)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"12","key":"6_CR15","doi-asserted-by":"publisher","first-page":"1144","DOI":"10.1016\/j.scico.2010.11.001","volume":"76","author":"R. Cosmo Di","year":"2011","unstructured":"Di Cosmo, R., Di Ruscio, D., Pelliccione, P., Pierantonio, A., Zacchiroli, S.: Supporting software evolution in component-based FOSS systems. Sci. Comput. Program.\u00a076(12), 1144\u20131160 (2011)","journal-title":"Sci. Comput. Program."},{"doi-asserted-by":"crossref","unstructured":"Garlan, D.: Software engineering in an uncertain world. In: Proc. of FSE\/SDP 2010, pp. 125\u2013128 (2010)","key":"6_CR16","DOI":"10.1145\/1882362.1882389"},{"doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Mocci, A., Monga, M.: Synthesizing Intentional Behavior Models by Graph Transformation. In: ICSE 2009, Vancouver, Canada (2009)","key":"6_CR17","DOI":"10.1109\/ICSE.2009.5070542"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-642-33125-1_18","volume-title":"Static Analysis","author":"D. Giannakopoulou","year":"2012","unstructured":"Giannakopoulou, D., Rakamari\u0107, Z., Raman, V.: Symbolic learning of component interfaces. In: Min\u00e9, A., Schmidt, D. (eds.) SAS 2012. LNCS, vol.\u00a07460, pp. 248\u2013264. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Hilliard, R., Malavolta, I., Muccini, H., Pelliccione, P.: On the composition and reuse of viewpoints across architecture frameworks. In: 10th Working IEEE\/IFIP Conference on Software Architecture (WICSA) & 6th European Conference on Software Architecture (ECSA) - WICSA\/ECSA 2012, (August 2012)","key":"6_CR19","DOI":"10.1109\/WICSA-ECSA.212.21"},{"doi-asserted-by":"crossref","unstructured":"Hungar, H., Margaria, T., Steffen, B.: Test-based model generation for legacy systems. In: Proceedings of International Test Conference ITC 2003, September 30-October 2, vol.\u00a01, pp. 971\u2013980 (2003)","key":"6_CR20","DOI":"10.1109\/TEST.2003.1271084"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-75336-0_5","volume-title":"Trustworthy Global Computing","author":"P. Inverardi","year":"2007","unstructured":"Inverardi, P.: Software of the future is the future of software? In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2006. LNCS, vol.\u00a04661, pp. 69\u201385. Springer, Heidelberg (2007)"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-21455-4_5","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"P. Inverardi","year":"2011","unstructured":"Inverardi, P., Spalazzese, R., Tivoli, M.: Application-layer connector synthesis. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 148\u2013190. Springer, Heidelberg (2011)"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-95888-8_1","volume-title":"Software Engineering","author":"P. Inverardi","year":"2009","unstructured":"Inverardi, P., Tivoli, M.: The Future of Software: Adaptation and Dependability. In: De Lucia, A., Ferrucci, F. (eds.) ISSSE 2006-2008. LNCS, vol.\u00a05413, pp. 1\u201331. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Inverardi, P., Tivoli, M.: Automatic synthesis of modular connectors via composition of protocol mediation patterns. In: 35th International Conference on Software Engineering, ICSE 2013 (2013)","key":"6_CR24","DOI":"10.1109\/ICSE.2013.6606546"},{"issue":"6","key":"6_CR25","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1109\/TSE.2010.69","volume":"36","author":"K. Krogmann","year":"2010","unstructured":"Krogmann, K., Kuperberg, M., Reussner, R.: Using genetic search for reverse engineering of parametric behavior models for performance prediction. IEEE Trans. Softw. Eng.\u00a036(6), 865\u2013877 (2010)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"6_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.arcontrol.2009.12.001","volume":"34","author":"L. Ljung","year":"2010","unstructured":"Ljung, L.: Perspectives on system identification. Annual Reviews in Control\u00a034(1), 1\u201312 (2010)","journal-title":"Annual Reviews in Control"},{"doi-asserted-by":"crossref","unstructured":"Lo, D., Mariani, L., Santoro, M.: Learning extended fsa from software: An empirical assessment. Journal of Systems and Software\u00a085(9), 2063\u20132076 (2012); Selected papers from the 2011 Joint Working IEEE\/IFIP Conference on Software Architecture (WICSA 2011)","key":"6_CR27","DOI":"10.1016\/j.jss.2012.04.001"},{"doi-asserted-by":"crossref","unstructured":"Lorenzoli, D., Mariani, L., Pezz\u00e8, M.: Automatic Generation of Software Behavioral Models. In: ICSE 2008, pp. 501\u2013510. ACM, NY (2008)","key":"6_CR28","DOI":"10.1145\/1368088.1368157"},{"issue":"4","key":"6_CR29","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1109\/TSE.2011.62","volume":"38","author":"R. Mateescu","year":"2012","unstructured":"Mateescu, R., Poizat, P., Salaun, G.: Adaptation of service protocols using process algebra and on-the-fly reduction techniques. IEEE Transactions on Software Engineering\u00a038(4), 755\u2013777 (2012)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"6_CR30","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/1013886.1007532","volume":"29","author":"K. Meinke","year":"2004","unstructured":"Meinke, K.: Automated Black-box Testing of Functional Correctness using Function Approximation. SIGSOFT Softw. Eng. Notes\u00a029(4), 143\u2013153 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"5","key":"6_CR31","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MS.2003.1231145","volume":"20","author":"S.J. Mellor","year":"2003","unstructured":"Mellor, S.J., Clark, A.N., Futagami, T.: Guest Editors\u2019 Introduction: Model-Driven Development. IEEE Software\u00a020(5), 14\u201318 (2003)","journal-title":"IEEE Software"},{"unstructured":"Object Management Group (OMG). MDA Guide version 1.0.1, OMG Document: omg\/2003-06-01 (2003)","key":"6_CR32"},{"unstructured":"Olsson, H.H., Alahyari, H., Bosch, J.: Climbing the \u201cstairway to heaven\u201d \u2013 a mulitiple-case study exploring barriers in the transition from agile development towards continuous deployment of software. In: 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 392\u2013399 (2012)","key":"6_CR33"},{"issue":"5","key":"6_CR34","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MS.2003.1231147","volume":"20","author":"E. Seidewitz","year":"2003","unstructured":"Seidewitz, E.: What Models Mean. IEEE Software\u00a020(5), 26\u201332 (2003)","journal-title":"IEEE Software"},{"doi-asserted-by":"crossref","unstructured":"Taylor, R.N., Medvidovic, N., Dashofy, E.M.: Software Architecture: Foundations, Theory, and Practice. Wiley (2009)","key":"6_CR35","DOI":"10.1145\/1810295.1810435"},{"issue":"3","key":"6_CR36","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.scico.2008.03.001","volume":"71","author":"M. Tivoli","year":"2008","unstructured":"Tivoli, M., Inverardi, P.: Failure-free coordinators synthesis for component-based architectures. Sci. Comput. Program.\u00a071(3), 181\u2013212 (2008)","journal-title":"Sci. Comput. Program."},{"unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley (March 2009)","key":"6_CR37"},{"doi-asserted-by":"crossref","unstructured":"Walkinshaw, N., Lambeau, B., Damas, C., Bogdanov, K., Dupont, P.: Stamina: A competition to encourage the development and assessment of software model inference techniques. Empirical Software Engineering, 1\u201334 (2012)","key":"6_CR38","DOI":"10.1007\/s10664-012-9210-3"},{"issue":"3-4","key":"6_CR39","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s10515-011-0084-1","volume":"18","author":"A. Wasylkowski","year":"2011","unstructured":"Wasylkowski, A., Zeller, A.: Mining temporal specifications from object usage. Automated Software Engg.\u00a018(3-4), 263\u2013292 (2011)","journal-title":"Automated Software Engg."},{"doi-asserted-by":"crossref","unstructured":"Wasylkowski, A., Zeller, A., Lindig, C.: Detecting Object Usage Anomalies. In: ESEC-FSE 2007, pp. 35\u201344. ACM (2007)","key":"6_CR40","DOI":"10.1145\/1287624.1287632"},{"doi-asserted-by":"crossref","unstructured":"White, R.W., Roth, R.A.: Exploratory Search: Beyond the Query-Response Paradigm. Synthesis Lect. on ICRS. Morgan & Claypool Publishers (2009)","key":"6_CR41","DOI":"10.2200\/S00174ED1V01Y200901ICR003"},{"unstructured":"BobbyWoolf, G.H.: Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions. Addison-Wesley Professional (October 2003)","key":"6_CR42"}],"container-title":["Lecture Notes in Computer Science","Models@run.time"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08915-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T17:34:37Z","timestamp":1746293677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08915-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319089140","9783319089157"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08915-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}