russharmer
commented
8 years ago A revised, more general, version of MetaKappa will be developed in the next few months with an intern here in Lyon. It is essentially the part of KAMI that, to date, has been considered as 'just' an internal representation -- the so-called Logical Contact Graph -- with additional support for generic rules that allow us to define families of agents/rules, etc. The idea for the internship is to build the back-end, perhaps with an 'expert' text input/output mode, and to wait for my trip to Boston in July to discuss whether or not -- and if so, how -- to integrate this with the IDE currently under development.
Cheers, russ
Some years back, @russharmer developed a framework (or the proposal for one) that would allow one to modify a kappa program according to some rules of agent transformation. At the time, it was called "meta-kappa". Crucially, it would alter also the ruleset. For example, if the agent transformation called for site duplication, then all rules concerned with the old site would generate a modified copy for the new site. This tool could also be used for renaming sites and/or agents painlessly (when some agents share name with sites, the regexp has to include a lot of parenthesis and dots to distinguish agents from sites).
It would be useful for the Kappa IDE / Javascript simulator to incorporate such advanced kappa-centric refactoring tools.