Test Method for Process Deadlock Based on Graph Grammars
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.
Keywords
process; deadlock; test; graph grammars
Full Text:
PDFRefbacks
- There are currently no refbacks.
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Indonesian Journal of Electrical Engineering and Computer Science (IJEECS)
p-ISSN: 2502-4752, e-ISSN: 2502-4760
This journal is published by the Institute of Advanced Engineering and Science (IAES) in collaboration with Intelektual Pustaka Media Utama (IPMU).