{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:00:04Z","timestamp":1740096004891,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540958871"},{"type":"electronic","value":"9783540958888"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-540-95888-8_1","type":"book-chapter","created":{"date-parts":[[2009,1,21]],"date-time":"2009-01-21T14:35:04Z","timestamp":1232548504000},"page":"1-31","source":"Crossref","is-referenced-by-count":14,"title":["The Future of Software: Adaptation and Dependability"],"prefix":"10.1007","author":[{"given":"Paola","family":"Inverardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"International Series in Computer Science","volume-title":"Finite Transition Systems","author":"A. Arnold","year":"1989","unstructured":"Arnold, A.: Finite Transition Systems. International Series in Computer Science. Prentice Hall International, UK (1989)"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"784","DOI":"10.1109\/ICSE.2007.84","volume-title":"29th International Conference on Software Engineering (ICSE 2007)","author":"M. Autili","year":"2007","unstructured":"Autili, M., Inverardi, P., Navarra, A., Tivoli, M.: Synthesis: A tool for automatically assembling correct and distributed component-based systems. In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, pp. 784\u2013787. IEEE Computer Society, Los Alamitos (2007), http:\/\/doi.ieeecomputersociety.org\/10.1109\/ICSE.2007.84"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Autili, M., Mostarda, L., Navarra, A., Tivoli, M.: Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. Journal of Systems and Software (2008), http:\/\/dx.doi.org\/10.1016\/j.jss.2008.04.006","DOI":"10.1016\/j.jss.2008.04.006"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of the 12th APN","author":"A. Finkel","year":"1993","unstructured":"Finkel, A.: The minimal coverability graph for Petri nets. In: Proc. of the 12th APN. LNCS, vol.\u00a0674. Springer, Heidelberg (1993)"},{"key":"1_CR5","unstructured":"IFIP WG 10.4 on Dependable Computing and Fault Tolerance, http:\/\/www.dependability.org\/wg10.4\/"},{"key":"1_CR6","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)"},{"issue":"3","key":"1_CR7","first-page":"173","volume":"65","author":"P. Inverardi","year":"2003","unstructured":"Inverardi, P., Tivoli, M.: Deadlock-free software architectures for com\/dcom applications. Elsevier Journal of Systems and Software - Special Issue on component-based software engineering\u00a065(3), 173\u2013183 (2003)","journal-title":"Elsevier Journal of Systems and Software - Special Issue on component-based software engineering"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-39800-4_6","volume-title":"Formal Methods for Software Architectures","author":"P. Inverardi","year":"2003","unstructured":"Inverardi, P., Tivoli, M.: Software Architecture for Correct Components Assembly. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 92\u2013121. Springer, Heidelberg (2003)"},{"key":"1_CR9","unstructured":"ITU Telecommunication Standardisation sector, ITU-T reccomendation Z.120. Message Sequence Charts. (MSC 1996). Geneva"},{"issue":"7","key":"1_CR10","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R. Keller","year":"1976","unstructured":"Keller, R.: Formal verification of parallel programs. Communications of the ACM\u00a019(7), 371\u2013384 (1976)","journal-title":"Communications of the ACM"},{"key":"1_CR11","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, New York (1989)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4) (1989)","DOI":"10.1109\/5.24143"},{"key":"1_CR13","unstructured":"PLASTIC IST Project, http:\/\/www.ist-plastic.org"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Ramadge, P., Wonham, W.: The control of discrete event systems. Proceedings of the IEEE\u00a01(77) (1989)","DOI":"10.1109\/5.21072"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Schilit, B., Adams, N., Want, R.: Context-aware computing applications. In: IEEE Workshop on Mobile Computing Systems and Applications, Santa Cruz, CA, US (1994)","DOI":"10.1109\/WMCSA.1994.16"},{"issue":"1","key":"1_CR16","doi-asserted-by":"publisher","first-page":"77","DOI":"10.3166\/objet.12.1.77-103","volume":"12","author":"M. Tivoli","year":"2006","unstructured":"Tivoli, M., Autili, M.: SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. RSTI L Objet journal\u00a012(1), 77\u2013103 (2006)","journal-title":"RSTI L Objet journal"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-540-71209-1_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Tivoli","year":"2007","unstructured":"Tivoli, M., Fradet, P., Girault, A., Goessler, G.: Adaptor synthesis for real-time components. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 185\u2013200. Springer, Heidelberg (2007)"},{"issue":"3","key":"1_CR18","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. Science of Computer Programming\u00a071(3), 181\u2013212 (2008), http:\/\/dx.doi.org\/10.1016\/j.scico.2008.03.001","journal-title":"Science of Computer Programming"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J.: A workbench for synthesising behaviour models from scenarios. In: Proceeding of the 23rd IEEE International Conference on Software Engineering (ICSE 2001) (2001)","DOI":"10.1109\/ICSE.2001.919093"},{"key":"1_CR20","volume-title":"ACM Proceedings of the joint 8th ESEC and 9th FSE","author":"S. Uchitel","year":"2001","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Detecting implied scenarios in message sequence chart specifications. In: ACM Proceedings of the joint 8th ESEC and 9th FSE. ACM press, New York (2001)"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Mancinelli, F., Nesi, M.: A Declarative Framework for adaptable applications in heterogeneous environments. In: Proceedings of the 19th ACM Symposium on Applied Computing (2004)","DOI":"10.1145\/967900.968139"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Mancinelli, F., Inverardi, P.: Quantitative resource-oriented analysis of Java (adaptable) applications. In: ACM Proceedings Workshop on Software Performance (2007)","DOI":"10.1145\/1216993.1216998"},{"key":"1_CR23","first-page":"106","volume-title":"Proceedings of the Symposium on Principles of Programming Languages","author":"G.C. Necula","year":"1997","unstructured":"Necula, G.C.: Proof-Carrying Code. In: Jones, N.D. (ed.) Proceedings of the Symposium on Principles of Programming Languages, Paris, France, January 1997, pp. 106\u2013119. ACM Press, New York (1997)"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Le M\u00e9tayer, D.: Describing Software Architecture Styles Using Graph Grammars. IEEE Transaction on software engineering\u00a024(7) (1998)","DOI":"10.1109\/32.708567"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Aldrich, J., Chambers, C., Notkin, D.: ArchJava: Connecting Software Architecture to Implementation. In: Proceedings of ICSE 2002 (May 2002)","DOI":"10.1145\/581339.581365"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"J. Aldrich","year":"2002","unstructured":"Aldrich, J., Chambers, C., Notkin, D.: Architectural Reasoning in ArchJava. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374. Springer, Heidelberg (2002)"},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/288408.288426","volume-title":"Proc. of the 3rd Int. Software Architecture Workshop (ISAW-3)","author":"D. Hirsch","year":"1998","unstructured":"Hirsch, D., Inverardi, P., Montanari, U.: Graph grammars and constraint solving for software architecture styles. In: Proc. of the 3rd Int. Software Architecture Workshop (ISAW-3), pp. 69\u201372. ACM Press, New York (1998)"},{"key":"1_CR28","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/582128.582135","volume-title":"Proc. of the 1st Work. on Self-Healing Systems (WOSS 2002)","author":"I. Georgiadis","year":"2002","unstructured":"Georgiadis, I., Magee, J., Kramer, J.: Self-organising software architectures for distributed systems. In: Proc. of the 1st Work. on Self-Healing Systems (WOSS 2002), pp. 33\u201338. ACM Press, New York (2002)"},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/239098.239104","volume-title":"Proc. of the 4th ACM SIGSOFT Symp. On Foundations of Software Engineering (FSE-4)","author":"J. Magee","year":"1996","unstructured":"Magee, J., Kramer, J.: Dynamic structure in software architectures. In: Proc. of the 4th ACM SIGSOFT Symp. On Foundations of Software Engineering (FSE-4), pp. 3\u201314. ACM Press, New York (1996)"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-46464-8_13","volume-title":"Theory and Application of Graph Transformations","author":"G. Taentzer","year":"2000","unstructured":"Taentzer, G., Goedicke, M., Meyer, T.: Dynamic change management by distributed graph transformation: Towards configurable distributed systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 179\u2013193. Springer, Heidelberg (2000)"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varr\u00f3, D.: Style-Based Refinement of Dynamic Software Architectures. In: WICSA 2004, pp. 155\u2013166 (2004)","DOI":"10.1109\/WICSA.2004.1310699"},{"issue":"3","key":"1_CR32","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"1_CR33","unstructured":"Barthe, G.: Mobius, securing the next generation of java-based global computers. ERCIM News (2005)"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Mostarda, L.: DESERT: a decentralized monitoring tool generator. In: IEEE Proceeding of ASE 2007, tool demo (2007)","DOI":"10.1145\/1321631.1321728"},{"key":"1_CR35","first-page":"31","volume":"116","author":"V. Cortellessa","year":"2005","unstructured":"Cortellessa, V., Di Marco, A., Inverardi, P., Mancinelli, F., Pelliccione, P.: A framework for integration of functional and non-functional analysis of software architectures. ENCS\u00a0116, 31\u201344 (2005)","journal-title":"ENCS"},{"key":"1_CR36","unstructured":"PLASTIC IST Project, http:\/\/www.ist-plastic.org"},{"key":"1_CR37","unstructured":"SeCSE Project, http:\/\/secse.eng.it"},{"key":"1_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/11596141_5","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"M. Colombo","year":"2005","unstructured":"Colombo, M., Di Nitto, E., Di Penta, M., Distante, D., Zuccal\u00e0, M.: Speaking a common language: A conceptual model for describing service-oriented systems. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 48\u201360. Springer, Heidelberg (2005)"},{"key":"1_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"key":"1_CR40","unstructured":"ModelWare, IST European project 511731, http:\/\/www.modelware-ist.org"},{"key":"1_CR41","volume-title":"Eclipse Modeling Framework","author":"F. Budinsky","year":"2003","unstructured":"Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. Addison-Wesley, Reading (2003)"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Di Marco, A., Mascolo, C.: Performance Analysis and Prediction of Physically Mobile Systems. In: WOSP 2007 (2007)","DOI":"10.1145\/1216993.1217015"},{"key":"1_CR43","unstructured":"Eclipse project. Model Development Tools UML2, http:\/\/www.eclipse.org\/modeling\/mdt\/?project=uml2"}],"container-title":["Lecture Notes in Computer Science","Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-95888-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,7]],"date-time":"2025-02-07T02:59:57Z","timestamp":1738897197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-95888-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540958871","9783540958888"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-95888-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}