Logic-based Network Configuration and Management

Universidade de Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the man-agement and day-to-day operation of the Organization. It relies on a first-order logic Description Language to define the schema, represent data and computed relations. This representation is used to generate an object-relational database that is actually used to interface to the system. In this article we describe an application of this framework to issues of network and services planning, configuration and monitoring.