Formalizing an electronic institution for the distribution of human tissues
The use of multi-agent systems (MAS) in health-care domains is increasing. Such agent-mediated medical systems can manage complex tasks and have the potential to adapt gracefully to unexpected events. However, in these kinds of systems the issues of privacy, security and trust are particularly sensitive in relation to matters such as agents' access to patient records, what is acceptable behaviour for an agent in a particular role and the development of trust both between (heterogeneous) agents and between users and agents. To address these issues we propose a formal normative framework, deriving from and developing the notion of an electronic institution. Such institutions provide a framework to define and police norms that guide, control and regulate the behaviour of the heterogeneous agents that participate in the institution. These norms define the acceptable actions that each agent may perform depending on the role or roles it is playing, and clearly specifies the data it may access and/or modify in playing those roles. In this paper, we present the formalization of Carrel, a virtual organization for the procurement of organs and tissues for transplantation purposes, as an electronic institution using the ISLANDER institution specification language as formalizing languages. We demonstrate aspects of the formalization of such an institution, example fragments in the language used for the textual specification, and how such formalization can be used as a blueprint in the implementation of the final agent architecture, through techniques such as skeleton generation.
| Medienart: |
Artikel |
|---|
| Erscheinungsjahr: |
2003 |
|---|---|
| Erschienen: |
2003 |
| Enthalten in: |
Zur Gesamtaufnahme - volume:27 |
|---|---|
| Enthalten in: |
Artificial intelligence in medicine - 27(2003), 3 vom: 01. März, Seite 233-58 |
| Sprache: |
Englisch |
|---|
| Beteiligte Personen: |
Vázquez-Salceda, J [VerfasserIn] |
|---|
| Themen: |
|---|
| Anmerkungen: |
Date Completed 15.07.2003 Date Revised 07.11.2019 published: Print Citation Status MEDLINE |
|---|
| Förderinstitution / Projekttitel: |
|
|---|
| PPN (Katalog-ID): |
NLM12440653X |
|---|
| LEADER | 01000naa a22002652 4500 | ||
|---|---|---|---|
| 001 | NLM12440653X | ||
| 003 | DE-627 | ||
| 005 | 20231222203453.0 | ||
| 007 | tu | ||
| 008 | 231222s2003 xx ||||| 00| ||eng c | ||
| 028 | 5 | 2 | |a pubmed24n0415.xml |
| 035 | |a (DE-627)NLM12440653X | ||
| 035 | |a (NLM)12667738 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 100 | 1 | |a Vázquez-Salceda, J |e verfasserin |4 aut | |
| 245 | 1 | 0 | |a Formalizing an electronic institution for the distribution of human tissues |
| 264 | 1 | |c 2003 | |
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
| 338 | |a Band |b nc |2 rdacarrier | ||
| 500 | |a Date Completed 15.07.2003 | ||
| 500 | |a Date Revised 07.11.2019 | ||
| 500 | |a published: Print | ||
| 500 | |a Citation Status MEDLINE | ||
| 520 | |a The use of multi-agent systems (MAS) in health-care domains is increasing. Such agent-mediated medical systems can manage complex tasks and have the potential to adapt gracefully to unexpected events. However, in these kinds of systems the issues of privacy, security and trust are particularly sensitive in relation to matters such as agents' access to patient records, what is acceptable behaviour for an agent in a particular role and the development of trust both between (heterogeneous) agents and between users and agents. To address these issues we propose a formal normative framework, deriving from and developing the notion of an electronic institution. Such institutions provide a framework to define and police norms that guide, control and regulate the behaviour of the heterogeneous agents that participate in the institution. These norms define the acceptable actions that each agent may perform depending on the role or roles it is playing, and clearly specifies the data it may access and/or modify in playing those roles. In this paper, we present the formalization of Carrel, a virtual organization for the procurement of organs and tissues for transplantation purposes, as an electronic institution using the ISLANDER institution specification language as formalizing languages. We demonstrate aspects of the formalization of such an institution, example fragments in the language used for the textual specification, and how such formalization can be used as a blueprint in the implementation of the final agent architecture, through techniques such as skeleton generation | ||
| 650 | 4 | |a Journal Article | |
| 700 | 1 | |a Padget, J A |e verfasserin |4 aut | |
| 700 | 1 | |a Cortés, U |e verfasserin |4 aut | |
| 700 | 1 | |a López-Navidad, A |e verfasserin |4 aut | |
| 700 | 1 | |a Caballero, F |e verfasserin |4 aut | |
| 773 | 0 | 8 | |i Enthalten in |t Artificial intelligence in medicine |d 1995 |g 27(2003), 3 vom: 01. März, Seite 233-58 |w (DE-627)NLM075578344 |x 1873-2860 |7 nnns |
| 773 | 1 | 8 | |g volume:27 |g year:2003 |g number:3 |g day:01 |g month:03 |g pages:233-58 |
| 912 | |a GBV_USEFLAG_A | ||
| 912 | |a GBV_NLM | ||
| 951 | |a AR | ||
| 952 | |d 27 |j 2003 |e 3 |b 01 |c 03 |h 233-58 | ||