Skip to content

Latest commit

 

History

History
49 lines (46 loc) · 2.32 KB

README.md

File metadata and controls

49 lines (46 loc) · 2.32 KB

Verifoo

Verification and Optimization Orchestrator component for join Service Graph mapping and verification. The component exploits the z3Opt engine for solving MaxSAT and VNE problem

Folder Structure:

  • docs/ -- Documentation of the code (including javadoc)
    • VerifooDocs.pdf --- Documentation of the web service and other useful information
    • verigraph_doc.pdf --- Documentation of Verigraph for further details
  • lib/ --- All the external libraries (e.g. Z3 library)
    • junit/ --- Libraries for running tests
    • lib4j/ --- Libraries for managing the logging operations
  • log/ --- All the logs (for debugging purposes)
  • resources/ ---
    • log4j2.xml --- Settings of the logs
  • src/ --- Java classes (for further information see the javadoc)
    • it/polito/verifoo/components/ --- Basical Verifoo classes
    • it/polito/verifoo/rest/app/ --- Classes to start the Rest application
    • it/polito/verifoo/rest/common/ --- Classes that retrieve the informations from the JAXB class objects and pass them to Verifoo
    • it/polito/verifoo/rest/jaxb/ --- Automatically generated JAXB classes
    • it/polito/verifoo/rest/main/ --- Main class for debugging purposes
    • it/polito/verifoo/rest/test/ --- Classes that manage all the tests
    • it/polito/verifoo/rest/webservice/ --- Classes needed for the WebService
    • it/polito/verifoo/test --- Simple examples on how Verifoo works
    • it/polito/verigraph/* --- Basical Verigraph classes
  • target/ --- Folder for the war file
  • testfile/ --- XML files that are used to test the application
  • WebContent/ --- Files needed in order to deploy the service
  • xsd/ --- XML schemas needed for the application
    • errorSchema.xsd -- XML schema of the response in case an error occurred
    • nfvInfo.xsd -- XML schema of Verifoo
    • xml_components.xsd -- XML schema of Verigraph (used into verifoo)
    • hateoasLinks.xsd -- XML schema used by the root resource to let the client know all the links of the REST WebService
  • build.xml --- Ant script to automate the compiling and the deployment

Resources: