Abstract
This paper presents the key aspects of a proposed formalization of JADE agents and multi-agent systems based on transition systems. Such a formalization is meant to be useful to describe and clarify how JADE multi-agent systems work and to provide a theoretical instrument to validate and analyze the semantics of JADE agents. This is needed to decouple agent-oriented and object-oriented parts of an agent design and to avoid misunderstandings on the semantics of JADE agents. The chosen approach is to define a structural operational semantics for Java programs written using JADE, and the proposed formalization consists in two parts: the first identifies and defines the main entities that together compose a JADE multi-agent system; the second provides the transition system and rewriting rules. The paper terminates with two explanatory examples of the usage of the transition system. A brief recapitulation of the work concludes the paper.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
