Eclipse Community Forums: Jobs and employment » Contract Property must be set

Help

Home

Home » General (non-technical) » Jobs and employment » Contract Property must be set

Show: Today's Messages :: Show Polls :: Message Navigator

Contract Property must be set [message #1855692]

Thu, 27 October 2022 13:39

Larissa Hamann

Messages: 22
Registered: August 2022

Junior Member

Hi everyone,

I have created contracts and used the WBS Model from the CHESS download page as an example. I have created Fromal properties for assumptions and guarantees and than created the contracts based on this in the according component.
I have a lots of errors here. One says:
Error The required feature 'chesscontract::ContractProperty::base_Slot' of 'ContractProperty' must be set.
The other says, the syntax of the Formal properties is not correct. It's the same like the formal properties in the WBSI example.

I am using I'm using CHESS 1.0.0: Windows 64bit, Eclipse Platform Version Neon.3 (4.6.3) and Papyrus UML modeller Version 2.0.3.201703080851

The WBSI example you can find here: on https://websites.eclipseprojects.io/chess/download.html

Thank you!
Larissa

Report message to a moderator