Logical model for administration policy specification

The administration system has as its mission the management and the control of distributed systems to which it is associated. Administration policies are very important to study so that managers can specify and represent complex systems in order to automate systems administration. In general, administration policies within large distributed systems are very complex, since technical and social models and policies vary considerably from one management model to another.Indeed, often every organisation has its own administration policies regarding to its objectives. Furthermore, the focal point for standardisation and research on management of networks and distributed system, is the modelling and the management of communication resources while the definition and the specification of administration policies is too often partially or full ignored. In this paper, the main objective is the design of a logical model for specification of administration policies using defeasible deontic logic.