EN FR
EN FR




Bilateral Contracts and Grants with Industry
Bibliography




Bilateral Contracts and Grants with Industry
Bibliography


Section: Software

The OpenKappa modeling plateform

Participants : Monte Brown [Harvard Medical School] , Vincent Danos [University of Edinburgh] , Jérôme Feret [Correspondent] , Walter Fontana [Harvard Medical School] , Russ Harmer [Paris VII] , Jean Krivine [Paris VII] .

Causal traces, Model reduction, Rule-based modelling, Simulation, Static analysis.

OpenKappa is a collection of tools to build, debug and run models of biological pathways. It contains a compiler for the Kappa Language [52] , a static analyzer [51] (for debugging models), a simulator [50] , a compression tool for causal traces [49] ,[20] , and a model reduction tool [4] , [48] , [53] .

OpenKappa is developed since 2007 and, the OCaml version currently consists of 46 000 lines of OCaml. Software are available in OCaml and in Java. Moreover, an Eclipse pluggin is available.

OpenKappa is freely available on the web at http://kappalanguage.org under the LGPL license. Discussion groups are also available on line.

Current external users include the ETH Zürich, the UNAM-Genomics Mexico team. It is used as pedagocical material in graduate lessons at Harvard Medical School, and at the Interdisciplinary Approaches to Life science (AIV) Master Program (Université de Médecine Paris-Descartes).