Ingenias Manual

INGENIAS Development Kit (IDK)
Manual

Facultad de Informática
Universidad Complutense de Madrid
C/ Juan del Rosal 8
28040 Madrid
España
http://grasia.fdi.ucm.es

IDK MANUAL
SUMMARY
THIS DOCUMENT PRESENTS THE INGENIAS DEVELOPMENT KIT (IDK), A SET OF TOOLS
FOR THE SPECIFICATION, VERIFICATION, AND IMPLEMENTATION OF MULTI-AGENT SYSTEMS.
IT IS ORIENTED TO RESEARCHERS LOOKING FOR ANAGENT-ORIENTED SPECIFICATION TOOL
AND DEVELOPERS WANTING TO FOLLOW AN AGENT-ORIENTED PROCESS (SUCH AS THE
INGENIAS METHODOLOGY).
AS

IT IS DISTRIBUTED, THE

IDK

EDITOR, MULTI-AGENT SYSTEMS.

CAN BE DIRECTLY USED TO SPECIFY, USING A GRAPHICAL

ITS

FUNCTIONALITY CAN BE EXTENDED WITH MODULES

THAT PERFORM AUTOMATIC CODE GENERATION AND VERIFICATION OF THE SPECIFICATIONS.

SOME

OFTHESE MODULES ARE PROVIDED WITH THE

IDK

DISTRIBUTION, BUT THE

(E.G., FOR
IDK). THIS FEATURE
IS SUPPORTED BY FACILITIES TO ACCESS THE IDK FRAMEWORK (AN API FOR
PROGRAMMING MODULES AND MODULE GENERATION TOOLS), WHICH ARE BASED ON A
META-MODEL SPECIFICATION OF MAS, AS DEFINED IN THE INGENIAS PROJECT.
DEVELOPER CAN ALSO CREATE NEW MODULES FOR A PARTICULAR APPLICATION
OTHER AGENTPLATFORMS THAN THOSE CURRENTLY SUPPORTED BY

PROJECT: INGENIAS
VERSION: 1.4
DATE: 30/4/2008
AUTHORS: Jorge J. Gómez Sanz and Juan Pavón

INDEX
INDEX..............................................................................................................................................................ii
1.INTRODUCTION.........................................................................................................................................1
1.1. Scope and Use........................................................................................................................................1
1.2. Credits....................................................................................................................................................1
1.3. Guide toread the document.................................................................................................................1
2. Getting started with the IDK.........................................................................................................................3
2.1. Installing theIDK..................................................................................................................................3
3. The graphical editor......................................................................................................................................4
3.1. Parts of the editor and related operations...........................................................................................4
3.1.1 Projectview.......................................................................................................................................5
3.1.2 Entities view......................................................................................................................................6
3.1.3 Diagrameditor...................................................................................................................................7
3.1.4 Logs & Module output. ..................................................................................................................12
3.1.5 Main menu.......................................................................................................................................12
4. AutomaticBackups.....................................................................................................................................15
5. Working with the editor..............................................................................................................................16
6. Modules.......................................................................................................................................................19
6.1. Use...