The sound multi-agent design to keep a system engineering perspective while analyzing a problem and synthesizing a solution using the grey-box modeling approach was discussed. When specifying a transition system semantics for an agent, a number of rules were given that described in a declarative way the dynamics of its inner machinery, also providing insights of its internal architecture expressed at a given level of abstraction. The formalism was fit for design due to its calculus-like nature, which combined the description of the system with the prescription of its possible evolutions. A specification for Parma Agent Development Environment (ParADE), a development framework, was also elaborated.
Operational Semantics for Agents: The Grey-Box Modeling Approach / Bergenti, Federico; Rimassa, Giovanni; Viroli, Mirko. - STAMPA. - (2003), pp. 934-935. (Intervento presentato al convegno INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS)) [10.1145/860575.860732].
Operational Semantics for Agents: The Grey-Box Modeling Approach
BERGENTI Federico;RIMASSA Giovanni;
2003-01-01
Abstract
The sound multi-agent design to keep a system engineering perspective while analyzing a problem and synthesizing a solution using the grey-box modeling approach was discussed. When specifying a transition system semantics for an agent, a number of rules were given that described in a declarative way the dynamics of its inner machinery, also providing insights of its internal architecture expressed at a given level of abstraction. The formalism was fit for design due to its calculus-like nature, which combined the description of the system with the prescription of its possible evolutions. A specification for Parma Agent Development Environment (ParADE), a development framework, was also elaborated.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
