| Título: | Test Method for Process Deadlock Based on Graph Grammars |
| Autores: |
Wang, Yi; Hubei University of Arts and Science Ding, Han; Hubei University of Arts and Science Yang, Fan; Hubei University of Arts and Science |
| Fecha: | 2014-05-01 |
| Publicador: | TELKOMNIKA: Indonesian journal of electrical engineering |
| Fuente: |
 |
| Tipo: |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion |
| Tema: | process; deadlock; test; graph grammars |
| Descripción: | 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. |
| Idioma: | No aplica |