Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » Eclipse Platform » Formal Properties for Assumptions and Guarantees
Formal Properties for Assumptions and Guarantees [message #1855499] Tue, 18 October 2022 14:03 Go to next message
Larissa Hamann is currently offline Larissa HamannFriend
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
Re: Formal Properties for Assumptions and Guarantees [message #1855501 is a reply to message #1855499] Tue, 18 October 2022 14:52 Go to previous messageGo to next message
Ed Merks is currently offline Ed MerksFriend
Messages: 33163
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/
Re: Formal Properties for Assumptions and Guarantees [message #1855512 is a reply to message #1855501] Wed, 19 October 2022 06:38 Go to previous messageGo to next message
Larissa Hamann is currently offline Larissa HamannFriend
Messages: 22
Registered: August 2022
Junior Member
Thanky you for your answer!
Re: Formal Properties for Assumptions and Guarantees [message #1858103 is a reply to message #1855512] Thu, 16 March 2023 02:23 Go to previous messageGo to next message
Maurice McKinney is currently offline Maurice McKinneyFriend
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?
Re: Formal Properties for Assumptions and Guarantees [message #1858128 is a reply to message #1858103] Thu, 16 March 2023 14:25 Go to previous message
Ed Merks is currently offline Ed MerksFriend
Messages: 33163
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/
Previous Topic:Browsing project files
Next Topic:[OS X] Codesigning the .app with new Gatekeeper, codesigning V2
Goto Forum:
  


Current Time: Sun Jun 16 08:08:32 GMT 2024

Powered by FUDForum. Page generated in 0.03050 seconds
.:: Contact :: Home ::.

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

Back to the top