{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:15Z","timestamp":1750307715418,"version":"3.41.0"},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2009,7,6]],"date-time":"2009-07-06T00:00:00Z","timestamp":1246838400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2009,7,6]]},"abstract":"<jats:p>The influence of safety risk assessment is being gradually recog-nized along with increasing importance of system safety. In view of the effectiveness of probabilistic influence diagram (PID) in probability reasoning, PID was introduced into system safety risk assessment. Combining the object-oriented method of PID with the traditional risk analysis method, a model of system safety risk probability was successfully constructed. To support the construc-tion and reduction analysis of PID properly, an editor was designed. The syntax and semantics of the editor were detailed in the paper, and its technical feasibility in risk analysis was demonstrated in a case study. Based on graph transformation and reduction algo-rithms of PID, the visualization and describing ability of reduction analysis of PID has been further strengthened, and its semi-automation is achieved by the editor.<\/jats:p>","DOI":"10.1145\/1543405.1543422","type":"journal-article","created":{"date-parts":[[2009,7,8]],"date-time":"2009-07-08T17:28:33Z","timestamp":1247074113000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Graph transformation based reduction analysis of PID"],"prefix":"10.1145","volume":"34","author":[{"given":"Sheng-bing","family":"Ren","sequence":"first","affiliation":[{"name":"School of Information Science and Engineering Central South University Changsha, Hunan Province, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xi-e","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering Central South University Changsha, Hunan Province, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhi-gang","family":"Hu","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering Central South University Changsha, Hunan Province, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ge","family":"Hu","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering Central South University Changsha, Hunan Province, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guo-jun","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering Central South University Changsha, Hunan Province, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,7,6]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.36.4.589"},{"volume-title":"Research on Information Security Risk Assessment Method Based on Probabilistic Influence Diagram{D}","year":"2005","author":"Ying","key":"e_1_2_1_2_1"},{"volume-title":"The Research on the Method of Formal Safety Assessment{D}","year":"2004","author":"Hong","key":"e_1_2_1_3_1"},{"volume-title":"Efficient Evaluation of Influence Diagrams {D}","year":"1986","author":"Ezawa K.J.","key":"e_1_2_1_4_1"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90012-9"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199903)29:3%3C197::AID-SPE228%3E3.3.CO;2-6"},{"volume-title":"Theory Methodology and Application of Influence Dia-gram{M}. Tianjing","year":"1995","author":"Yuan","key":"e_1_2_1_7_1"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1287\/deca.1050.0020"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2005.23"},{"key":"e_1_2_1_10_1","doi-asserted-by":"crossref","DOI":"10.1142\/3303","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation{C}","author":"Rozenberg G.","year":"1997"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC-EAST.2004.70"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11877028_7"},{"key":"e_1_2_1_13_1","first-page":"163","volume-title":"Algebraic approaches to graph transformation, part I: Basic concepts and double push out approach. {C}\/\/ Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation","author":"Corradini A","year":"1997"},{"key":"e_1_2_1_14_1","first-page":"90","volume":"6","author":"Hua","year":"1998","journal-title":"Practice"},{"key":"e_1_2_1_15_1","first-page":"372","author":"Garcia L","year":"2006","journal-title":"Frontiers in Artificial Intelligence and Applications"},{"key":"e_1_2_1_16_1","first-page":"38","volume":"3","author":"Yun","year":"1998","journal-title":"Ship-building of China"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1543405.1543422","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1543405.1543422","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:20Z","timestamp":1750253420000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1543405.1543422"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,6]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,7,6]]}},"alternative-id":["10.1145\/1543405.1543422"],"URL":"https:\/\/doi.org\/10.1145\/1543405.1543422","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2009,7,6]]},"assertion":[{"value":"2009-07-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}