En la Figura 4.1 se muestra la arquitectura que integra los diferentes modelos propuestos para representar la interacción en SIC´s, la cual se basa en el análisis y diseño de interacciones, tomando en cuenta dos niveles de especificación del sistema:
• Especificación explícita, bajo un enfoque estático.
• Especificación implícita, bajo un enfoque dinámico.
La especificación explícita se realiza a partir de dos modelos: el modelo individual en el
cual describimos cada uno de los agentes y el modelo estructural, en el cual describimos
las interacciones entre los agentes.
La especificación implícita se representa dentro del modelo dinámico. En ésta se observa y
controla la simulación de las interacciones del sistema.
Se construye el modelo de comportamiento del SIC a partir de los modelos individual y
estructural. El modelo individual se construye a partir del conjunto de agentes del dominio
del problema. El modelo estructural se construye a partir de las tareas, distribuidas en el
información entre agentes. El modelo estructural representa las relaciones entre agentes,
llamadas en nuestro modelo conversaciones.
Finalmente, el modelo dinámico representa la dinámica de las interacciones y permite
observar la evolución de las tareas del SIC.
La especificación explícita se simula en la herramienta Design/CPN. Las Redes de Petri Coloreadas se utilizan para representar tanto el modelo estático como el comportamiento dinámico de las interacciones del sistema.
Modelo Individual:
Conjunto de Agentes
Modelo Estructural:
Relaciones de Interacción entre Agentes
Modelo Dinámico:
Simulación de las Interacciones entre Agentes
Especificación Explícita
...
Especificación Implícita
Figura 4.1: Arquitectura del Modelo.
En la figura 4.1 se observa que para pasar del modelo individual al estructural se utilizan
los agentes identificados, se representan en el loop las interacciones en las que están
participando y los mensajes que están intercambiando. Los diferentes loop´s construidos
Para pasar del modelo estructural al dinámico, se realiza una simulación de las RPC con el objetivo de observar la dinámica de las interacciones del sistema. La arquitectura está diseñada para que el ingeniero de software pueda pasar de manera recursiva e iterativa entre los diferentes modelos, con el objetivo de refinar cada uno de ellos.
El modelo se centra en el análisis y diseño de los sistemas de información cooperantes como un conjunto de “conversaciones” entre los diferentes agentes del sistema. Una conversación es una secuencia de mensajes entre dos agentes, que toma lugar en un período de tiempo y que tiene ciertas condiciones de terminación [Bradshaw 97]. Una conversación puede dar lugar a más conversaciones con diferentes agentes. Nótese que la conversación es más poderosa, desde el punto de vista de expresividad, en la modelación de sistemas de información cooperantes que lo que serían solamente los actos del habla tomados de una manera aislada.
En una conversación intervienen dos agentes, pero un agente puede estar en más de una conversación de manera simultánea, es decir, el agente debe saber en que etapa de cada una de las conversaciones en las que está participando se encuentra y cuál es la siguiente acción que debe ejecutar en la misma.
El conjunto de conversaciones modela un proceso dentro de un sistema de información cooperante. Los procesos están relacionados con actividades que se realizan en los sistemas, como por ejemplo, en un ambiente de negocios electrónicos, la venta de productos, la entrega de productos; En un ambiente de centro de contacto, la recepción de una petición, la asignación de un técnico a una orden de trabajo, entre otros. En este trabajo consideramos a la interacción como un proceso.
Los mensajes solamente ocurren dentro del contexto de una conversación, estos son parte del agente y su intercambio está regido por las reglas de la interacción. Una regla de interacción define, de acuerdo al estado de la conversación y al mensaje recibido, cuál es el acto de habla que debe utilizar. Por ejemplo, si el agente se encuentra en preparación y
recibe un request, el puede seleccionar entre los siguientes actos de habla de acuerdo a las
reglas de interacción: Agree, para aceptar la petición; Decline, para rechazar la petición;
Report completion with no agreement, para terminar la petición; Counteroffer, para ofrecer otra opción.
Con el propósito de modelar interacciones múltiples en SIC´s, el modelo desarrollado en esta tesis integra principalmente tres elementos:
• En el ciclo Básico de Acción llamado “Loop”, se representan las interacciones del
sistema y se modelan las conversaciones en las organizaciones de una manera coordinada.
• En las Redes de Petri Coloreadas se mapean las interacciones representadas en el
loop para observar la dinámica del comportamiento del sistema.
• En el modelo de las RPC se utilizan los actos comunicativos del FIPA para trabajar
C
j= ∪ cj
i i=1r
El modelo de Interacciones Múltiples en Sistemas de Información Cooperantes [Ramos 2001], [Frausto 2001] está compuesto por los siguientes pasos:
Especificación Explícita:
1. Modelo Individual:
1.1. Identificar agentes y sus intenciones.
2. Modelo Estructural:
2.1. Construir el diagrama de agentes.
2.2. Construir los diagramas de interacción.
2.3. Diseñar los mensajes y puertos de los agentes.
2.4. Representar el mecanismo de interacciónutilizando Redes de Petri
Coloreadas. Especificación Implícita:
3. Modelo Dinámico:
3.1. Simular la evolución de las interacciones del sistema.