Skip to main content

Table 2 Formal approaches for functional aspects of bio-models

From: Function of dynamic models in systems biology: linking structure to behaviour

Functional aspect

Checklists

Languages

Ontologies

Teleological function

 Intrinsic:

Intended use

MIASE

SED-ML

MINTENTO

 Extrinsic:

Model use intention

Unknown

Unknown

MINTENTO

Conditional function

 Intrinsic:

Model instantiation

MIASE

SED-ML

Not applicable

 Extrinsic:

Boundary conditions

MIBBI

SABIO-RK*

XCO

Pragmatical function

 Intrinsic:

Setup

MIASE

SED-ML

KiSAO

 Extrinsic:

Experimental settings

MIBBI

FuGE

MMO

  1. *The database scheme of SABIO-RK could be seen as a formal language for experimental conditions.