In diesem Beitrag wird ein Software-Werkzeug vorgestellt, das es ermöglicht, mathematische Modelle für biologische Reaktionssysteme weitgehend automatisch und in effizienter Weise zu erstellen oder zu verifizieren. Das Werkzeug basiert auf einer Kombination von statistischen, regelbasierten und qualitativen Methoden, mit denen wesentliche Informationen bezüglich möglicher Modellstrukturen gewonnen und postulierte Modellansätze systematisch überprüft werden können. Automatisierte quantitative Verfahren werden dann nur auf eine kleine Untermenge qualitativ korrekter Modelle angewandt, um letztendlich ein Modell vorzuschlagen.
This paper presents a software-tool which makes it possible to generate or to verify mathematical models for biological reaction systems automatically in an efficient manner. The tool is based on a combination of statistical, rule-based and qualitative methods to obtain information concerning possible model structures and for testing postulated model candidates, systematically. Only those models are finally dealt with quantitatively, which have passed the qualitative check.
© Oldenbourg Wissenschaftsverlag