This service is archived, please use www.eclipse.org/forums


Home » Archived Projects » Chess » Model Validation of Contracts (Errors in example project WBS after model validation)
Model Validation of Contracts [message #1467] Tue, 04 July 2017 02:58
s59545.beuth-hochschule.d is currently offline  s59545.beuth-hochschule.d
Messages: 1
Registered: July 2017
Junior Member
Hi,

After performing a model validation of the example project Wheel Braking System, many
errors are reported, like:

"The formal property Select_Switch_Sel1_Time_Assumption is not correct. Please check its syntax"
or
"The required feature 'chesscontract::Contract::Formalize' of 'Contract' must be set"

So I can't create Assumption and Guarantee Properties for the contracts.

Best regards
Steven
 
Read Message
Previous Topic: Welcome to the Chess project!
Goto Forum:
  


Current Time: Sun Mar 29 17:10:14 EST 2020

Total time taken to generate the page: 0.01317 seconds