Sciweavers

Share
DALT
2004
Springer

Norm Verification and Analysis of Electronic Institutions

10 years 2 months ago
Norm Verification and Analysis of Electronic Institutions
Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of norms for electronic institutions and investigate how these norms can be employed for verification and analysis. We offer automatic means to perform the extraction of subparts of an electronic institution in which norms hold true or can safely be avoided. These sub-parts can be used to synthesise norm-aware agents that will pursue or avoid commitments to norms.
Wamberto Weber Vasconcelos
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where DALT
Authors Wamberto Weber Vasconcelos
Comments (0)
books