Usage scenario 4: Request correction to TOSCA model (RADON IDE)

radon-h2020 / radon-verification-tool

RADON Verification Tool Demo

0 stars 0 forks source link

Usage scenario 4: Request correction to TOSCA model (RADON IDE) #4

Closed marklaw closed 4 years ago

marklaw commented 4 years ago

From D2.1

The RADON IDE will enable a RADON user to request a correction to the TOSCA model in the case that a previous call to the verification tool has found that the TOSCA model does not conform to the constraints in the CDL specification. The IDE will call the “Search for correction to TOSCA model” method of the verification tool, which will process the request.

marklaw commented 4 years ago

@gcasale If you agree, I will close this, as it is possible in the latest version of the plugin.

gcasale commented 4 years ago

OK to close