Integration and Automation of Modeling of Biological Cell Processes

The System Biology Markup Language (SBML) has been used to build numerous models of biological processes. Here we introduce a new method to translate SBML specifications of cellular models into formal specifications for analysis and simulation. To do so we define a generic biological model architecture that can be instantiated with different parameters for different types of cells and at different levels of detail using the information available...