DOML Model Checker Documentation

The DOML Model Checker is a component of the PIACERE framework in charge of checking the correctness and consistency of DOML models.

Contents:

• Installation
  • Installing the dependencies
  • REST API Endpoints
  • Building the Documentation
• Testing
• Usage
  • Through the PIACERE IDE
  • Through the Command Line Interface
• Writing Requirements
  • Getting Started
  • Syntax
  • Examples
  • Flags
  • Grammar
• Built-in Requirements
  • VM Network Interfaces
  • Concretization of Software Interfaces
  • Duplicated Interfaces
  • Deployed Software Components
  • Concretization of Abstract Infrastructure
  • Concrete Infrastructure Elements have a maps Association
  • Network Interfaces belong to a Security Group
  • Virtual Machines in AutoScaleGroup should not be present in Concretization
  • Virtual Machines that host a container need an OS
• REST APIs
• DOML Reference
  • Reference for DOML v2.0
  • Reference for DOML v2.1
  • Reference for DOML v2.2
  • Reference for DOML v2.2.1
  • Reference for DOML v2.3
  • Reference for DOML v3.0
  • Reference for DOML v3.1

This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No. 101000162.