Integrating the Organ and Tissue Allocation Processes through an Agent-Mediated Electronic Institution

摘要

In this paper we present a first approach to the formalization of Carrel, a virtual organization for the procurement of organs and tissues for transplantation purposes, in order to model the allocation processes of organs and tissues in a integrated way. We show how it can be formalized with the ISLANDER formalism. Also we present a first mechanism to federate the institution in several geographically-distributed platforms.