Eclipse Community Forums: Eclipse Platform » Formal Properties for Assumptions and Guarantees

Search

Help

Login

Home » Eclipse Projects » Eclipse Platform » Formal Properties for Assumptions and Guarantees

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

Switch to threaded view of this topic

Create a new topic

Submit Reply

Formal Properties for Assumptions and Guarantees [message #1855499]

Tue, 18 October 2022 14:03

Larissa Hamann is currently offline

Friend

Messages: 22
Registered: August 2022

Junior Member

Hello,

I am creating Assumptions and Gurantees for Contracts in Papyrus in Eclipse using Formal Properties. Do the entries for the Formal Properties necessarily have to be Ports or can Properties in Assumption and Guarantees also be used? These are not recognised by me. I get a message with "invalid symbol".

Thank you!

I'm using Eclipse Platform Version Neon.3 (4.6.3) and Papyrus UML modeller Version 2.0.3.201703080851

Report message to a moderator

Re: Formal Properties for Assumptions and Guarantees [message #1855501 is a reply to message #1855499]

Tue, 18 October 2022 14:52

Ed Merks is currently offline

Friend

Messages: 33140
Registered: July 2009

Senior Member

That version is ancient.... It's best to ask on the Papyrus forum:

https://www.eclipse.org/forums/index.php/f/121/

Ed Merks
Professional Support: https://www.macromodeling.com/

Report message to a moderator

Re: Formal Properties for Assumptions and Guarantees [message #1855512 is a reply to message #1855501]

Wed, 19 October 2022 06:38

Larissa Hamann is currently offline

Friend

Messages: 22
Registered: August 2022

Junior Member

Thanky you for your answer!

Report message to a moderator

Re: Formal Properties for Assumptions and Guarantees [message #1858103 is a reply to message #1855512]

Thu, 16 March 2023 02:23

Maurice McKinney is currently offline

Maurice McKinney

Friend

Messages: 3
Registered: March 2023

Junior Member

Larissa Hamann wrote on Wed, 19 October 2022 06:38

Thanky you for your answer!

I can't find the quetion in Papyrus forum. Did you resolved the problem?

Report message to a moderator

Re: Formal Properties for Assumptions and Guarantees [message #1858128 is a reply to message #1858103]

Thu, 16 March 2023 14:25

Ed Merks is currently offline

Friend

Messages: 33140
Registered: July 2009

Senior Member

I hope you're not posting a bunch of posts just so you can later post links. Your posts will be deleted along with your account if you do that...

Ed Merks
Professional Support: https://www.macromodeling.com/

Report message to a moderator

Switch to threaded view of this topic

Create a new topic

Submit Reply

Previous Topic:	Browsing project files
Next Topic:	[OS X] Codesigning the .app with new Gatekeeper, codesigning V2

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Apr 25 14:31:32 GMT 2024

Powered by FUDForum. Page generated in 0.03417 seconds

.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top