Figure 2From: A rigorous approach to facilitate and guarantee the correctness of the genetic testing management in human genome information systemsUser interface for the definition of genetic testing. Interface for procedure definition and execution order of a genetic test. It is also automatically generates in a transparent way the process algebra expression corresponding to the test.Back to article page