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: 111
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
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: 6568
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
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: 111
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
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: 6568
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
Previous Topic:Custom Diagram for DSML
Next Topic:Compress profile
Goto Forum:
  


Current Time: Mon Jan 27 19:52:51 GMT 2020

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

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

Back to the top