{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:09:16Z","timestamp":1725703756655},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340581"},{"type":"electronic","value":"9783642340598"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34059-8_6","type":"book-chapter","created":{"date-parts":[[2012,10,11]],"date-time":"2012-10-11T11:02:34Z","timestamp":1349953354000},"page":"118-131","source":"Crossref","is-referenced-by-count":9,"title":["Integration Architecture Synthesis for Taming Uncertainty in the Digital Space"],"prefix":"10.1007","author":[{"given":"Marco","family":"Autili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vittorio","family":"Cortellessa","sequence":"additional","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":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-60472-3_1","volume-title":"Hybrid Systems II","author":"E. Asarin","year":"1995","unstructured":"Asarin, E., Maler, O., Pnueli, A.: Symbolic Controller Synthesis for Discrete and Timed Systems. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds.) HS 1994. LNCS, vol.\u00a0999, pp. 1\u201320. Springer, Heidelberg (1995)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-00593-0_9","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Autili","year":"2009","unstructured":"Autili, M., Di Benedetto, P., Inverardi, P.: Context-Aware Adaptive Services: The PLASTIC Approach. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 124\u2013139. Springer, Heidelberg (2009)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/978-3-540-74974-5_41","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"M. Autili","year":"2007","unstructured":"Autili, M., Berardinelli, L., Cortellessa, V., Di Marco, A., Di Ruscio, D., Inverardi, P., Tivoli, M.: A Development Process for Self-adapting Service Oriented Applications. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 442\u2013448. Springer, Heidelberg (2007)"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1145\/2025113.2025199","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","unstructured":"Baier, C., Gr\u00f6\u00dfer, M., Leucker, M., Bollig, B., Ciesinski, F.: Controller synthesis for probabilistic systems (extended abstract). In: IFIP TCS 2004, vol.\u00a0155 (2004)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-95888-8_5","volume-title":"Software Engineering","author":"A. Bertolino","year":"2009","unstructured":"Bertolino, A., De Angelis, G., Frantzen, L., Polini, A.: The PLASTIC Framework and Tools for Testing Service-Oriented Applications. In: De Lucia, A., Ferrucci, F. (eds.) ISSSE 2006-2008. LNCS, vol.\u00a05413, pp. 106\u2013139. Springer, Heidelberg (2009)"},{"key":"6_CR7","unstructured":"Bertolino, A., De Angelis, G., Polini, A.: (role)CAST: A Framework for On-line Service Testing. In: Proc. of WEBIST 2011 (2011)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: Proc. of ESEC\/FSE 2009 (2009)","DOI":"10.1145\/1595696.1595719"},{"key":"6_CR9","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_CR10","doi-asserted-by":"crossref","unstructured":"Blundell, C., Giannakopoulou, D., P\u01ces\u01cereanu, C.S.: Assume-guarantee testing. Softw. Eng. Notes\u00a031 (2005)","DOI":"10.1145\/1118537.1123060"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/638750.638775","volume":"28","author":"B. Boehm","year":"2003","unstructured":"Boehm, B.: Value-based software engineering: reinventing. SIGSOFT Softw. Eng. Notes\u00a028, 3 (2003)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/52.62930","volume":"8","author":"B.W. Boehm","year":"1991","unstructured":"Boehm, B.W.: Software risk management: Principles and practices. IEEE Softw.\u00a08, 32\u201341 (1991)","journal-title":"IEEE Softw."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Calinescu, R., Johnson, K., Rafiq, Y.: Using observation ageing to improve markovian model learning in qos engineering. In: ICPE, pp. 505\u2013510 (2011)","DOI":"10.1145\/1958746.1958823"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11768869_7","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"C. Canal","year":"2006","unstructured":"Canal, C., Poizat, P., Sala\u00fcn, G.: Synchronizing Behavioural Mismatch in Software Composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 63\u201377. Springer, Heidelberg (2006)"},{"key":"6_CR15","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)"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/MC.2009.309","volume":"42","author":"C. Cetina","year":"2009","unstructured":"Cetina, C., Giner, P., Fons, J., Pelechano, V.: Autonomic computing through reuse of variability models at runtime: The case of smart homes. Computer\u00a042, 37\u201343 (2009)","journal-title":"Computer"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-36577-X_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J.M. Cobleigh","year":"2003","unstructured":"Cobleigh, J.M., Giannakopoulou, D., P\u0103s\u0103reanu, C.S.: Learning Assumptions for Compositional Verification. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 331\u2013346. Springer, Heidelberg (2003)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Di Cosmo, R., Di Ruscio, D., Pelliccione, P., Pierantonio, A., Zacchiroli, S.: Supporting Software Evolution in Component-Based FOSS Systems. Science of Computer Programming\u00a076(12) (2011)","DOI":"10.1016\/j.scico.2010.11.001"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Dingel, J.: Computer-Assisted Assume\/Guarantee Reasoning with VeriSoft. In: Proc. of ICSE 2003 (2003)","DOI":"10.1109\/ICSE.2003.1201195"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Ephraim, Y., Merhav, N.: Hidden markov processes. IEEE Transactions on Information Theory\u00a048, 1518\u20131569","DOI":"10.1109\/TIT.2002.1003838"},{"key":"6_CR21","unstructured":"Ernst, M.D., Perkins, J.H.: Learning from executions: Dynamic analysis for software engineering and program understanding. Tutorial at ASE 2005 (2005)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Famelis, M., Salay, R., Chechik, M.: Partial models: Towards modeling and reasoning with uncertainty. In: Proceedings of the 34th International Conference on Software Engineering, ICSE (2012)","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Garlan, D.: Software engineering in an uncertain world. In: Proc. of FSE\/SDP 2010, pp. 125\u2013128 (2010)","DOI":"10.1145\/1882362.1882389"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MC.2009.335","volume":"42","author":"J.C. Georgas","year":"2009","unstructured":"Georgas, J.C., van der Hoek, A., Taylor, R.N.: Using architectural models to manage and visualize runtime adaptation. Computer\u00a042, 52\u201360 (2009)","journal-title":"Computer"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Mocci, A., Monga, M.: Synthesizing intensional behavior models by graph transformation. In: Proc. of ICSE 2009, pp. 430\u2013440 (2009)","DOI":"10.1109\/ICSE.2009.5070542"},{"issue":"3","key":"6_CR26","first-page":"297","volume":"12","author":"D. Giannakopoulou","year":"2005","unstructured":"Giannakopoulou, D., Pasareanu, C.S., Barringer, H.: Component verification with automatically generated assumptions. ASE Journal\u00a012(3), 297\u2013320 (2005)","journal-title":"ASE Journal"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"568","DOI":"10.1007\/978-3-540-87875-9_40","volume-title":"Model Driven Engineering Languages and Systems","author":"H.J. Goldsby","year":"2008","unstructured":"Goldsby, H.J., Cheng, B.H.C.: Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 568\u2013583. Springer, Heidelberg (2008)"},{"key":"6_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-7148-7","volume-title":"Composing Software Components: A Software-testing Perspective","author":"D. Hamlet","year":"2010","unstructured":"Hamlet, D.: Composing Software Components: A Software-testing Perspective, 1st edn. Springer Publishing Company, Incorporated (2010)","edition":"1"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-642-16561-0_25","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"P. Inverardi","year":"2010","unstructured":"Inverardi, P., Issarny, V., Spalazzese, R.: A Theory of Mediators for Eternal Connectors. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 236\u2013250. Springer, Heidelberg (2010)"},{"key":"6_CR30","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_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-642-21210-9_21","volume-title":"Models in Software Engineering","author":"G. Lehmann","year":"2011","unstructured":"Lehmann, G., Blumendorf, M., Trollmann, F., Albayrak, S.: Meta-modeling Runtime Models. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol.\u00a06627, pp. 209\u2013223. Springer, Heidelberg (2011)"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Lorenzoli, D., Mariani, L., Pezz\u00e8, M.: Automatic generation of software behavioral models. In: Proc. of ICSE 2008, pp. 501\u2013510 (2008)","DOI":"10.1145\/1368088.1368157"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Mishra, K., Trivedi, K.: Uncertainty propagation through software dependability models. In: 2011 IEEE 22nd International Symposium on Software Reliability Engineering (ISSRE), November 29-December 2, pp. 80\u201389 (2011)","DOI":"10.1109\/ISSRE.2011.14"},{"key":"6_CR34","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MC.2009.327","volume":"42","author":"B. Morin","year":"2009","unstructured":"Morin, B., Barais, O., Jezequel, J.-M., Fleurey, F., Solberg, A.: Models@ run.time to support dynamic adaptation. Computer\u00a042, 44\u201351 (2009)","journal-title":"Computer"},{"issue":"1","key":"6_CR35","first-page":"271","volume":"103","author":"J. Mula","year":"2006","unstructured":"Mula, J., Poler, R., Garcia-Sabater, J., Lario, F.: Models for production planning under uncertainty: A review. IJPE\u00a0103(1), 271\u2013285 (2006)","journal-title":"IJPE"},{"issue":"4","key":"6_CR36","doi-asserted-by":"publisher","first-page":"963","DOI":"10.1111\/j.1539-6924.2005.00641.x","volume":"25","author":"M. Neil","year":"2005","unstructured":"Neil, M., Fenton, N., Tailor, M.: Using bayesian networks to model expected and unexpected operational losses. Risk Analysis\u00a025(4), 963\u2013972 (2005)","journal-title":"Risk Analysis"},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"Passerone, R., de Alfaro, L., Henzinger, T.A., Sangiovanni-Vincentelli, A.L.: Convertibility verification and converter synthesis: two faces of the same coin. In: Proc. of ICCAD 2002, pp. 132\u2013139 (2002)","DOI":"10.1145\/774572.774592"},{"issue":"1","key":"6_CR38","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. Ramadge","year":"1989","unstructured":"Ramadge, P., Wonham, W.: The control of discrete event systems. Proceedings of the IEEE\u00a077(1), 81\u201398 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"6_CR39","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest Editor\u2019s Introduction: Model-Driven Engineering. Computer\u00a039(2), 25\u201331 (2006)","journal-title":"Computer"},{"key":"6_CR40","unstructured":"Singh, H., Cortellessa, V., Cukic, B., Gunel, E., Bharadwaj, V.: A bayesian approach to reliability prediction and assessment of component based systems. In: Proc. of ISSRE 2001 (2001)"},{"key":"6_CR41","first-page":"176","volume":"78","author":"M. Stoelinga","year":"2002","unstructured":"Stoelinga, M.: An introduction to probabilistic automata. Bulletin of the European Association for Theoretical Computer Science\u00a078, 176\u2013198 (2002)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"issue":"7","key":"6_CR42","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1016\/j.infsof.2005.05.007","volume":"48","author":"C. Stringfellow","year":"2006","unstructured":"Stringfellow, C., Amory, C.D., Potnuri, D., Andrews, A., Georg, M.: Comparison of software architecture reverse engineering methods. Information and Software Technology\u00a048(7), 484\u2013497 (2006)","journal-title":"Information and Software Technology"},{"issue":"3","key":"6_CR43","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."},{"key":"6_CR44","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1109\/TSE.2008.107","volume":"35","author":"S. Uchitel","year":"2009","unstructured":"Uchitel, S., Brunet, G., Chechik, M.: Synthesis of partial behavior models from properties and scenarios. IEEE Trans. Softw. Eng.\u00a035, 384\u2013406 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR45","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)","DOI":"10.2200\/S00174ED1V01Y200901ICR003"}],"container-title":["Lecture Notes in Computer Science","Large-Scale Complex IT Systems. Development, Operation and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34059-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T02:20:36Z","timestamp":1557282036000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34059-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340581","9783642340598"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34059-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}