{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T16:40:02Z","timestamp":1747327202775,"version":"3.40.5"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662462478"},{"type":"electronic","value":"9783662462485"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46248-5_48","type":"book-chapter","created":{"date-parts":[[2014,12,29]],"date-time":"2014-12-29T14:38:10Z","timestamp":1419863890000},"page":"398-406","source":"Crossref","is-referenced-by-count":1,"title":["Data Flow Analysis and Formal Method"],"prefix":"10.1007","author":[{"given":"Yanmei","family":"Li","sequence":"first","affiliation":[]},{"given":"Shaobin","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Junyu","family":"Lin","sequence":"additional","affiliation":[]},{"given":"Ya","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"48_CR1","unstructured":"Fu, C.: Improving Software Reliability Using Exception Analysis of Object Oriented Programs. ProQuest (2008)"},{"key":"48_CR2","doi-asserted-by":"crossref","unstructured":"Ko, C., Ruschitzka, M., Levitt, K.: Execution monitoring of security-critical programs in distributed systems: a specification-based approach. In: Proceedings of the 1997 IEEE Symposium on Security and Privacy, pp. 175\u2013187 (1997)","DOI":"10.1109\/SECPRI.1997.601332"},{"key":"48_CR3","first-page":"1090","volume":"34","author":"D. Jin","year":"2011","unstructured":"Jin, D.: Research on the Effect of Runtime Exception in Software Static Testing. Journal of Computers\u00a034, 1090\u20131110 (2011)","journal-title":"Journal of Computers"},{"key":"48_CR4","unstructured":"Jiang, C.: Verification of Terminability for Exception Processing in Service-oriented Software. Journal of Frontiers of Computer Science & Technology\u00a006 (2012)"},{"key":"48_CR5","first-page":"5","volume":"38","author":"F. Tian","year":"2004","unstructured":"Tian, F., Li, R., He, B., Zhang, J.: Modeling and Analysis of Exception Handling Based on Multi-Agent in Computer Supported Collaborative Design. Journal of Xian Jiaotong University\u00a038, 5 (2004)","journal-title":"Journal of Xian Jiaotong University"},{"key":"48_CR6","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/j.scico.2009.12.006","volume":"75","author":"D.P. Pereira","year":"2010","unstructured":"Pereira, D.P., de Melo, A.C.V.: Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming\u00a075, 333\u2013349 (2010)","journal-title":"Science of Computer Programming"},{"key":"48_CR7","doi-asserted-by":"crossref","unstructured":"Cai, C., et al.: Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling. Journal of Computer Science & Technology, 238\u2013249 (2009)","DOI":"10.1007\/s11390-009-9220-9"},{"key":"48_CR8","unstructured":"Wu, Q.: Exception Handling Model Based on Colored Petri Net in Service-oriented Software. Computer Science\u00a038 (2011)"},{"key":"48_CR9","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. Distributed and Parallel Databases\u00a023, 1\u201344 (2008)","journal-title":"Distributed and Parallel Databases"},{"key":"48_CR10","doi-asserted-by":"publisher","first-page":"874","DOI":"10.1016\/j.jss.2008.12.015","volume":"82","author":"F. Castor Filho","year":"2009","unstructured":"Castor Filho, F., Romanovsky, A., Rubira, C.M.F.: Improving reliability of cooperative concurrent systems with exception flow analysis. Journal of Systems and Software\u00a082, 874\u2013890 (2009)","journal-title":"Journal of Systems and Software"},{"key":"48_CR11","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/s11390-009-9219-2","volume":"24","author":"P.H.S. Brito","year":"2009","unstructured":"Brito, P.H.S., De Lemos, R., Rubira, C.M.F., Martins, E.: Architecting fault tolerance with exception handling: verification and validation. Journal of Computer Science and Technology\u00a024, 212\u2013237 (2009)","journal-title":"Journal of Computer Science and Technology"},{"key":"48_CR12","doi-asserted-by":"crossref","unstructured":"Brennan, P.T.: Observations on program-wide Ada exception propagation. In: Proceedings of the Conference on TRI-Ada 1993, New York, pp. 189\u2013195 (1993)","DOI":"10.1145\/170657.170734"},{"key":"48_CR13","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/2076021.2048095","volume":"46","author":"S. Li","year":"2011","unstructured":"Li, S., Tan, G.: JET: exception checking in the Java native interface. SIGPLAN Not\u00a046, 345\u2013358 (2011)","journal-title":"SIGPLAN Not"},{"key":"48_CR14","first-page":"1157","volume":"23","author":"C.F. Schaefer","year":"1993","unstructured":"Schaefer, C.F., Bundy, G.N.: Static analysis of exception handling in Ada. Software: Practice and Experience\u00a023, 1157\u20131174 (1993)","journal-title":"Software: Practice and Experience"},{"key":"48_CR15","doi-asserted-by":"crossref","unstructured":"Qiu, X., Zhang, L., Lian, X.: Static analysis for java exception propagation structure. In: 2010 IEEE International Conference on Progress in Informatics and Computing (PIC), pp. 1040\u20131046 (2013)","DOI":"10.1109\/PIC.2010.5688009"}],"container-title":["Communications in Computer and Information Science","Intelligent Computation in Big Data Era"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46248-5_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T16:20:34Z","timestamp":1747326034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46248-5_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662462478","9783662462485"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46248-5_48","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]}}}