Modeling of Agent Interaction Protocols Based on AUML and CPN
Yao Li · Computer Engineering and Science · 2006
This paper proposes a modeling and verification method for Agent interaction protocols based on AUML and CPN. The main idea of this method is to firstly describe the interaction protocols using AUML specifications, and then provide a basis to create an interaction protocol in the CPN form.Also, CPN-related tools can be adopted to verify the interaction protocols.