A Lightweight Toolchain to Validate, Visualize, Analyze, and Deploy ETSI NFV TopologiesBehaviors

We demonstrate a lightweight toolchain for validating descriptors of network functions compliant with the latest ETSI NFV standards, visualizing these descriptors in the form of various diagrams (i.e. network-oriented, function-oriented, and UML2-based), analyzing these descriptors formally with the Alloy Analyzer, and deploying these virtualized network functions on OpenStack.