default

Namedefault
Author 
Version 
Prometheus version3.3b_internal
Report generation date2015-03-03



Brief Description of System






System Specification



Analysis Overview Diagram




Goal Overview Diagram




Scenarios




Scenario PACMAN Normal scenario

NamePACMAN Normal scenario
Description 
PriorityNot Specified
Actors 
Initiated bySystem
TriggerModo Vulnerable
Steps
#TypeNameRoleDescriptionData usedData produced
1PerceptNormal ActivadoPCMAN NormalModo Normal  
2PerceptVisionPCMAN NormalPercibimos en entorno  
3GoalEvitar FantasmaPCMAN NormalEvitar Fantasmas  
4GoalBuscar PildorasPCMAN NormalPACMAN Busca Pildoras  
5ActionMoversePCMAN NormalMovimiento del FantasmaLaberinto, Estado PACMANEstado PACMAN
6GoalComer PildoraPCMAN NormalPACMAN Come Pildora  
7ActionComerPCMAN NormalComemos PildorasLaberintoEstado PACMAN
Variation 



Scenario PACMAN Invulnerable scenario

NamePACMAN Invulnerable scenario
Description 
PriorityNot Specified
Actors 
Initiated bySystem
Trigger 
Steps
#TypeNameRoleDescriptionData usedData produced
1PerceptSuper Activado    
2PerceptVision    
3GoalBuscar Pildoras    
4GoalComer Pildora    
5GoalBuscar Fantasmas    
6ActionMoverse    
7GoalComer Fantasma    
8ActionComer    
Variation 



Scenario Fantasma Normal scenario

NameFantasma Normal scenario
Description 
PriorityNot Specified
Actors 
Initiated bySystem
Trigger 
Steps
#TypeNameRoleDescriptionData usedData produced
1PerceptNormal Activado    
2PerceptVision    
3GoalBuscar PACMAN Fantasma Busca a PACMAN  
4ActionMoverse Fantasma se mueve buscando a PACMAN  
5GoalComer PACMAN Fantasma se come a PACMAN  
6ActionComer Fantasma se come a PACMAN  
Variation 



Scenario Fantasma Asustado scenario

NameFantasma Asustado scenario
Description 
PriorityNot Specified
Actors 
Initiated bySystem
Trigger 
Steps
#TypeNameRoleDescriptionData usedData produced
1PerceptSuper ActivadoFNTM Asustado   
2PerceptVisionFNTM Asustado   
3GoalEvitar PACMANFNTM Asustado   
4ActionMoverseFNTM Asustado   
5GoalInformar FantasmasFNTM AsustadoInformar a otros fantasmas de la posicion de PACMAN  
Variation 



Scenario Normal scenario

NameNormal scenario
Description 
PriorityNot Specified
Actors 
Initiated bySystem
Trigger 
Steps
#TypeNameRoleDescriptionData usedData produced
1ScenarioPACMAN Normal scenario PACMAN Modo Normal  
2ScenarioFantasma Normal scenario Fantasma Modo Normal  
Variation 



Scenario Super scenario

NameSuper scenario
Description 
PriorityNot Specified
Actors 
Initiated bySystem
Trigger 
Steps
#TypeNameRoleDescriptionData usedData produced
1ScenarioFantasma Asustado scenario Fantasma modo super  
2ScenarioPACMAN Invulnerable scenario PACMAn Modo Super  
Variation 



System Roles Diagram






Architectural Design



Agent-role Grouping Diagram




System Overview Diagram




Protocols




Protocol Comunicar Fantasma






Agents Detailed Design



Agent PACMAN Agent

Capability PCMN Comer Pildoras

Plan Plan Buscar Pildoras

NamePlan Buscar Pildoras
Description 
TriggersVision
Context 
Incoming messages 
Outgoing messages 
Percepts 
ActionsMoverse
Used dataEstado PACMAN, Laberinto
Produced dataEstado PACMAN
Goal 
Failure 
Failure recovery 
ProcedureInformacion de la posicion de las pildoras visibles
Si hay visibles
moverse hacia ellas
Si no hay visibles consultar en el estado la zona donde todavia hay pildoras
Elegir el movimiento que lleva a esa parte del laberinto
Actualizar el estado
Hide/Unhide Notesdisplay

Plan Plan Comer Pildora

NamePlan Comer Pildora
Description 
TriggersVision
Context 
Incoming messages 
Outgoing messages 
Percepts 
ActionsComer
Used dataEstado PACMAN
Produced dataEstado PACMAN
GoalComer Pildora
Failure 
Failure recovery 
ProcedureDecidir si se ha de comer la pildora que esta viendo
Actualizar el numero de pildoras comidas
Hide/Unhide Notesdisplay

Capability PCMN Perseguir Fantasmas

Plan Plan Buscar Fantasmas

NamePlan Buscar Fantasmas
Description 
TriggersSuper Activado, Vision
Context 
Incoming messages 
Outgoing messages 
Percepts 
ActionsMoverse
Used dataLaberinto, Estado PACMAN
Produced dataEstado PACMAN
Goal 
Failure 
Failure recovery 
ProcedureSi un fantasma es visible
Moverse hacia el
Actualizar el estado
Hide/Unhide Notesdisplay

Plan Plan Comer Fantasma

NamePlan Comer Fantasma
Description 
TriggersVision, Super Activado
Context 
Incoming messages 
Outgoing messages 
Percepts 
ActionsComer
Used data 
Produced data 
Goal 
Failure 
Failure recovery 
Procedure 
Hide/Unhide Notesdisplay

Capability PCMN Evitar Fantasmas

Plan Plan Evitar Fantasmas

NamePlan Evitar Fantasmas
Description 
TriggersNormal Activado, Vision
Context 
Incoming messages 
Outgoing messages 
PerceptsComido
ActionsMoverse
Used dataLaberinto, Estado PACMAN
Produced dataEstado PACMAN
Goal 
Failure 
Failure recovery 
Procedure 
Hide/Unhide Notesdisplay



Agent FNTM Agent

Capability FNTM Cap perseguir

Plan Plan Buscar PACMAN

NamePlan Buscar PACMAN
Description 
TriggersNormal Activado, Vision
Context 
Incoming messages 
Outgoing messages 
Percepts 
ActionsMoverse
Used dataLaberinto, Estado Fantasma
Produced dataEstado Fantasma
Goal 
Failure 
Failure recovery 
Procedure 
Hide/Unhide Notesdisplay

Plan Plan Comer PACMAN

NamePlan Comer PACMAN
Description 
TriggersVision, Normal Activado
Context 
Incoming messages 
Outgoing messages 
Percepts 
ActionsComer
Used dataEstado Fantasma
Produced dataEstado Fantasma
Goal 
Failure 
Failure recovery 
Procedure 
Hide/Unhide Notesdisplay

Capability FNTM Cap huir

Plan Plan Huir de PACMAN

NamePlan Huir de PACMAN
Description 
TriggersVision, Super Activado
Context 
Incoming messages 
Outgoing messages 
PerceptsComido
ActionsMoverse
Used dataEstado Fantasma, Estado Fantasma, Laberinto
Produced dataEstado Fantasma, Estado Fantasma
GoalEvitar PACMAN
Failure 
Failure recovery 
Procedure 
Hide/Unhide Notesdisplay

Capability Comunicar Fantasmas

Plan Plan Informar Fantasmas

NamePlan Informar Fantasmas
Description 
TriggersVision
Context 
Incoming messages 
Outgoing messagesMensaje a Fantasma: FNTM Agent --> FNTM Agent, Mensaje a Fantasma: FNTM Agent --> FNTM Agent
Percepts 
Actions 
Used data 
Produced data 
Goal 
Failure 
Failure recovery 
Procedure 
Hide/Unhide Notesdisplay

Plan Plan Procesar Comunicacion

NamePlan Procesar Comunicacion
Description 
Triggers 
Context 
Incoming messagesMensaje a Fantasma: FNTM Agent --> FNTM Agent, Mensaje a Fantasma: FNTM Agent --> FNTM Agent
Outgoing messages 
Percepts 
Actions 
Used dataEstado Fantasma
Produced dataEstado Fantasma
Goal 
Failure 
Failure recovery 
Procedure 
Hide/Unhide Notesdisplay



Percepts




Percept Normal Activado

NameNormal Activado
Description 
Information carried 
Knowledge updated 
Source 
Processing 
Expected frequency 
Agents respondingPACMAN Agent, FNTM Agent
Hide/Unhide Notesdisplay
Protocols 
External to systemNo
External path 
PlansPlan Comer PACMAN, Plan Buscar PACMAN, Plan Evitar Fantasmas



Percept Super Activado

NameSuper Activado
Description 
Information carried 
Knowledge updated 
Source 
Processing 
Expected frequency 
Agents respondingPACMAN Agent, FNTM Agent
Hide/Unhide Notesdisplay
Protocols 
External to systemNo
External path 
PlansPlan Huir de PACMAN, Plan Buscar Fantasmas, Plan Comer Fantasma



Percept Vision

NameVision
DescriptionFantasma ve a PACMAN
Information carriedPosicion de PACMAN
Knowledge updated 
Source 
Processing 
Expected frequency 
Agents respondingPACMAN Agent, FNTM Agent
Hide/Unhide Notesdisplay
Protocols 
External to systemNo
External path 
PlansPlan Huir de PACMAN, Plan Comer PACMAN, Plan Buscar PACMAN, Plan Informar Fantasmas, Plan Buscar Pildoras, Plan Comer Pildora, Plan Buscar Fantasmas, Plan Evitar Fantasmas, Plan Comer Fantasma



Percept Comido

NameComido
DescriptionEl sistema informa que ha sido comido
Information carried 
Knowledge updated 
Source 
Processing 
Expected frequency 
Agents respondingPACMAN Agent, FNTM Agent
Hide/Unhide Notesdisplay
Protocols 
External to systemNo
External path 
Plans 



Actions




Action Moverse

NameMoverse
Description 
Parameters 
Duration 
Failure 
Partial change 
Side effects 
Agents performing 
Protocols 
Hide/Unhide Notesdisplay



Action Comer

NameComer
Description 
Parameters 
Duration 
Failure 
Partial change 
Side effects 
Agents performing 
Protocols 
Hide/Unhide Notesdisplay



Messages




Message Mensaje a Fantasma

NameMensaje a Fantasma
Description 
posted when condition 
DistributionFNTM Agent --> FNTM Agent, FNTM Agent --> FNTM Agent
Purpose 
Carried information 
Hide/Unhide Notesdisplay
External to systemNo
External Path 
Plans 



Data




Data Laberinto

NameLaberinto
Description 
Data typeMatriz
Included fields/aspects 
PersistentYes
External to systemNo
External path 
ConnectionsLaberinto read by {PCMN Evitar Fantasmas, PCMN Comer Pildoras, PCMN Perseguir Fantasmas}, Laberinto read by {FNTM Cap huir, FNTM Cap perseguir}, Laberinto read by {PACMAN Agent, FNTM Agent}
InitialisationLaberinto aleatorio
Produced by 
Used byPCMN Evitar Fantasmas, PCMN Comer Pildoras, PCMN Perseguir Fantasmas, FNTM Cap huir, FNTM Cap perseguir, PACMAN Agent, FNTM Agent
Used when 
Hide/Unhide Notesdisplay
Produced byPCMN Evitar Fantasmas, PCMN Comer Pildoras, PCMN Perseguir Fantasmas, FNTM Cap huir, FNTM Cap perseguir, PACMAN Agent, FNTM Agent
Used by 



Data Estado PACMAN

NameEstado PACMAN
Description 
Data typeMatriz
Included fields/aspects 
PersistentYes
External to systemNo
External path 
ConnectionsEstado PACMAN written by {PCMN Comer Pildoras, PCMN Evitar Fantasmas, PCMN Perseguir Fantasmas} read by {PCMN Comer Pildoras, PCMN Evitar Fantasmas, PCMN Perseguir Fantasmas}, Estado PACMAN written by {PACMAN Agent} read by {PACMAN Agent}
Initialisation 
Produced byPCMN Comer Pildoras, PCMN Evitar Fantasmas, PCMN Perseguir Fantasmas, PACMAN Agent
Used byPCMN Comer Pildoras, PCMN Evitar Fantasmas, PCMN Perseguir Fantasmas, PACMAN Agent
Used when 
Hide/Unhide Notesdisplay
Produced byPCMN Comer Pildoras, PCMN Evitar Fantasmas, PCMN Perseguir Fantasmas, PACMAN Agent
Used byPCMN Comer Pildoras, PCMN Evitar Fantasmas, PCMN Perseguir Fantasmas, PACMAN Agent



Data Estado Fantasma

NameEstado Fantasma
Description 
Data typeMatriz
Included fields/aspects 
PersistentYes
External to systemNo
External path 
ConnectionsEstado Fantasma written by {Plan Huir de PACMAN} read by {Plan Huir de PACMAN}, Estado Fantasma written by {FNTM Cap perseguir, FNTM Cap huir, Comunicar Fantasmas} read by {FNTM Cap perseguir, FNTM Cap huir, Comunicar Fantasmas}, Estado Fantasma written by {FNTM Agent} read by {FNTM Agent}
Initialisation 
Produced byFNTM Cap perseguir, FNTM Cap huir, Comunicar Fantasmas, FNTM Agent
Used byFNTM Cap perseguir, FNTM Cap huir, Comunicar Fantasmas, FNTM Agent
Used when 
Hide/Unhide Notesdisplay
Produced byFNTM Cap perseguir, FNTM Cap huir, Comunicar Fantasmas, FNTM Agent
Used byFNTM Cap perseguir, FNTM Cap huir, Comunicar Fantasmas, FNTM Agent



Actors




Actor Sistema

RoleSistema
DescriptionEntidad que genera el laberinto e inicializa el sistema
Scenarios 
Protocols 
Percepts 
Actions 
Hide/Unhide Notesdisplay



Dictionary

Listed by name:

Buscar FantasmasGoal
Buscar FantasmasGoal
Buscar PACMANGoal
Buscar PACMANGoal
Buscar PildorasGoal
Buscar PildorasGoal
ComerAction
ComerAction
Comer FantasmaGoal
Comer FantasmaGoal
Comer PACMANGoal
Comer PACMANGoal
Comer PildoraGoal
Comer PildoraGoal
Comer PildorasGoal
Comer PildorasGoal
ComidoPercept
ComidoPercept
Comunicar FantasmaProtocol
Comunicar FantasmaProtocol
Comunicar FantasmasCapability
Comunicar FantasmasCapability
Estado FantasmaData
Estado FantasmaData
Estado PACMANData
Estado PACMANData
Evitar FantasmaGoal
Evitar FantasmaGoal
Evitar PACMANGoal
Evitar PACMANGoal
Fantasma AsustadoGoal
Fantasma AsustadoGoal
Fantasma Asustado scenarioScenario
Fantasma Asustado scenarioScenario
Fantasma NormalGoal
Fantasma NormalGoal
Fantasma Normal scenarioScenario
Fantasma Normal scenarioScenario
FNTM AgentAgent
FNTM AgentAgent
FNTM AsustadoRole
FNTM AsustadoRole
FNTM Cap huirCapability
FNTM Cap huirCapability
FNTM Cap perseguirCapability
FNTM Cap perseguirCapability
FNTM NormalRole
FNTM NormalRole
Informar FantasmasGoal
Informar FantasmasGoal
LaberintoData
LaberintoData
Mensaje a FantasmaMessage
Mensaje a FantasmaMessage
MoverseAction
MoverseAction
NormalGoal
NormalGoal
Normal ActivadoPercept
Normal ActivadoPercept
Normal scenarioScenario
Normal scenarioScenario
PACMAN AgentAgent
PACMAN AgentAgent
PACMAN InvulnerableGoal
PACMAN InvulnerableGoal
PACMAN Invulnerable scenarioScenario
PACMAN Invulnerable scenarioScenario
PACMAN NormalGoal
PACMAN NormalGoal
PACMAN Normal scenarioScenario
PACMAN Normal scenarioScenario
PACMAN SuperRole
PACMAN SuperRole
PCMAN NormalRole
PCMAN NormalRole
PCMN Comer PildorasCapability
PCMN Comer PildorasCapability
PCMN Evitar FantasmasCapability
PCMN Evitar FantasmasCapability
PCMN Perseguir FantasmasCapability
PCMN Perseguir FantasmasCapability
Perseguir FantasmasGoal
Perseguir FantasmasGoal
Perseguir PACMANGoal
Perseguir PACMANGoal
Plan Buscar FantasmasPlan
Plan Buscar FantasmasPlan
Plan Buscar PACMANPlan
Plan Buscar PACMANPlan
Plan Buscar PildorasPlan
Plan Buscar PildorasPlan
Plan Comer FantasmaPlan
Plan Comer FantasmaPlan
Plan Comer PACMANPlan
Plan Comer PACMANPlan
Plan Comer PildoraPlan
Plan Comer PildoraPlan
Plan Evitar FantasmasPlan
Plan Evitar FantasmasPlan
Plan Huir de PACMANPlan
Plan Huir de PACMANPlan
Plan Informar FantasmasPlan
Plan Informar FantasmasPlan
Plan Procesar ComunicacionPlan
Plan Procesar ComunicacionPlan
SistemaActor
SistemaActor
SuperGoal
SuperGoal
Super ActivadoPercept
Super ActivadoPercept
Super scenarioScenario
Super scenarioScenario
VisionPercept
VisionPercept

Listed by type:

ActionComer
ActionComer
ActionMoverse
ActionMoverse
ActorSistema
ActorSistema
AgentFNTM Agent
AgentFNTM Agent
AgentPACMAN Agent
AgentPACMAN Agent
CapabilityComunicar Fantasmas
CapabilityComunicar Fantasmas
CapabilityFNTM Cap huir
CapabilityFNTM Cap huir
CapabilityFNTM Cap perseguir
CapabilityFNTM Cap perseguir
CapabilityPCMN Comer Pildoras
CapabilityPCMN Comer Pildoras
CapabilityPCMN Evitar Fantasmas
CapabilityPCMN Evitar Fantasmas
CapabilityPCMN Perseguir Fantasmas
CapabilityPCMN Perseguir Fantasmas
DataEstado Fantasma
DataEstado Fantasma
DataEstado PACMAN
DataEstado PACMAN
DataLaberinto
DataLaberinto
GoalBuscar Fantasmas
GoalBuscar Fantasmas
GoalBuscar PACMAN
GoalBuscar PACMAN
GoalBuscar Pildoras
GoalBuscar Pildoras
GoalComer Fantasma
GoalComer Fantasma
GoalComer PACMAN
GoalComer PACMAN
GoalComer Pildora
GoalComer Pildora
GoalComer Pildoras
GoalComer Pildoras
GoalEvitar Fantasma
GoalEvitar Fantasma
GoalEvitar PACMAN
GoalEvitar PACMAN
GoalFantasma Asustado
GoalFantasma Asustado
GoalFantasma Normal
GoalFantasma Normal
GoalInformar Fantasmas
GoalInformar Fantasmas
GoalNormal
GoalNormal
GoalPACMAN Invulnerable
GoalPACMAN Invulnerable
GoalPACMAN Normal
GoalPACMAN Normal
GoalPerseguir Fantasmas
GoalPerseguir Fantasmas
GoalPerseguir PACMAN
GoalPerseguir PACMAN
GoalSuper
GoalSuper
MessageMensaje a Fantasma
MessageMensaje a Fantasma
PerceptComido
PerceptComido
PerceptNormal Activado
PerceptNormal Activado
PerceptSuper Activado
PerceptSuper Activado
PerceptVision
PerceptVision
PlanPlan Buscar Fantasmas
PlanPlan Buscar Fantasmas
PlanPlan Buscar PACMAN
PlanPlan Buscar PACMAN
PlanPlan Buscar Pildoras
PlanPlan Buscar Pildoras
PlanPlan Comer Fantasma
PlanPlan Comer Fantasma
PlanPlan Comer PACMAN
PlanPlan Comer PACMAN
PlanPlan Comer Pildora
PlanPlan Comer Pildora
PlanPlan Evitar Fantasmas
PlanPlan Evitar Fantasmas
PlanPlan Huir de PACMAN
PlanPlan Huir de PACMAN
PlanPlan Informar Fantasmas
PlanPlan Informar Fantasmas
PlanPlan Procesar Comunicacion
PlanPlan Procesar Comunicacion
ProtocolComunicar Fantasma
ProtocolComunicar Fantasma
RoleFNTM Asustado
RoleFNTM Asustado
RoleFNTM Normal
RoleFNTM Normal
RolePACMAN Super
RolePACMAN Super
RolePCMAN Normal
RolePCMAN Normal
ScenarioFantasma Asustado scenario
ScenarioFantasma Asustado scenario
ScenarioFantasma Normal scenario
ScenarioFantasma Normal scenario
ScenarioNormal scenario
ScenarioNormal scenario
ScenarioPACMAN Invulnerable scenario
ScenarioPACMAN Invulnerable scenario
ScenarioPACMAN Normal scenario
ScenarioPACMAN Normal scenario
ScenarioSuper scenario
ScenarioSuper scenario

Crosscheck

Warnings:

  1. The agent "PACMAN Agent" does not interact with other agents
  2. The data "Laberinto" is never written
  3. The goal "PACMAN Normal" is not used within an agent.
  4. The goal "PACMAN Invulnerable" is not used within an agent.
  5. The goal "Fantasma Normal" is not used within an agent.
  6. The goal "Fantasma Asustado" is not used within an agent.
  7. The goal "Comer Pildoras" is not used within an agent.
  8. The goal "Perseguir PACMAN" is not used within an agent.
  9. The goal "Perseguir Fantasmas" is not used within an agent.
  10. The goal "Normal" is not used within an agent.
  11. The goal "Super" is not used within an agent.

Errors: