This paper presents an ontology of virtual appliances and networks, along with an ontology-based approach for the automatic assessment of a virtualized computer network configuration. The ontology is inspired by the Libvirt XML format, based on the formal logic structures provided by the OWL language and enriched with logic rules expressed in SWRL. It can be used as a general taxonomy of the virtualized resources. We demonstrate the validity of our solution by showing the results of several analyses performed on a test system using a standard OWL-DL reasoner.

A unified ontology for the virtualization domain / Silvestro, Jacopo; Canavese, Daniele; Cesena, Emanuele; Smiraglia, Paolo. - STAMPA. - (2011), pp. 617-624. (Intervento presentato al convegno DOA-SVI 2011: Distributed Objects and Applications and Secure Virtual Infrastructures tenutosi a Hersonissos (Greece) nel October 17-21, 2011) [10.1007/978-3-642-25106-1_14].

A unified ontology for the virtualization domain

SILVESTRO, JACOPO;CANAVESE, DANIELE;CESENA, EMANUELE;SMIRAGLIA, PAOLO
2011

Abstract

This paper presents an ontology of virtual appliances and networks, along with an ontology-based approach for the automatic assessment of a virtualized computer network configuration. The ontology is inspired by the Libvirt XML format, based on the formal logic structures provided by the OWL language and enriched with logic rules expressed in SWRL. It can be used as a general taxonomy of the virtualized resources. We demonstrate the validity of our solution by showing the results of several analyses performed on a test system using a standard OWL-DL reasoner.
2011
9783642251054
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/2482979
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo