One difficulty that mathematicians and immunologists have is in communicating concepts and experimental data in a way that both disciplines can understand. The Formal Language we have developed allows immunologists to write down what they know about a system using a simple syntax. This can be interpreted by our computer programs and be converted automatically to agent-based Stochastic Logical Network models.  

Model development in our approach requires writing a set of statements/hypotheses using our formal language; it does not require code development.  

Our Formal Language allows to deal with objects with arbitrary hierarchy, thus enabling the representation of organs and cells in a very simple way. It allows the representation of the dynamics of the system in terms of basic interactions (reactions). Using this language we construct master models which consist of a set of statements for objects as well as reactions.