{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T21:10:04Z","timestamp":1746393004985,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452332"},{"type":"electronic","value":"9783662452349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45234-9_4","type":"book-chapter","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T01:28:35Z","timestamp":1411694915000},"page":"41-55","source":"Crossref","is-referenced-by-count":5,"title":["Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows"],"prefix":"10.1007","author":[{"given":"Domenico","family":"Bianculli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Filieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dino","family":"Mandrioli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., Ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distrib. Parallel Databases"},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput.\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-642-36089-3_15","volume-title":"Software Language Engineering","author":"A. Barenghi","year":"2013","unstructured":"Barenghi, A., Viviani, E., Crespi Reghizzi, S., Mandrioli, D., Pradella, M.: PAPAGENO: A parallel parser generator for operator precedence grammars. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol.\u00a07745, pp. 264\u2013274. Springer, Heidelberg (2013)"},{"issue":"10","key":"4_CR4","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MC.2006.362","volume":"39","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Di Nitto, E., Ghezzi, C.: Toward open-world software: Issues and challenges. IEEE Computer\u00a039(10), 36\u201343 (2006)","journal-title":"IEEE Computer"},{"key":"4_CR5","unstructured":"Bianculli, D., Filieri, A., Ghezzi, C., Mandrioli, D.: A syntactic-semantic approach to incremental verification (2013), http:\/\/arxiv.org\/abs\/1304.8034"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Bianculli, D., Filieri, A., Ghezzi, C., Mandrioli, D.: Syntactic-semantic incrementality for agile verification. Sci. Comput. Program (2013), doi:10.1016\/j.scico.2013.11.026","DOI":"10.1016\/j.scico.2013.11.026"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Borges, M., Filieri, A., d\u2019Amorim, M., P\u0103s\u0103reanu, C.S., Visser, W.: Compositional solution space quantification for probabilistic software analysis. In: Proc. of PLDI 2014, pp. 123\u2013132. ACM (2014)","DOI":"10.1145\/2666356.2594329"},{"issue":"7","key":"4_CR8","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1002\/(SICI)1097-024X(199607)26:7<763::AID-SPE33>3.0.CO;2-L","volume":"26","author":"K. Bosschere de","year":"1996","unstructured":"de Bosschere, K.: An operator precedence parser for standard Prolog text. Softw. Pract. Exper.\u00a026(7), 763\u2013779 (1996)","journal-title":"Softw. Pract. Exper."},{"issue":"2","key":"4_CR9","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1109\/TSE.1980.234477","volume":"SE-6","author":"R.C. Cheung","year":"1980","unstructured":"Cheung, R.C.: A user-oriented software reliability model. IEEE Trans. Softw. Eng.\u00a0SE-6(2), 118\u2013125 (1980)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR10","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)"},{"issue":"6","key":"4_CR11","doi-asserted-by":"publisher","first-page":"1837","DOI":"10.1016\/j.jcss.2011.12.006","volume":"78","author":"S.C. Reghizzi","year":"2012","unstructured":"Reghizzi, S.C., Mandrioli, D.: Operator precedence and the visibly pushdown property. J. Comput. Syst. Sci.\u00a078(6), 1837\u20131867 (2012)","journal-title":"J. Comput. Syst. Sci."},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-540-31862-0_21","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"C. Daws","year":"2005","unstructured":"Daws, C.: Symbolic and parametric model checking of discrete-time markov chains. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol.\u00a03407, pp. 280\u2013294. Springer, Heidelberg (2005)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Distefano, S., Ghezzi, C., Guinea, S., Mirandola, R.: Dependability assessment of web service orchestrations. IEEE Trans. Rel. (2014) (PrePrint), doi:10.1109\/TR.2014.2315939","DOI":"10.1109\/TR.2014.2315939"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Distefano, S., Filieri, A., Ghezzi, C., Mirandola, R.: A compositional method for reliability analysis of workflows affected by multiple failure modes. In: Proc. of CBSE 2011, pp. 149\u2013158. ACM (2011)","DOI":"10.1145\/2000229.2000251"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/0020-0190(77)90078-3","volume":"6","author":"A. Ershov","year":"1977","unstructured":"Ershov, A.: On the partial computation principle. Inform. Process. Lett.\u00a06(2), 38\u201341 (1977)","journal-title":"Inform. Process. Lett."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Filieri, A., Ghezzi, C.: Further steps towards efficient runtime verification: Handling probabilistic cost models. In: Proc. of FormSERA 2012, pp. 2\u20138. IEEE (2012)","DOI":"10.1109\/FormSERA.2012.6229785"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Filieri, A., P\u0103s\u0103reanu, C.S., Visser, W., Geldenhuys, J.: Statistical symbolic execution with informed sampling. In: Proc. of SIGSOFT 2014\/FSE-22, ACM (2014)","DOI":"10.1145\/2635868.2635899"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: Proc. of ICSE 2011, pp. 341\u2013350. ACM (2011)","DOI":"10.1145\/1985793.1985840"},{"issue":"2","key":"4_CR19","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s00165-011-0207-2","volume":"24","author":"A. Filieri","year":"2012","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: A formal approach to adaptive software: continuous assurance of non-functional requirements. Formal Asp. Comput.\u00a024(2), 163\u2013186 (2012)","journal-title":"Formal Asp. Comput."},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Filieri, A., P\u0103s\u0103reanu, C.S., Visser, W.: Reliability analysis in symbolic pathfinder. In: Proc. of ICSE 2013, pp. 622\u2013631. IEEE Press (2013)","DOI":"10.1109\/ICSE.2013.6606608"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/321172.321179","volume":"10","author":"R.W. Floyd","year":"1963","unstructured":"Floyd, R.W.: Syntactic analysis and operator precedence. J. ACM\u00a010, 316\u2013333 (1963)","journal-title":"J. ACM"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-87879-7_8","volume-title":"Quality of Software Architectures. Models and Architectures","author":"S. Gallotti","year":"2008","unstructured":"Gallotti, S., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Quality prediction of service compositions through probabilistic model checking. In: Becker, S., Plasil, F., Reussner, R. (eds.) QoSA 2008. LNCS, vol.\u00a05281, pp. 119\u2013134. Springer, Heidelberg (2008)"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-642-34059-8_19","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"C. Ghezzi","year":"2012","unstructured":"Ghezzi, C.: Evolution, adaptation, and the quest for incrementality. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol.\u00a07539, pp. 369\u2013379. Springer, Heidelberg (2012)"},{"issue":"1","key":"4_CR24","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/357062.357066","volume":"1","author":"C. Ghezzi","year":"1979","unstructured":"Ghezzi, C., Mandrioli, D.: Incremental parsing. ACM Trans. Program. Lang. Syst.\u00a01(1), 58\u201370 (1979)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Goseva-Popstojanova, K., Mathur, A., Trivedi, K.: Comparison of architecture-based software reliability models. In: Proc. of ISSRE 2001, pp. 22\u201331. IEEE (2001)","DOI":"10.1109\/ISSRE.2001.989455"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Grune, D., Jacobs, C.J.H.: Parsing Techniques - a practical guide, 2nd edn. Springer (2008)","DOI":"10.1007\/978-0-387-68954-8"},{"issue":"1","key":"4_CR27","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10009-010-0146-x","volume":"13","author":"E. Hahn","year":"2011","unstructured":"Hahn, E., Hermanns, H., Zhang, L.: Probabilistic reachability for parametric markov models. STTT\u00a013(1), 3\u201319 (2011)","journal-title":"STTT"},{"issue":"1","key":"4_CR28","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s10270-006-0040-x","volume":"7","author":"A. Immonen","year":"2008","unstructured":"Immonen, A., Niemela, E.: Survey of reliability and availability prediction methods from the viewpoint of software architecture. Software and Systems Modeling\u00a07(1), 49\u201365 (2008)","journal-title":"Software and Systems Modeling"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Johnson, K., Calinescu, R., Kikuchi, S.: An incremental verification framework for component-based software systems. In: Proc. of CBSE 2013, pp. 33\u201342. ACM (2013)","DOI":"10.1145\/2465449.2465456"},{"issue":"4","key":"4_CR30","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C.B. Jones","year":"1983","unstructured":"Jones, C.B.: Tentative steps toward a development method for interfering programs. ACM Trans. Program. Lang. Syst.\u00a05(4), 596\u2013619 (1983)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR31","unstructured":"Josuttis, N.: SOA in Practice: The Art of Distributed System Design. O\u2019Reilly (2007)"},{"key":"4_CR32","first-page":"127","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of context-free languages. Theory of Computing Systems\u00a02, 127\u2013145 (1968)","journal-title":"Theory of Computing Systems"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Parker, D., Qu, H.: Incremental quantitative verification for Markov decision processes. In: Proc. of DSN 2011, pp. 359\u2013370. IEEE (2011)","DOI":"10.1109\/DSN.2011.5958249"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Meedeniya, I., Grunske, L.: An efficient method for architecture-based reliability evaluation for evolving systems with changing parameters. In: Proc. of ISSRE 2010, pp. 229\u2013238. IEEE (2010)","DOI":"10.1109\/ISSRE.2010.19"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Pham, H.: System software reliability. Springer (2006)","DOI":"10.1007\/1-84628-295-0"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Sistla, P.: Hybrid and incremental model-checking techniques. ACM Comput. Surv. 28(4es) (1996)","DOI":"10.1145\/242224.242384"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45234-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T20:41:57Z","timestamp":1746391317000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45234-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452332","9783662452349"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45234-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}