Documentacion: MoveEmail_TasksAndGoals

Descripcion: Complete description of the tasks, interactions, facts and events involved in the workflow MoveEmail. The workfow goal is to move a classified e-mail to its appropriate folder.

The workflow is specified without and with the FIPA-Request protocol. In the first diagram the possible communications in the workflow relies in its specific tasks. In the second diagram the communication is explicitly carried out by the tasks in the FIPA-Request protocol. The following descriptions do not consider communication matters.

The workflow begins with a classified e-mail to be moved represented by the EmailCategory fact. It has its origin in the ClassifyEmail workflow. This fact is consumed by RequestMoveEmail which organizes the suitable request. The task directs its asking to MoveEmail, which manages the movement. It uses EmailWrapper resource. If the e-mail can be moved, the task generates an EmailClassifed fact with the e-mail and its category. If it cannot be done, it generates an EmailNotMoved fact. This fact implies that the system could not moved the e-mail. After the previous process, the MoveEmailManager has a response to the e-mail move request. The e-mail movement (EmailClassified fact) or the resulting error (EmailNotMoved fact) are communicated to the requester thanks to the combined action of EmailMoverManager_InitResponse and EmailMoverRequester_ProcessResponse. This last task generates the output (EmailNotMoved and EmailClassified facts) that will be used by another workflows.


Instancias de entidades de meta-modelo

EntidadEntidad del meta-modeloDocumentacion
EmailWrapper 
AplicacionInterna  Wrapper for a mailing tool.
It has operations to get the mail folders and the mails in them and to move mails between folders. It also has an event which notifies there is new email. 
FIPA-Request 
FlujoDeTrabajo  FIPA-Request protocol. 
EmailCategory 
Hecho  Email classified and its category. The category has information about the movement target folder. 
EmailClassified 
Hecho  Email moved. It has a default status OK. 
EmailNotMoved 
Hecho  Email that could not be moved to its corresponding folder and the reason of it. 
FIPA-Request_failure 
Hecho   
FIPA-Request_failure_Origin 
Hecho   
FIPA-Request_inform-done 
Hecho   
FIPA-Request_inform-done_Origin 
Hecho   
FIPA-Request_request 
Hecho   
FIPA-Request_request_Origin 
Hecho   
MoveEmail 
Interaccion  Describes the interaction to move a classified email to its corresponding folder. 
Interaction Note 
Nota  This fact includes the data of the EmailCategory fact. 
Note 
Nota  The MoveEmail workflow is specified in two different ways. The first diagram corresponds to the specification without protocols while the second one corresponds to that using a predefined FIPA-Request protocol. 
EmailMoverManager_InitResponse 
Tarea  Makes the sending of the move e-mail response. 
EmailMoverRequester_ProcessResponse 
Tarea  Makes the processing of the move e-mail response to the request. 
MoveEmail 
Tarea  Move a given e-mail to the folder related to its category. 
RequestMoveEmail 
Tarea  Request an e-mail movement. 


EmailWrapper (AplicacionInterna)

Properties:
IDEmailWrapper 
DescripcionWrapper for a mailing tool.
It has operations to get the mail folders and the mails in them and to move mails between folders. It also has an event which notifies there is new email. 
OperacionesgetMailFolders getEmailsInFolder moveEmailToFolder newEmailReceived  

Relaciones:
En el rolEn la relacion Otros extremos
WFUsaDR WFUsa 
Con los objetosEn el rol
MoveEmail  WFUsaOR
 


FIPA-Request (FlujoDeTrabajo)

Properties:
IDFIPA-Request 
DescripcionFIPA-Request protocol. 

Relaciones:
En el rolEn la relacion Otros extremos
WFConsumeOR WFConsume 
Con los objetosEn el rol
FIPA-Request_request_Origin  WFConsumeDR
WFConsumeOR WFConsume 
Con los objetosEn el rol
FIPA-Request_failure_Origin  WFConsumeDR
WFConsumeOR WFConsume 
Con los objetosEn el rol
FIPA-Request_inform-done_Origin  WFConsumeDR
WFProduceOR WFProduce 
Con los objetosEn el rol
FIPA-Request_request  WFProduceDR
WFProduceOR WFProduce 
Con los objetosEn el rol
FIPA-Request_failure  WFProduceDR
WFProduceOR WFProduce 
Con los objetosEn el rol
FIPA-Request_inform-done  WFProduceDR
 


EmailCategory (Hecho)

Properties:
NombreEmailCategory 
DescripcionEmail classified and its category. The category has information about the movement target folder. 
SlotsNombre slot:user
Descripcion slot:Document owner.

Nombre slot:folder
Descripcion slot:Folder or address in which the document is.

Nombre slot:mailID
Descripcion slot:Unique Mail ID in the system. It is a Document ID.

Nombre slot:mail
Descripcion slot:The whole mail to be processed. It is a document.

Nombre slot:category
Descripcion slot:Category assigned to the document.

 

Relaciones:
En el rolEn la relacion Otros extremos
WFConsumeDR WFConsume 
Con los objetosEn el rol
MoveEmail  WFConsumeOR
WFConsumeDR WFConsume 
Con los objetosEn el rol
RequestMoveEmail  WFConsumeOR
WFConsumeDR WFConsume 
Con los objetosEn el rol
RequestMoveEmail  WFConsumeOR
WFProduceDR WFProduce 
Con los objetosEn el rol
RequestMoveEmail  WFProduceOR
 


EmailClassified (Hecho)

Properties:
NombreEmailClassified 
DescripcionEmail moved. It has a default status OK. 
SlotsNombre slot:user
Descripcion slot:Document owner.

Nombre slot:folder
Descripcion slot:Folder or address in which the document is.

Nombre slot:mailID
Descripcion slot:Unique Mail ID in the system. It is a Document ID.

Nombre slot:category
Descripcion slot:Category assigned to the document.

 

Relaciones:
En el rolEn la relacion Otros extremos
WFConsumeDR WFConsume 
Con los objetosEn el rol
EmailMoverManager_InitResponse  WFConsumeOR
WFConsumeDR WFConsume 
Con los objetosEn el rol
EmailMoverManager_InitResponse  WFConsumeOR
WFProduceDR WFProduce 
Con los objetosEn el rol
MoveEmail  WFProduceOR
WFProduceDR WFProduce 
Con los objetosEn el rol
MoveEmail  WFProduceOR
WFProduceDR WFProduce 
Con los objetosEn el rol
EmailMoverRequester_ProcessResponse  WFProduceOR
WFProduceDR WFProduce 
Con los objetosEn el rol
EmailMoverRequester_ProcessResponse  WFProduceOR
 


EmailNotMoved (Hecho)

Properties:
NombreEmailNotMoved 
DescripcionEmail that could not be moved to its corresponding folder and the reason of it. 
SlotsNombre slot:user
Descripcion slot:Document owner.

Nombre slot:folder
Descripcion slot:Folder or address in which the document is.

Nombre slot:mailID
Descripcion slot:Unique Mail ID in the system. It is a Document ID.

Nombre slot:category
Descripcion slot:Category assigned to the document.

Nombre slot:status
Descripcion slot:Action status. It can be a Classification status, an Agent Status or a Category Status. Classification Status shows the reason of the no document obtaining, classification or movement. Agent Status shows the reason of the no agent adding, removing or listing. Category Status shows the reason of the fail in an operation requested by the user over the categories or its documents.

 

Relaciones:
En el rolEn la relacion Otros extremos
WFConsumeDR WFConsume 
Con los objetosEn el rol
EmailMoverManager_InitResponse  WFConsumeOR
WFConsumeDR WFConsume 
Con los objetosEn el rol
EmailMoverManager_InitResponse  WFConsumeOR
WFProduceDR WFProduce 
Con los objetosEn el rol
MoveEmail  WFProduceOR
WFProduceDR WFProduce 
Con los objetosEn el rol
MoveEmail  WFProduceOR
WFProduceDR WFProduce 
Con los objetosEn el rol
EmailMoverRequester_ProcessResponse  WFProduceOR
WFProduceDR WFProduce 
Con los objetosEn el rol
EmailMoverRequester_ProcessResponse  WFProduceOR
 


FIPA-Request_failure (Hecho)

Properties:
NombreFIPA-Request_failure 
Descripcion 
Slots 

Relaciones:
En el rolEn la relacion Otros extremos
WFConsumeDR WFConsume 
Con los objetosEn el rol
EmailMoverRequester_ProcessResponse  WFConsumeOR
WFProduceDR WFProduce 
Con los objetosEn el rol
FIPA-Request  WFProduceOR
 


FIPA-Request_failure_Origin (Hecho)

Properties:
NombreFIPA-Request_failure_Origin 
Descripcion 
Slots 

Relaciones:
En el rolEn la relacion Otros extremos
WFConsumeDR WFConsume 
Con los objetosEn el rol
FIPA-Request  WFConsumeOR
WFProduceDR WFProduce 
Con los objetosEn el rol
EmailMoverManager_InitResponse  WFProduceOR
 


FIPA-Request_inform-done (Hecho)

Properties:
NombreFIPA-Request_inform-done 
Descripcion 
Slots 

Relaciones:
En el rolEn la relacion Otros extremos
WFConsumeDR WFConsume 
Con los objetosEn el rol
EmailMoverRequester_ProcessResponse  WFConsumeOR
WFProduceDR WFProduce 
Con los objetosEn el rol
FIPA-Request  WFProduceOR
 


FIPA-Request_inform-done_Origin (Hecho)

Properties:
NombreFIPA-Request_inform-done_Origin 
Descripcion 
Slots 

Relaciones:
En el rolEn la relacion Otros extremos
WFConsumeDR WFConsume 
Con los objetosEn el rol
FIPA-Request  WFConsumeOR
WFProduceDR WFProduce 
Con los objetosEn el rol
EmailMoverManager_InitResponse  WFProduceOR
 


FIPA-Request_request (Hecho)

Properties:
NombreFIPA-Request_request 
Descripcion 
Slots 

Relaciones:
En el rolEn la relacion Otros extremos
NComentaDR NComenta 
Con los objetosEn el rol
Interaction Note  NComentaOR
WFConsumeDR WFConsume 
Con los objetosEn el rol
MoveEmail  WFConsumeOR
WFProduceDR WFProduce 
Con los objetosEn el rol
FIPA-Request  WFProduceOR
 


FIPA-Request_request_Origin (Hecho)

Properties:
NombreFIPA-Request_request_Origin 
Descripcion 
Slots 

Relaciones:
En el rolEn la relacion Otros extremos
WFConsumeDR WFConsume 
Con los objetosEn el rol
FIPA-Request  WFConsumeOR
WFProduceDR WFProduce 
Con los objetosEn el rol
RequestMoveEmail  WFProduceOR
 


MoveEmail (Interaccion)

Properties:
EtiquetaMoveEmail 
DescripcionDescribes the interaction to move a classified email to its corresponding folder. 
Naturaleza_Interaccioncooperacion 

Relaciones:
En el rolEn la relacion Otros extremos
WFProduceDR WFProduce 
Con los objetosEn el rol
RequestMoveEmail  WFProduceOR
 


Interaction Note (Nota)

Properties:
IDInteraction Note 
DescripcionThis fact includes the data of the EmailCategory fact. 

Relaciones:
En el rolEn la relacion Otros extremos
NComentaOR NComenta 
Con los objetosEn el rol
FIPA-Request_request  NComentaDR
 


Note (Nota)

Properties:
IDNote 
DescripcionThe MoveEmail workflow is specified in two different ways. The first diagram corresponds to the specification without protocols while the second one corresponds to that using a predefined FIPA-Request protocol. 

Relaciones:


EmailMoverManager_InitResponse (Tarea)

Properties:
IDEmailMoverManager_InitResponse 
DescripcionMakes the sending of the move e-mail response. 

Relaciones:
En el rolEn la relacion Otros extremos
RTarea WFConecta 
Con los objetosEn el rol
EmailMoverRequester_ProcessResponse  RTareaDestino
RTarea WFConecta 
Con los objetosEn el rol
EmailMoverRequester_ProcessResponse  RTareaDestino
WFConsumeOR WFConsume 
Con los objetosEn el rol
EmailNotMoved  WFConsumeDR
WFConsumeOR WFConsume 
Con los objetosEn el rol
EmailClassified  WFConsumeDR
WFConsumeOR WFConsume 
Con los objetosEn el rol
EmailClassified  WFConsumeDR
WFConsumeOR WFConsume 
Con los objetosEn el rol
EmailNotMoved  WFConsumeDR
WFProduceOR WFProduce 
Con los objetosEn el rol
FIPA-Request_inform-done_Origin  WFProduceDR
WFProduceOR WFProduce 
Con los objetosEn el rol
FIPA-Request_failure_Origin  WFProduceDR
 


EmailMoverRequester_ProcessResponse (Tarea)

Properties:
IDEmailMoverRequester_ProcessResponse 
DescripcionMakes the processing of the move e-mail response to the request. 

Relaciones:
En el rolEn la relacion Otros extremos
RTareaDestino WFConecta 
Con los objetosEn el rol
EmailMoverManager_InitResponse  RTarea
RTareaDestino WFConecta 
Con los objetosEn el rol
EmailMoverManager_InitResponse  RTarea
WFConsumeOR WFConsume 
Con los objetosEn el rol
FIPA-Request_failure  WFConsumeDR
WFConsumeOR WFConsume 
Con los objetosEn el rol
FIPA-Request_inform-done  WFConsumeDR
WFProduceOR WFProduce 
Con los objetosEn el rol
EmailNotMoved  WFProduceDR
WFProduceOR WFProduce 
Con los objetosEn el rol
EmailNotMoved  WFProduceDR
WFProduceOR WFProduce 
Con los objetosEn el rol
EmailClassified  WFProduceDR
WFProduceOR WFProduce 
Con los objetosEn el rol
EmailClassified  WFProduceDR
 


MoveEmail (Tarea)

Properties:
IDMoveEmail 
DescripcionMove a given e-mail to the folder related to its category. 

Relaciones:
En el rolEn la relacion Otros extremos
WFConsumeOR WFConsume 
Con los objetosEn el rol
EmailCategory  WFConsumeDR
WFConsumeOR WFConsume 
Con los objetosEn el rol
FIPA-Request_request  WFConsumeDR
WFProduceOR WFProduce 
Con los objetosEn el rol
EmailClassified  WFProduceDR
WFProduceOR WFProduce 
Con los objetosEn el rol
EmailNotMoved  WFProduceDR
WFProduceOR WFProduce 
Con los objetosEn el rol
EmailClassified  WFProduceDR
WFProduceOR WFProduce 
Con los objetosEn el rol
EmailNotMoved  WFProduceDR
WFUsaOR WFUsa 
Con los objetosEn el rol
EmailWrapper  WFUsaDR
 


RequestMoveEmail (Tarea)

Properties:
IDRequestMoveEmail 
DescripcionRequest an e-mail movement. 

Relaciones:
En el rolEn la relacion Otros extremos
WFConsumeOR WFConsume 
Con los objetosEn el rol
EmailCategory  WFConsumeDR
WFConsumeOR WFConsume 
Con los objetosEn el rol
EmailCategory  WFConsumeDR
WFProduceOR WFProduce 
Con los objetosEn el rol
MoveEmail  WFProduceDR
WFProduceOR WFProduce 
Con los objetosEn el rol
FIPA-Request_request_Origin  WFProduceDR
WFProduceOR WFProduce 
Con los objetosEn el rol
EmailCategory  WFProduceDR