Maxwell Neal
Graduated: January 1, 2010
Thesis/Dissertation Title:
Modular, Semantics-based Composition of Biosimulation Models
Biosimulation models are valuable, versatile tools used for hypothesis generation and testing, codification of biological theory, education, and patient-specific modeling. Driven by recent advances in computational power and the accumulation of systems-level experimental data, modelers today are creating models with an unprecedented level of complexity. These researchers need tools that manage this complexity and scale across biological levels of organization and physical domain. Historically, many industries have addressed the issue of complexity by adopting a modular product design. In order to apply this approach to the field of biosimulation, existing models must be cast as interoperable components. However, modelers today use a variety of simulation languages so that interoperability is the exception rather than the rule.
For my dissertation research I have worked on the challenges of modularity and interoperability within biosimulation. I helped develop a modular, multi-scale, multi-domain modeling approach called SemSim that provides broad model interoperability. The SemSim approach includes a declarative model description format that can capture the computational and semantic information in existing legacy models, thereby converting them into interoperable, reusable components. Because they interoperate at the semantic level, SemSim models offer opportunities to automate common composition and decomposition tasks beyond currently available methods. For my dissertation project I created and tested a software tool called SemGen that helps automate the modular composition and decomposition of SemSim models. With this tool, users can 1) convert legacy models into the SemSim format and annotate them with semantic data, 2) automatically decompose SemSim models into interoperable sub-models, 3) semi-automatically merge SemSim models into larger systems, and 4) encode SemSim models in an executable simulation format. As a proof-of-concept demonstration of modular modeling, I used SemGen to perform a set of model composition and decomposition tasks using models of hemodynamics, neural signaling, molecular diffusion, and chemical pathway kinetics. This demonstration establishes SemGen’s capabilities for automating the modular composition and decomposition of biosimulation models across physical scales and physical domains. Thus, SemGen has the potential to advance the entire field of biosimulation by spurring the development of complex models for biological research, drug target identification, and patient-specific modeling.
Last Known Position:
Computational Biologist, Center for Infectious Disease Research
Committee:
John H. Gennari (Chair), James F. Brinkley III, Daniel L. Cook, Herbert M. Sauro (GSR)