Fan Yang
Hubei University of Arts and Science

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search

Test Method for Process Deadlock Based on Graph Grammars Yi Wang; Han Ding; Fan Yang
Indonesian Journal of Electrical Engineering and Computer Science Vol 12, No 5: May 2014
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

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