Test Method for Process Deadlock Based on Graph Grammars

Yi Wang (Hubei University of Arts and Science)
Han Ding (Hubei University of Arts and Science)
Fan Yang (Hubei University of Arts and Science)

Indonesian Journal of Electrical Engineering and Computer Science
Vol 12, No 5: May 2014

This paper proposes a test method for process deadlock based on graph grammars through constructing process resource diagram. Through using the construction rules, it can construct and judge the validity of the process resource diagram. Through using the test rules, it can test if there is the deadlock in the process. The method is a graphical approach; it is simple and intuitive with strong operability. DOI : http://dx.doi.org/10.11591/telkomnika.v12i5.4945