The orchestration produced (in ASLan) can be represented in plain text or in XML. The Validator OF can be represented in plain text or in XML. The Validator OF can be represented in plain text or in XML. The Validator OF can be represented in plain text or in XML. This is the problem to be solved by the AVANTSSAR Validation Platform. The "options" parameter allows the user to set the specific options for each of the backend which will be used through the Platform solving process. This is the Output Format of the Connector used. It can be a plain text or an XML representation or a PNG image.It depends from the connector used and from the output produced by the Platform.