AUML Protocols: From Specification to Detailed Design
Abstract
In this work, we show how AUML protocol specifications in the Prometheus methodology can be automatically propagated to the detailed design of the methodology by creating appropriate artefacts. The approach is general to all design methodologies that follow the BDI model of agents.
