SBGN support in BIOCHAM

BIOCHAM - BioChemical Abstract Machine is an environment for modeling biological systems and formalizing experimental knowledge. Mainly, it is composed of:* a rule-based language for modeling biochemical systems (compatible with SBML)* several simulators (boolean, differential, stochastic)* a temporal logic based language to formalize the temporal properties of a biological system and validate models with respect to such specifications,* unique features for developing/correcting/completing/reducing/coupling models, including the inference of kinetic parameters in high dimension from temporal logic constraints.BIOCHAM is presented with a user friendly graphical interface, that is easy to use and gives the user richer experience throughout his work. The current release of its graphical user interface has a SBGN compliant Reaction Graph Editor for drawing and editing biochemical networks. It also offers export features to SBML and other formats.It is implemented by the CONTRAINTES team in INRIA ( National Institute for Research in Computer Science and Control), in Paris - Rocquencourt, France.