Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » Papyrus » Validation problems in Papyrus
Validation problems in Papyrus [message #1758004] Wed, 22 March 2017 17:17 Go to next message
Ran Wei is currently offline Ran WeiFriend
Messages: 119
Registered: September 2012
Location: York, UK
Senior Member
Hi,

We are creating a UML profile using Papyrus and we notice some strange behaviour with regard to validation.

I have provided a minimal example. In this example, we create two Stereotypes (Flowchart and Node) that extend Class and one Stereotype (nodes) that extends Association. We applied a series of OCL constraints on 'nodes' so that these can be checked against UML models.

We tried two ways for validation, one way is to open the UML model using the UML editor and right click on the model -> Validate. There were no problems with the validation.

Another way is to open the *.di file, and in the model explorer right click on the model -> validate. Papyrus then shows that all validation fails.

Could you please advise why the validation fails and which validation result should we trust.

Cheers,
Will

Research Associate
Department of Computer Science
University of York

Report message to a moderator

Re: Validation problems in Papyrus [message #1758017 is a reply to message #1758004] Wed, 22 March 2017 18:36 Go to previous messageGo to next message
Ed Willink is currently offline Ed WillinkFriend
Messages: 7655
Registered: July 2009
Senior Member
Hi

Papyrus is a full (user-wise) UML tool, so it integrates OCL and UML validation.

The UML Model editor is a UML-only tool, it therefore omits validation privided by embedded OCL (OCL is not part of UML 2.x). You should use OCL->Validate to pickup the missing validation. Or use the OCL->Validity View.

Some omissions have been fixed recently, so OCL->Validate may not show everything.

Regards

Ed Willink

Report message to a moderator

Re: Validation problems in Papyrus [message #1758185 is a reply to message #1758017] Fri, 24 March 2017 12:35 Go to previous messageGo to next message
Ran Wei is currently offline Ran WeiFriend
Messages: 119
Registered: September 2012
Location: York, UK
Senior Member
Hi Ed,

Thanks for your input.

We have tried OCL-Validate in our example and the validation passed. However, in Papyrus Model -> Validate, all the constraints are violated.

Thus, the question is, which validation result to trust Very Happy

Cheers,
Will

Research Associate
Department of Computer Science
University of York

Report message to a moderator

Re: Validation problems in Papyrus [message #1758190 is a reply to message #1758185] Fri, 24 March 2017 12:58 Go to previous message
Ed Willink is currently offline Ed WillinkFriend
Messages: 7655
Registered: July 2009
Senior Member
Hi

In principle, I would trust the ones that fail, but ...

Evaluate a few sample constraints by hand. Decide which is correct and report a bug with a repro against whichever is deficient.

NB. As I commented earlier some OCL->Validate omissions have been fixed recently. Post Neon.3. Try installing the OCL Oxygen M6 contribution.

Regards

Ed Willink

Report message to a moderator

Previous Topic:Custom Diagram for DSML
Next Topic:Compress profile
Goto Forum:
  

[ Syndicate this forum (XML) ] [ RSS ]

Current Time: Thu Apr 25 17:37:20 GMT 2024

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

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

Back to the top

Sign up to our Newsletter

A fresh new issue delivered monthly