{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:16:55Z","timestamp":1762521415847,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642217128"},{"type":"electronic","value":"9783642217135"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21713-5_19","type":"book-chapter","created":{"date-parts":[[2011,6,11]],"date-time":"2011-06-11T01:22:45Z","timestamp":1307755365000},"page":"257-272","source":"Crossref","is-referenced-by-count":10,"title":["Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Barbierato","sequence":"first","affiliation":[]},{"given":"Marco","family":"Gribaudo","sequence":"additional","affiliation":[]},{"given":"Mauro","family":"Iacono","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Marrone","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/11818502_13","volume-title":"Advanced Topics in Exception Handling Techniques","author":"W. Bail","year":"2006","unstructured":"Bail, W.: An approach to defining requirements for exceptions. In: Cheraghchi, H.S., Lee, S.H., Romanovsky, A., Babu, C. S. (eds.) Advanced Topics in Exception Handling Techniques. LNCS, vol.\u00a04119, pp. 243\u2013254. Springer, Heidelberg (2006)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Berry, G.: Preemption and concurrency. Foundations of Software Technology and Theoretical Computer Science, 72\u201393 (1993)","DOI":"10.1007\/3-540-57529-4_44"},{"issue":"10","key":"19_CR3","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/TSE.2006.104","volume":"32","author":"H. Bohnenkamp","year":"2006","unstructured":"Bohnenkamp, H., et al.: Modest: A compositional modeling formalism for hard and softly timed systems. IEEE Transactions on Software Engineering\u00a032(10), 812\u2013830 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Cheng, Y., Chen, C.T., Jwo, J.S.: Exception handling: an architecture model and utility support. In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), December 2005, p. 8 (2005)","DOI":"10.1109\/APSEC.2005.66"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1109\/PNPM.2001.953373","volume-title":"Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM 2001)","author":"G. Clark","year":"2001","unstructured":"Clark, G., et al.: The mobius modeling tool. In: Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM 2001), p. 241. IEEE Computer Society, Washington, DC, USA (2001)"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1109\/TC.1982.1676035","volume":"31","author":"F. Cristian","year":"1982","unstructured":"Cristian, F.: Exception handling and software fault tolerance. IEEE Transactions on Computers\u00a031, 531\u2013540 (1982)","journal-title":"IEEE Transactions on Computers"},{"issue":"12","key":"19_CR7","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R.M. Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in bpmn. Information and Software Technology\u00a050(12), 1281\u20131294 (2008), http:\/\/www.sciencedirect.com\/science\/article\/B6V0B-4RY6WMV-1\/2\/aa067258b1416b2969e509911a572d42","journal-title":"Information and Software Technology"},{"key":"19_CR8","unstructured":"Ganesh, J., Dugan, J.: Automatic synthesis of dynamic fault trees from uml system models. In: International Symposium on Software Reliability Engineering(2002)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Garavel, H., Sighireanu, M.: On the introduction of exceptions in e-lotos. In: Proc. Conf. Formal Techniques for Networked and Distributed Systems (FORTE 1996), pp. 469\u2013484 (1996)","DOI":"10.1007\/978-0-387-35079-0_30"},{"key":"19_CR10","unstructured":"Group, O.M.: Unified modeling language standards version 2.3, http:\/\/www.omg.org\/spec\/UML\/2.3\/"},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10619-007-7020-1","volume":"23","author":"R. Hamadi","year":"2008","unstructured":"Hamadi, R., Benatallah, B., Medjahed, B.: Self-adapting recovery nets for policy-driven exception handling in business processes. Distrib. Parallel Databases\u00a023, 1\u201344 (2008), http:\/\/portal.acm.org\/citation.cfm?id=1340318.1340339","journal-title":"Distrib. Parallel Databases"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/QEST.2009.41","volume-title":"Proceedings of the 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST 2009)","author":"A. Hartmanns","year":"2009","unstructured":"Hartmanns, A., Hermanns, H.: A modest approach to checking probabilistic timed automata. In: Proceedings of the 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST 2009), pp. 187\u2013196. IEEE Computer Society, Washington, DC, USA (2009), http:\/\/dx.doi.org\/10.1109\/QEST.2009.41"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-540-27764-4_12","volume-title":"Mathematics of Program Construction","author":"G. Hutton","year":"2004","unstructured":"Hutton, G., Wright, J.: Compiling Exceptions Correctly. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 211\u2013227. Springer, Heidelberg (2004)"},{"key":"19_CR14","first-page":"413","volume-title":"MASCOTS","author":"M. Iacono","year":"2010","unstructured":"Iacono, M., Gribaudo, M.: Element based semantics in multi formalism performance models. In: MASCOTS, pp. 413\u2013416. IEEE, Los Alamitos (2010)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Jacobs, B., Muller, P., Piessens, F.: Sound reasoning about unchecked exceptions. In: Fifth IEEE International Conference on Software Engineering and Formal Methods( SEFM 2007), pp. 113\u2013122 (September 2007)","DOI":"10.1109\/SEFM.2007.36"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"de Lemos, R., Romanovsky, A.: Exception handling in a cooperative object-oriented approach. In: 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 1999), pp. 3\u201313 (1999)","DOI":"10.1109\/ISORC.1999.776343"},{"key":"19_CR17","unstructured":"Mohan, C., Lindsay, B.: Efficient commit protocols for the tree of processes model of distributed transactions. SIGOPS Oper. Syst. Rev. 19, 40\u201352 (1985), http:\/\/doi.acm.org\/10.1145\/850770.850772"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Romanovsky, A.: An exception handling framework for n-version programming in object-oriented systems. In: Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), pp. 226\u2013233 (2000)","DOI":"10.1109\/ISORC.2000.839534"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Romanovsky, A.: Exception handling in component-based system development. In: 25th Annual International Computer Software and Applications Conference (COMPSAC 2001), pp. 580\u2013586 (2001)","DOI":"10.1109\/CMPSAC.2001.960671"},{"key":"19_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1234741.1234767","volume":"32","author":"A. Romanovsky","year":"2007","unstructured":"Romanovsky, A.: A looming fault tolerance software crisis? SIGSOFT Softw. Eng. Notes\u00a032, 1\u20134 (2007)","journal-title":"Eng. Notes"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Romanovsky, A.: On exceptions, exception handling, requirements and software lifecycle. In: IEEE International Symposium on High-Assurance Systems Engineering, vol.\u00a00, p. 301 (2007)","DOI":"10.1109\/HASE.2007.71"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"St\u00f6rrle, H.: Semantics of control-flow in uml 2.0 activities. In: Proceedings of IEEE Symposium on Visual Languages - Human Centric Computing, September 2004, pp. 235\u2013242 (2004), http:\/\/dx.doi.org\/10.1016\/j.entcs.2004.08.046","DOI":"10.1016\/j.entcs.2004.08.046"}],"container-title":["Lecture Notes in Computer Science","Analytical and Stochastic Modeling Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21713-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T12:57:21Z","timestamp":1560257841000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21713-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642217128","9783642217135"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21713-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}