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

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.

[1]  Matthias Lange,et al.  SEMEDA: ontology based semantic integration of biological databases , 2003, Bioinform..

[2]  Luciano Vieira de Araújo,et al.  HIV drug resistance analysis tool based on process algebra , 2008, SAC '08.

[3]  Calton Pu,et al.  Large Scale Order Processing through Navigation Plan Concept , 2006, 2006 IEEE International Conference on Services Computing (SCC'06).

[4]  Wan Fokkink,et al.  Introduction to Process Algebra , 1999, Texts in Theoretical Computer Science. An EATCS Series.

[5]  Y. Pouliot,et al.  DIAN: a novel algorithm for genome ontological classification. , 2001, Genome research.

[6]  Claudia Bauzer Medeiros,et al.  An ontology-based framework for bioinformatics workflows , 2007, Int. J. Bioinform. Res. Appl..

[7]  Calton Pu,et al.  Integration of collaborative information system in Internet applications using RiverFish architecture , 2005, 2005 International Conference on Collaborative Computing: Networking, Applications and Worksharing.

[8]  Peter D. Karp,et al.  An ontology for biological function based on molecular interactions , 2000, Bioinform..

[9]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[10]  Daniel L. Ewert,et al.  HEART: an automated beat-to-beat cardiovascular analysis package using Matlab® , 2004, Comput. Biol. Medicine.

[11]  Calton Pu,et al.  Using control-flow patterns for specifying business processes in cooperative environments , 2007, SAC '07.

[12]  Adam P. Arkin,et al.  WIST: toolkit for rapid, customized LIMS development , 2011, Bioinform..

[13]  Vijayalakshmi Atluri,et al.  Domain Knowledge-Based Automatic Workflow Generation , 2002, DEXA.

[14]  Hiroshi Matsuno,et al.  Petri Net Based Descriptions for Systematic Understanding of Biological Pathways , 2006, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[15]  Nick Russell,et al.  Foundations of Process-Aware Information Systems , 2007 .

[16]  J. Heemskerk,et al.  Spinal Muscular Atrophy: Classification, Diagnosis, Management, Pathogenesis, and Future Research Directions , 2007, Journal of child neurology.

[17]  Chris Morris,et al.  The Protein Information Management System (PiMS): a generic tool for any structural biology research laboratory , 2011, Acta crystallographica. Section D, Biological crystallography.

[18]  Calton Pu,et al.  Business Processes Management using Process Algebra and Relational Database Model , 2008, ICE-B.

[19]  Luca Cardelli,et al.  BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

[20]  Alexandre Melo,et al.  SIGLa: an adaptable LIMS for multiple laboratories , 2010, BMC Genomics.

[21]  Roberto Marcondes Cesar Junior,et al.  An environment for knowledge discovery in biology , 2004, Comput. Biol. Medicine.

[22]  Hongyan Ma,et al.  Process-aware information systems: Bridging people and software through process technology , 2007, J. Assoc. Inf. Sci. Technol..

[23]  Russ B. Altman,et al.  Modelling biological processes using workflow and Petri Net models , 2002, Bioinform..

[24]  Nathaniel Palmer,et al.  XML Process Definition Language , 2009, Encyclopedia of Database Systems.

[25]  Paulo F. Pires,et al.  Automatic composition of Web services with contingency plans , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[26]  François Fages,et al.  CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems , 2004, CMSB.

[27]  Russ B. Altman,et al.  Research Paper: Using Petri Net Tools to Study Properties and Dynamics of Biological Systems , 2004, J. Am. Medical Informatics Assoc..

[28]  W. Jim Zheng,et al.  Object-oriented biological system integration: a SARS coronavirus example , 2005, Bioinform..