13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'04) Substitution Rules for the Verification of Norm-Compliance in Electronic Institutions University of Modena and Reggio Emilia, Italy June 14-June 16 ISBN: 0-7695-2183-5
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ENABL.2004.60
Electronic institutions are the agents' counterpart of human organizations, which are specifically designed for providing support, trust, and legitimacy in business applications. They function in the same way our human organizations function to create trust, prevent fraud and reduce deception by verifying rules, regulations which is as a result maintaining norms and insuring that all the participants are conforming to these norms.In this paper, we propose an algorithm for norm compliance checking in electronic institutions by introducing substitution rules that map the norms set for the electronic institution as values to normative rules that can be implemented in the protocols to govern agents' interactions.
Citation:
Ismail Khalil-Ibrahim, Gabriele Kotsis, Reinhard Kronsteiner, "Substitution Rules for the Verification of Norm-Compliance in Electronic Institutions," wetice, pp.21-26, 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'04), 2004 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||