This service is archived, please use

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

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"
"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
Previous Topic: Welcome to the Chess project!
Goto Forum:

Current Time: Tue Jun 02 13:25:20 EST 2020

Total time taken to generate the page: 0.01358 seconds