开发者 mozart.csai.unipa.it/PASSI

PTK 工具是 Rational Rose 插件，它为 PASSI（代理协会规范和实施流程）提供了一种逐步要求代码的方法，用于设计和开发多代理社会。