{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:48:58Z","timestamp":1725515338390},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686767"},{"type":"electronic","value":"9783540686798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_21","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T06:58:16Z","timestamp":1213081096000},"page":"330-353","source":"Crossref","is-referenced-by-count":5,"title":["Dynamically Evolvable Dependable Software: From Oxymoron to Reality"],"prefix":"10.1007","author":[{"given":"Carlo","family":"Ghezzi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Montangero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"IWPSE, WEB site, 2007 (2007), \n                    \n                      http:\/\/iwpse2007.inf.unisi.ch\/"},{"key":"21_CR2","unstructured":"Active Endpoints. Activebpel engine architecture, \n                    \n                      http:\/\/www.active-endpoints.com\/active-bpel-engine-overview.htm"},{"key":"21_CR3","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, Version 1.1 (May 2003)"},{"key":"21_CR4","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., Marco, A.D., Ruscio, D.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":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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., Cortellessa, V., Benedetto, P.D., Inverardi, P.: On the adptation of context-aware services. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, Springer, Heidelberg (2007)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: A timed extension of WSCoL. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2007) (July 2007)","DOI":"10.1109\/ICWS.2007.25"},{"issue":"6","key":"21_CR7","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1049\/iet-sen:20070027","volume":"1","author":"L. Baresi","year":"2007","unstructured":"Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: Validation of web service compositions. IET Software\u00a01(6), 219\u2013232 (2007)","journal-title":"IET Software"},{"key":"21_CR8","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MC.2006.362","volume":"39","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Di Nitto, E., Ghezzi, C.: Towards Open-World Software. IEEE Computer\u00a039, 36\u201343 (2006)","journal-title":"IEEE Computer"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/11596141_21","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"L. Baresi","year":"2005","unstructured":"Baresi, L., Guinea, S.: Towards dynamic monitoring of WS-BPEL processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 269\u2013282. Springer, Heidelberg (2005)"},{"key":"21_CR10","first-page":"69","volume-title":"ICSE Companion","author":"L. Baresi","year":"2007","unstructured":"Baresi, L., Guinea, S.: Dynamo and self-healing bpel compositions. In: ICSE Companion, pp. 69\u201370. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Degano, P., Ferrari, G., Zunino, R.: Secure service orchestration. In: Foundations of Security Analysis and Design IV, FOSAD 2006\/2007 Tutorial Lectures, pp. 24\u201374 (2007)","DOI":"10.1007\/978-3-540-74810-6_2"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/11513988_15","volume-title":"Computer Aided Verification","author":"M.B. Dwyer","year":"2005","unstructured":"Dwyer, M.B., Hatcliff, J., Hoosier, M., Robby,: Building your own software model checker using the Bogor extensible model checking framework. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 148\u2013152. Springer, Heidelberg (2005)"},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-540-72912-9_9","volume-title":"Test and Analysis of Web Services","author":"C. Ghezzi","year":"2007","unstructured":"Ghezzi, C., Guinea, S.: Run-time monitoring in service-oriented architectures. In: Baresi, L., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 237\u2013264. Springer, Heidelberg (2007)"},{"issue":"2","key":"21_CR14","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/32.67597","volume":"17","author":"C. Ghezzi","year":"1991","unstructured":"Ghezzi, C., Mandrioli, D., Morasca, S., Pezz\u00e8, M.: A unified high-level petri net formalism for time-critical systems. IEEE Trans. Softw. Eng.\u00a017(2), 160\u2013172 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Gorton, S., Reiff-Marganiec, S.: Towards a task-oriented, policy-driven business requirements specification for web services. In: Business Process Management, pp. 465\u2013470 (2006)","DOI":"10.1007\/11841760_40"},{"key":"21_CR16","unstructured":"ERCIM\u00a0Working Group (2007), \n                    \n                      http:\/\/w3.umh.ac.be\/evol\/"},{"key":"21_CR17","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 2007. LNCS, vol.\u00a04661, pp. 69\u201385. Springer, Heidelberg (2007)"},{"issue":"2","key":"21_CR18","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/989971.989973","volume":"III","author":"P. Inverardi","year":"1983","unstructured":"Inverardi, P., Levi, G., Montanari, U., Vallario, G.N.: A distributed KAPSE architecture. Ada Lett.\u00a0III(2), 55\u201361 (1983)","journal-title":"Ada Lett."},{"key":"21_CR19","doi-asserted-by":"publisher","first-page":"1177","DOI":"10.1145\/967900.968139","volume-title":"SAC 2004: Proceedings of the, ACM symposium on Applied computing","author":"P. Inverardi","year":"2004","unstructured":"Inverardi, P., Mancinelli, F., Nesi, M.: A declarative framework for adaptable applications in heterogeneous environments. In: SAC 2004, pp. 1177\u20131183. ACM Press, New York (2004)"},{"key":"21_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/3-540-50940-2_40","volume-title":"TAPSOFT \u201989. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989","author":"P. Inverardi","year":"1989","unstructured":"Inverardi, P., Martini, S., Montangero, C.: Is type checking practical for system configuration? In: D\u00edaz, J., Orejas, F. (eds.) TAPSOFT 1989 and CCIPL 1989. LNCS, vol.\u00a0352, pp. 257\u2013271. Springer, Heidelberg (1989)"},{"issue":"1","key":"21_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/spe.4380230102","volume":"23","author":"P. Inverardi","year":"1993","unstructured":"Inverardi, P., Mazzanti, F.: Experimenting with dynamic linking with ada. Softw., Pract. Exper.\u00a023(1), 1\u201314 (1993)","journal-title":"Softw., Pract. Exper."},{"key":"21_CR22","unstructured":"Inverardi, P., Montanari, U., Vallario, G.N.: How to develop a programming environment almost completely in a compiled language. In: International Computing Symposium 1983 on Application Systems Development, pp. 429\u2013438. Teubner (1983)"},{"key":"21_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Videira Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"21_CR24","unstructured":"Koch, N., Berndl, D.: Requirements modelling and analysis of selected scenarios: Automotive case study. Technical report, SENSORIA EU\u2013IST\u2013016004 (2007), \n                    \n                      http:\/\/www.pst.informatik.uni-uenchen.de\/projekte\/Sensoria\/del_24\/D8.2.a.pdf"},{"key":"21_CR25","unstructured":"Koch, N., Mayer, P., Heckel, R., Gonczy, L., Montangero, C.: UML for service-oriented systems, SENSORIA EU-IST 016004 Deliverable D1.4.a (2007), \n                    \n                      http:\/\/www.pst.ifi.lmu.de\/projekte\/Sensoria\/del_24\/D1.4.a.pdf"},{"key":"21_CR26","volume-title":"Program evolution: processes of software change","author":"M.M. Lehman","year":"1985","unstructured":"Lehman, M.M., Belady, L.A.: Program evolution: processes of software change. Academic Press Professional, Inc., San Diego (1985)"},{"issue":"1","key":"21_CR27","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/TDSC.2004.1","volume":"1","author":"N.G. Leveson","year":"2004","unstructured":"Leveson, N.G.: A systems-theoretic approach to safety in software-intensive systems. IEEE Trans. Dependable Sec. Comput.\u00a01(1), 66\u201386 (2004)","journal-title":"IEEE Trans. Dependable Sec. Comput."},{"key":"21_CR28","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/11841197_13","volume":"4184","author":"J.L. Fiadeiro","year":"2006","unstructured":"Fiadeiro, J.L., Lopes, A., Bocchi, L.: A Formal Approach to Service Component Architecture. Web Services and Formal Methods\u00a04184, 193\u2013213 (2006)","journal-title":"Web Services and Formal Methods"},{"key":"21_CR29","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/1216993.1216998","volume-title":"WOSP 2007: Proceedings of the 6th international workshop on Software and performance","author":"F. Mancinelli","year":"2007","unstructured":"Mancinelli, F., Inverardi, P.: Quantitative resource-oriented analysis of java (adaptable) applications. In: WOSP 2007: Proceedings of the 6th international workshop on Software and performance, pp. 15\u201325. ACM Press, New York (2007)"},{"key":"21_CR30","doi-asserted-by":"crossref","unstructured":"Mandrioli, D., Zicari, R., Ghezzi, C., Tisato, F.: Modeling the ada task system by petri nets. Computer Languages (1985)","DOI":"10.1016\/0096-0551(85)90010-4"},{"key":"21_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-75698-9_17","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"C. Montangero","year":"2007","unstructured":"Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based detection of conflicts in APPEL policies. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 257\u2013271. Springer, Heidelberg (2007)"},{"key":"21_CR32","volume-title":"9 th International Symposium on Temporal Representation and Reasoning (TIME 2002)","author":"C. Montangero","year":"2002","unstructured":"Montangero, C., Semini, L.: Distributed states logic. In: 9\n                    th\n                   International Symposium on Temporal Representation and Reasoning (TIME 2002), Manchester, UK, July 2002, IEEE CS Press, Los Alamitos (2002)"},{"issue":"4","key":"21_CR33","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1145\/133233.129397","volume":"14","author":"A. Morzenti","year":"1992","unstructured":"Morzenti, A., Mandrioli, D., Ghezzi, C.: A model parametric real-time logic. ACM Trans. Program. Lang. Syst.\u00a014(4), 521\u2013573 (1992)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"21_CR34","unstructured":"OMG. Business process modeling notation. Technical report (February 6, 2006), \n                    \n                      http:\/\/www.bpmn.org\/"},{"key":"21_CR35","unstructured":"IFIP WG\u00a010.4 on\u00a0Dependable\u00a0Computing and Fault Tolerance. Dependability: Basic concepts and terminology (October 1990)"},{"key":"21_CR36","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. pp. 139\u2013150 (1979)"},{"key":"21_CR37","unstructured":"ART\u00a0DECO Project. Description of Work (2005), \n                    \n                      http:\/\/artdeco.elet.polimi.it\/Artdeco"},{"key":"21_CR38","unstructured":"PLASTIC Project. Description of Work (2005), \n                    \n                      http:\/\/www.ist-plastic.org"},{"key":"21_CR39","unstructured":"SeCSE Project. Description of Work (2004), \n                    \n                      http:\/\/secse.eng.it\/"},{"key":"21_CR40","unstructured":"Reiff-Marganiec, S., Turner, K.J., Blair, L.: Appel: The accent project policy environment\/language. Technical Report TR-161, University of Stirling (December 2005)"},{"key":"21_CR41","unstructured":"The SeCSE Team. Designing and deploying service-centric systems: The SeCSE way. In: Proceedings of Service Oriented Computing: a look at the Inside (SOC@Inside\u201907), workshop colocated with ICSOC 2007 (2007)"},{"issue":"6","key":"21_CR42","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1016\/j.csi.2005.05.004","volume":"28","author":"K.J. Turner","year":"2006","unstructured":"Turner, K.J., Reiff-Marganiec, S., Blair, L., Pang, J., Gray, T., Perry, P., Ireland, J.: Policy support for call control. Computer Standards and Interfaces\u00a028(6), 635\u2013649 (2006)","journal-title":"Computer Standards and Interfaces"},{"key":"21_CR43","unstructured":"Wirsing, M., Carizzoni, G., Gilmore, S., Gonczy, L., Koch, N., Mayer, P., Palasciano, C.: Software engineering for service-oriented overlay computers (2007), \n                    \n                      http:\/\/www.sensoria-ist.eu\/files\/whitePaper.pdf"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T08:09:18Z","timestamp":1551514158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}