Using argument notation to engineer biological simulations with increased confidence
The application of computational and mathematical modelling to explore the mechanics of biological systems is becoming prevalent. To significantly impact biological research, notably in developing novel therapeutics, it is critical that the model adequately represents the captured system. Confidence...
| Main Authors: | , , , , , |
|---|---|
| Formato: | Journal article |
| Idioma: | English |
| Publicado em: |
Royal Society
2015
|
| _version_ | 1826290085484560384 |
|---|---|
| author | Alden, K Andrews, P Polack, F Veiga-Fernandes, H Coles, M Timmis, J |
| author_facet | Alden, K Andrews, P Polack, F Veiga-Fernandes, H Coles, M Timmis, J |
| author_sort | Alden, K |
| collection | OXFORD |
| description | The application of computational and mathematical modelling to explore the mechanics of biological systems is becoming prevalent. To significantly impact biological research, notably in developing novel therapeutics, it is critical that the model adequately represents the captured system. Confidence in adopting in silico approaches can be improved by applying a structured argumentation approach, alongside model development and results analysis. We propose an approach based on argumentation from safety-critical systems engineering, where a system is subjected to a stringent analysis of compliance against identified criteria. We show its use in examining the biological information upon which a model is based, identifying model strengths, highlighting areas requiring additional biological experimentation and providing documentation to support model publication. We demonstrate our use of structured argumentation in the development of a model of lymphoid tissue formation, specifically Peyer's Patches. The argumentation structure is captured using Artoo (www.york.ac.uk/ycil/software/artoo), our Web-based tool for constructing fitness-for-purpose arguments, using a notation based on the safety-critical goal structuring notation. We show how argumentation helps in making the design and structured analysis of a model transparent, capturing the reasoning behind the inclusion or exclusion of each biological feature and recording assumptions, as well as pointing to evidence supporting model-derived conclusions. |
| first_indexed | 2024-03-07T02:38:48Z |
| format | Journal article |
| id | oxford-uuid:a9b786de-7ffd-4d0f-bd3d-15d8d1179f94 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T02:38:48Z |
| publishDate | 2015 |
| publisher | Royal Society |
| record_format | dspace |
| spelling | oxford-uuid:a9b786de-7ffd-4d0f-bd3d-15d8d1179f942022-03-27T03:10:17ZUsing argument notation to engineer biological simulations with increased confidenceJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:a9b786de-7ffd-4d0f-bd3d-15d8d1179f94EnglishSymplectic Elements at OxfordRoyal Society2015Alden, KAndrews, PPolack, FVeiga-Fernandes, HColes, MTimmis, JThe application of computational and mathematical modelling to explore the mechanics of biological systems is becoming prevalent. To significantly impact biological research, notably in developing novel therapeutics, it is critical that the model adequately represents the captured system. Confidence in adopting in silico approaches can be improved by applying a structured argumentation approach, alongside model development and results analysis. We propose an approach based on argumentation from safety-critical systems engineering, where a system is subjected to a stringent analysis of compliance against identified criteria. We show its use in examining the biological information upon which a model is based, identifying model strengths, highlighting areas requiring additional biological experimentation and providing documentation to support model publication. We demonstrate our use of structured argumentation in the development of a model of lymphoid tissue formation, specifically Peyer's Patches. The argumentation structure is captured using Artoo (www.york.ac.uk/ycil/software/artoo), our Web-based tool for constructing fitness-for-purpose arguments, using a notation based on the safety-critical goal structuring notation. We show how argumentation helps in making the design and structured analysis of a model transparent, capturing the reasoning behind the inclusion or exclusion of each biological feature and recording assumptions, as well as pointing to evidence supporting model-derived conclusions. |
| spellingShingle | Alden, K Andrews, P Polack, F Veiga-Fernandes, H Coles, M Timmis, J Using argument notation to engineer biological simulations with increased confidence |
| title | Using argument notation to engineer biological simulations with increased confidence |
| title_full | Using argument notation to engineer biological simulations with increased confidence |
| title_fullStr | Using argument notation to engineer biological simulations with increased confidence |
| title_full_unstemmed | Using argument notation to engineer biological simulations with increased confidence |
| title_short | Using argument notation to engineer biological simulations with increased confidence |
| title_sort | using argument notation to engineer biological simulations with increased confidence |
| work_keys_str_mv | AT aldenk usingargumentnotationtoengineerbiologicalsimulationswithincreasedconfidence AT andrewsp usingargumentnotationtoengineerbiologicalsimulationswithincreasedconfidence AT polackf usingargumentnotationtoengineerbiologicalsimulationswithincreasedconfidence AT veigafernandesh usingargumentnotationtoengineerbiologicalsimulationswithincreasedconfidence AT colesm usingargumentnotationtoengineerbiologicalsimulationswithincreasedconfidence AT timmisj usingargumentnotationtoengineerbiologicalsimulationswithincreasedconfidence |