State-transition diagrams for biologists

Area of Science:

• Immunology
• Computational Biology
• Software Engineering

Background:

• Biological systems are traditionally modeled as state-transition dynamics.
• Population-based immune models often use ordinary differential equations (ODEs), which can be complex.
• Existing models may lack clarity and accessibility for researchers.

Purpose of the Study:

• To demonstrate the utility of Unified Modeling Language (UML) state-transition diagrams in immunological modeling.
• To simplify the modeling, understanding, coding, manipulation, and documentation of ODE-based immune software models.
• To improve the accessibility and usability of complex computational immunology research.

Main Methods:

• Mapping UML state-transition diagram elements to corresponding ODE mathematical models.
• Refactoring two published immune models (one ODE-based, one agent-based) into a state-transition form.
• Utilizing UML diagrams to represent thymocyte behavior and evolution within the thymus.

Main Results:

• UML state-transition diagrams offer representational economy and ease of understanding for ODE models.
• Refactored models become more accessible, understandable, and easier to modify.
• Immunologists can grasp model behavior without delving into underlying code (Java/Fortran).

Conclusions:

• UML state-transition diagrams provide a powerful, intuitive approach to modeling complex biological systems, particularly in immunology.
• This methodology enhances the clarity and accessibility of computational models, fostering broader research engagement.
• The adoption of UML facilitates a more efficient and understandable workflow for developing and utilizing immunological simulations.