A rigorous approach to facilitate and guarantee the correctness of the genetic testing management in human genome information systems

BMC Genomics

Proceedings

Calton Pu¹  Simon Malkowski¹  Luciano V Araújo²  João E Ferreira³  Kelly R Braghetto³  Mayana Zatz⁴  Maria R Passos-Bueno⁴ 

[1] CERCS, Georgia Institute of Technology, 266 First Drive, 30332-0765, Atlanta, GA, USA;EACH - School of Arts, Sciences and Humanities, University of São Paulo, Rua Arlindo Béttio, 1000, Ermelino Matarazzo, São Paulo, Brazil;Institute of Mathematics and Statistics, Computer Science Department, University of São Paulo, Rua do Matão, 1010, 05508-900, São Paulo, SP, Brazil;The Human Genome Research Center, University of São Paulo, Rua do Matão, Travessa 13,106, 05508-900, São Paulo, SP, Brazil;

关键词: Spinal Muscular Atrophy;    Atomic Action;    Process Algebra;    Execution Order;    Laboratory Information Management System;   

DOI  :  10.1186/1471-2164-12-S4-S13

来源: Springer

【 摘 要 】

BackgroundRecent medical and biological technology advances have stimulated the development of new testing systems that have been providing huge, varied amounts of molecular and clinical data. Growing data volumes pose significant challenges for information processing systems in research centers. Additionally, the routines of genomics laboratory are typically characterized by high parallelism in testing and constant procedure changes.ResultsThis paper describes a formal approach to address this challenge through the implementation of a genetic testing management system applied to human genome laboratory. We introduced the Human Genome Research Center Information System (CEGH) in Brazil, a system that is able to support constant changes in human genome testing and can provide patients updated results based on the most recent and validated genetic knowledge. Our approach uses a common repository for process planning to ensure reusability, specification, instantiation, monitoring, and execution of processes, which are defined using a relational database and rigorous control flow specifications based on process algebra (ACP). The main difference between our approach and related works is that we were able to join two important aspects: 1) process scalability achieved through relational database implementation, and 2) correctness of processes using process algebra. Furthermore, the software allows end users to define genetic testing without requiring any knowledge about business process notation or process algebra.ConclusionsThis paper presents the CEGH information system that is a Laboratory Information Management System (LIMS) based on a formal framework to support genetic testing management for Mendelian disorder studies. We have proved the feasibility and showed usability benefits of a rigorous approach that is able to specify, validate, and perform genetic testing using easy end user interfaces.

【 授权许可】

CC BY   
© Araújo et al; licensee BioMed Central Ltd. 2011