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.
|Title of host publication||Topics in Artificial Intelligence, Proceedings|
|Number of pages||13|
|Publication status||Published - 2002|
|Name||Lecture Notes in Artificial Intelligence|