Gallery

	Working on an agent model. In this model, an agent plays a role of captain and pursues several goals.
	Editing the properties of a relationship. A task can satisfy a goal provided that it takes the mental state of the agent to a concrete configuration, the satisfaction condition. The properties window links satisfaction conditions of a goal to another diagram.
	Clicking in a diagram makes a pop-up menu appear. This menu shows what elements you can add. This list has the same elements in the same order as the icons in the toolbar. So you can add elements to a diagram by pressing an icon in the toolbar or selecting an entry in the popup
	On right-click on a diagram element, the pop-up menu offers a help option. This option creates a help window that explains the purpose of the entity and hints about when to use it.
	There is also a general help window that opens from the main menu, in the help option. This window shows you several howtos for general tasks in INGENIAS IDE. There is also a reference manual for all possible entities in the tool.
	An interaction can be specified with different notations. In the picture, the interaction is associated with an UML collaboration diagram, a GRASIA interaction diagram, and a AUML-like protocol diagram
	Two agents interchange messages and then engage into a subprotocol which is specified elsewhere
	In AUML, the protocol can lead to situations in which an agent has to choose among different possible messages to be sent. This is known as alternatives