Graph transformation based reduction analysis of PID

Authors:
Sheng-bing Ren;Xi-e Wang;Zhi-gang Hu;Ge Hu;Guo-jun Wang
Affiliations:
School of Information Science and Engineering Central South University Changsha, Hunan Province, P. R. China;School of Information Science and Engineering Central South University Changsha, Hunan Province, P. R. China;School of Information Science and Engineering Central South University Changsha, Hunan Province, P. R. China;School of Information Science and Engineering Central South University Changsha, Hunan Province, P. R. China;School of Information Science and Engineering Central South University Changsha, Hunan Province, P. R. China
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2009

Citing 10
Cited 0

Evidential reasoning using stochastic simulation of causal models

Artificial Intelligence
Probabilistic inference and influence diagrams

Operations Research
Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach

Handbook of graph grammars and computing by graph transformation
Computing with graphs and graph transformations

Software—Practice & Experience
Towards Formal Verification of UML Diagrams Based on Graph Transformation

CEC-EAST '04 Proceedings of the E-Commerce Technology for Dynamic E-Business, IEEE International Conference
Benchmarking for Graph Transformation

VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Influence Diagrams

Decision Analysis
Possibilistic Influence Diagrams

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
On the use of graph transformations for model refactoring

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.