Software Agent Architecture for Managing Inter-Organizational Collaborations

The growing importance of cooperation among organizations, as a result of globalization, current market opportunities and technological advances, encourages organizations to dynamically establish inter-organizational collaborations. These collaborations are carried out by executing collaborative business processes among the organizations. In this work we propose an agent-based software architecture for managing inter-organizational collaborations. Two types of agents are provided: the Collaboration Administrator Agent and the Process Administrator Agent. The former allows organizations setting up collaborations. The latter allows organizations executing collaborative business processes. A Colored Petri Net model specifying the role, which an organization fulfills in a collaborative process, is used to carry out the behavior of the Process Administrator Agent that represents the organization. Planning and execution of the actions of the Process Administrator Agents are driven by a Colored Petri Net machine embedded to them. Thus, Process Administrator Agents do not require to have defined at design-time the protocols they can support. In addition, we propose a model-driven development method for generating Colored Petri Net models from a collaborative process model defined as interaction protocol. Finally, an implementation of the agent-based software architecture and methods based on model-driven development are presented.La creciente importancia de la cooperación entre las organizaciones, como consecuencia de la globalización, las oportunidades actuales de mercado y los avances tecnológicos, alienta a las organizaciones a establecer en forma dinámica colaboraciones inter-organizacionales. Estas colaboraciones se llevan a cabo mediante la ejecución de procesos de negocio colaborativos entre las organizaciones. En este trabajo de investigación se propone una arquitectura basada en agentes de software para la gestión de colaboraciones inter-organizacionales. La arquitectura provee dos tipos de agentes: el Agente Administrador de Colaboraciones y el Agente Administrador de Proceso. El primer agente permite a las organizaciones a establecer colaboraciones. El segundo agente habilita a las organizaciones ejecutar procesos de negocio colaborativos. El rol que una organización desempeña en un proceso colaborativo es especificado mediante un modelo de redes de Petri coloreadas. Este modelo es usado para dirigir el comportamiento del Agente Administrador de Proceso, el cual representa a una organización. La ejecución de los planes y las acciones del Agente Administrador de Proceso son dirigidas mediante una máquina de redes de Petri coloreadas embebida en el agente. Entonces, los Agentes Administrador de Proceso no requieren tener definido en tiempo de diseño los protocolos que dan soporte a su comportamiento. Adicionalmente, se propone un método basado en el desarrollo dirigido por modelos para la generación en forma automática de modelos de redes de Petri coloreadas a partir de un modelo de procesos de negocio colaborativo definido como protocolo de interacción. Finalmente, la implementación de la arquitectura y los métodos basados en el desarrollo dirigido por modelos son presentados.Fil: Tello Leal, Edgar. Universidad Autónoma de Tamaulipas; MéxicoFil: Chiotti, Omar Juan Alfredo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); ArgentinaFil: Villarreal, Pablo David. Universidad Tecnologica Nacional. Facultad Regional Santa Fe. Centro de Investigacion y Desarrollo de Ingenieria En Sistemas de Informacion; Argentin

Workflow-Net Based Cooperative Multi-Agent Systems

Workflow-nets are mathematical frameworks that are used to formally describe, model and implement workflows. First, we propose critical section workflow nets (abbreviated WFCSnet). This framework allows feedbacks in workflow systems while ensuring the soundness of the workflow. Feedback is generally not recommended in workflow systems as they threaten the soundness of the system. The proposed WFCSnet allows safe feedback and limits the maximum number of activities per workflow as required. A theorem for soundness of WFCSnet is presented. Serializability, Separability, Quasi-liveness and CS-Properties of WFCSnet are examined and some theorems and lemmas are proposed to mathematically formalize them. In this thesis, we define some formal constructs that we then build upon. We define the smallest formal sub-workflow that we call a unit. We propose some mathematical characteristics for the unit and show how it can be used. We study similarities between units and whether two units can be used interchangeably or not. We then use composites out of simple units to build more complex constructs and we study their properties. We define the concept of cooperation and propose a mathematical definition of the concept. We discuss the concept of task coverage and how it affects cooperation. We claim that task coverage is necessary for any task to be achieved and therefore, a necessity for cooperation. We use mathematical methods to determine the task coverage and the candidate cooperative partners based on their capabilities that can contribute to the desired task. Workflow-net based cooperative behaviour among agents is proposed. First, we propose a cooperative algebra, which takes the desired objective of cooperation as a plan and then transforms this plan into a workflow-net structure describing dependencies and concurrency among sub-workflow elements constituting the overall plan. Our proposed cooperative algebra converts the plan into a set of matrices that model the cooperative workflow among agents. We then propose a cooperative framework with operators that assign tasks to agents based on their capabilities to achieve the required task

Zero-gravity movement studies

The use of computer graphics to simulate the movement of articulated animals and mechanisms has a number of uses ranging over many fields. Human motion simulation systems can be useful in education, medicine, anatomy, physiology, and dance. In biomechanics, computer displays help to understand and analyze performance. Simulations can be used to help understand the effect of external or internal forces. Similarly, zero-gravity simulation systems should provide a means of designing and exploring the capabilities of hypothetical zero-gravity situations before actually carrying out such actions. The advantage of using a simulation of the motion is that one can experiment with variations of a maneuver before attempting to teach it to an individual. The zero-gravity motion simulation problem can be divided into two broad areas: human movement and behavior in zero-gravity, and simulation of articulated mechanisms

A review of key planning and scheduling in the rail industry in Europe and UK

Planning and scheduling activities within the rail industry have benefited from developments in computer-based simulation and modelling techniques over the last 25 years. Increasingly, the use of computational intelligence in such tasks is featuring more heavily in research publications. This paper examines a number of common rail-based planning and scheduling activities and how they benefit from five broad technology approaches. Summary tables of papers are provided relating to rail planning and scheduling activities and to the use of expert and decision systems in the rail industry.EPSR

Middleware control systems design and analysis using message interpreted Petri Nets (MIPN)

Many distributed frameworks use a message-oriented middleware to interchange information among several independent distributed modules. Those modules make up complex systems implementing basic actions and reporting events about their state. This paper introduces the Message Interpreted Petri Net (MIPN) model to design, analyze, and execute the central control of these middleware systems. The MIPN is a new Petri net extension that adds message-based high-level information communications and hierarchic capabilities. It also contributes to the definition and study of new properties such as terminability for the hierarchy-wide analysis of a system. Special attention is given to the analyzability of the model. Useful relations between the individual properties of each MIPN and the global properties of a hierarchic MIPNs system are extracted through a mathematical analysis of the model. The goal is to analyze each net separately and then build up the properties of the whole system. This results in a great aid for the programmer and optimizes the development process. This paper also shows the actual integration of this new MIPN model in different robot control frameworks to design, analyze, execute, monitor, log, and debug tasks in such heterogeneous systems. Finally, some applications created with this framework in the fields of robotics, autonomous vehicles, and logistics are also presentedMinisterio de Ciencia e Innovación | Ref. EXP00139978CER-2021100