Agent-Oriented Software Engineering IV