abstract
Verranno discusse due delle tecniche di modellazione delle interazioni in contesti agent oriented che hanno dimostrato particolare efficacia: Agent UML, l'estensione del ben noto linguaggio UML, già usato estensivamente in ambienti object oriented e le MIP-nets, acronimo di Multiagent Interaction Protocol Nets. Inoltre saranno presentate tecniche di trasposizione di modelli scritti in AUML in strutture MIP-net al fine sia di specificare il comportamento di sistemi multi-agente, sia di verificarne la correttezza.
outcomes
