Substitution Rules for the Verification of Norm-Compliance in Electronic Institutions

  • Authors:
  • Ismail Khalil-Ibrahim;Gabriele Kotsis;Reinhard Kronsteiner

  • Affiliations:
  • Johannes Kepler University Linz, Austria;Johannes Kepler University Linz, Austria;Johannes Kepler University Linz, Austria

  • Venue:
  • WETICE '04 Proceedings of the 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.