A rule-based language for modeling protein interaction networks
Jean Krivine teaching page provides matierial to start with KaSim.
Maybe the most valuable place to see how to compile KaSim is our continious integration script.
Installing the packages listed in the apt section allows you to go from a fresh ubuntu installation to somewhere where KaSim compiles. The build section shows that make should be enough to get the binaries when the dependencies are there.
To install, just download the highlighter .xml file, then go to Notepad++'s Language Menu -> DefineYourLanguage -> Import, and select the file you just downloaded.
In any case, you will need Graphviz or any graph vizualizator that understands the dot format to draw generated graphs.
A google group of Kappa users is there to handle communication between us.
Please report any issue.
You could use KaSim as an OCaml library. The detail of the API is online.
KaSim can be turned into a REST service. Here is a description of the HTTP commands.
Kappa, RuleStudio, and RuleBase (formerly Cellucidate.com) were developed at Plectix BioSystems and purchased by Harvard Medical School in the spring of 2010 for use by the academic community.