IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Management of Hospital Teams for Organ Transplants Using Multi-agent Systems
AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
A Multi-agent System for Organ Transplant Co-ordination
AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
Deliberative Normative Agents: Principles and Architecture
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Formalizing a Language for Institutions and Norms
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Skeletal Jade Components for the Construction of Institutions
AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems
Skeletal Jade Components for the Construction of Institutions
AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
Journal of Biomedical Informatics
Provenance in Agent-Mediated Healthcare Systems
IEEE Intelligent Systems
Agents applied in health care: Guest-editorial
AI Communications
On agent technology for e-commerce: trust, security and legal issues
The Knowledge Engineering Review
Pan-supplier stock control in a virtual warehouse
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Hierarchical decision making in multi-agent systems using answer set programming
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
IEEE Transactions on Information Technology in Biomedicine - Special section on new and emerging technologies in bioinformatics and bioengineering
| Hi-index | 0.00 |
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.