INblobs
An editor and interpreter for Interaction Nets
INblobs is an editor and interpreter for Interaction Nets.
It's built on top of the front-end Blobs from Arjan van IJzendoorn, Martijn Schrage and Malcolm Wallace.
INblobs is being developed by Miguel Vila�a (jmvilaca@di.uminho.pt) at University of Minho.
Download
Necessary Tools
Pre-compiled versions
Bugs
To Do list
How to use INblobs
Installation from sources
To use INblobs you must make a copy of the darcs repository.
darcs get http://haskell.di.uminho.pt/jmvilaca/INblobs
or copy the latest tarball INblobs.tar.gz.
The repository is browsable here through darcsweb
INblobs uses the following tools and/or libraries:
In here you can avoid to install the necessary tools/libraries.
See if there is a pre-compiled version for your platform.
Windows XP and Vista
- Simply download INblobs for Windows;
- extract from file (the archive already has a containing folder);
- run the executable inside the folder;
- experiment INblobs.
Note: When you run the executable, if you see the error message The applicattion failed to initialize properly (0xc0150002). Click OK to terminate the application. then you need to install the
Microsoft Visual C++ 2005 SP1 Redistributable Package.
Mac Os X
Build and tested in version 10.4 (PowerPC).
Had been also successfully tested in Mac Os X 10.4 (Intel).
- Install GHC 6.4 (ensure that is 6.4 and not 6.4.X) (download here)
- Install wxHaskell for Mac (download here)
- Download INblobs for Mac Os X 10.4 and run INblobs.app.
Try the examples that are in the .dmg file.
Linux
Works from sources.
If you find a bug please report it to jmvilaca@di.uminho.pt with subject INblobs bug.
- When reducing, the application shows the rule used, but doesn't actualize the selection in the rules tree.
- Geometric problems: sometimes, some buttons disappear and the user needs to resize windows or move splitters to fix that.
- implement archetype like in the paper of LOPSTR05
- automatic alignment of nodes
- better graphical creator of new symbols; allowing new shapes and full point-and-click creation
- generation of a printed version of the full IN system.
- IN system generalization that do not need explicit &epsilon and &delta agents
- user defined rule templates
- hierarchical rules
- multiple nets for the same system