The SPARK Agent Framework
JAM: a BDI-theoretic mobile agent architecture