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

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

Formal Properties for Assumptions and Guarantees [message #1855499]

Tue, 18 October 2022 10:03

Eclipse User

Friend

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

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

Tue, 18 October 2022 10:52

Eclipse User

Friend

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

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

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

Wed, 19 October 2022 02:38

Eclipse User

Friend

Thanky you for your answer!

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

Wed, 15 March 2023 22:23

Eclipse User

Friend

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?

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

Thu, 16 March 2023 10:25

Eclipse User

Friend

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...

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

Goto Forum:

-=] Back to Top [=-

Current Time: Sat Apr 19 05:49:30 EDT 2025

Powered by FUDForum. Page generated in 0.02377 seconds

.:: Contact :: Home ::.

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

Back to the top