formal specification of a deontic statement that aims at regulating the life of software agents and the interactions among them