Figure 3From: A rigorous approach to facilitate and guarantee the correctness of the genetic testing management in human genome information systemsUser interface to control procedure execution and analysis. This interface collects data on the execution of procedures of a test and defines the next procedure to be executed based on the interpretation of the process algebra expression.Back to article page