Let me start by saying that the Epsilon projects(Epsilon Forum, EuGENiA, Epsilon Book, and other materials) have been very useful to me to my research, thanks very much to the Epsilon Team, you guys did a great job.

I have got my graphical editor working fine, courtesy of Eugenia, and helps from Antonio, and Dimitris. The next step in my project is to define and implement a set of constraints for my graphical tool. I have gone through some examples in the epsilon book (Chapter 4), and the example with filesystem validation available online. However, my ecore model seems to be complicated that I dont know how to start writing the constraints using EVL. I have texually defined those constraints, but the challenge is writing them in EVL.

Please I need help on how to use EVL to define constraints for graphical tool. If need be I will be willing to share my project with you including the ecore Model-Model.
Regards

Joshua ]]>Joshua Nwokeji2013-05-01T10:40:34-00:00Re: Epsilon Validation Languagehttps://www.eclipse.org/forums/index.php/mv/msg/485953/1052976/#msg_1052976
I've replied to your email. Could you have a look at it, please?

Best regards,
Antonio]]>Antonio Garcia-Dominguez2013-05-01T17:00:12-00:00Re: Epsilon Validation Languagehttps://www.eclipse.org/forums/index.php/mv/msg/485953/1053815/#msg_1053815
I have corrected the mistakes, so sorry about that (I have not really used EOL before, apart from today). However it didn't work out, and the EVL is still showing the error sign. There is something I forgot to tell you about the graphical editor I implemented with Eugenia:

"Refinement" does not go directly from a "Goal" to a Leaf goal (Requirement, Expectation, DomainInvariant and DomainHypothesis), rather it first go through either the "Or" Node (represented with a Small hollow ellipse-please see the Figure attached) or the "And" Node (represented in the Figure as a small solid black ellipse).

Also in the EOL file, I think that "self.isLeaf" may not be applicable since the Meta-Model I used in Implementing the Editor does not contain "Leaf" Goal, instead Leaf Goals are defined as-Requirement, Expectation, DomainInvariant and DomainHypothesis.]]>Joshua Nwokeji2013-05-07T16:52:38-00:00Re: Epsilon Validation Languagehttps://www.eclipse.org/forums/index.php/mv/msg/485953/1055823/#msg_1055823
Thanks a lot for your help yesterday, my knowledge and understanding of EVL has increased.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.

However, I still have little challenge with Completeness Check 1. Currently I have imported the *.EOL file into my Evl file, but my challenge is to include a constraint that will specify that Goals go through the "AND\Or" nodes (using Refinement) before they get to leaf goals (Expectation, Requirement, DomainHypothesis, and DomainInvariant)-Please See Figure 1. In the Meta-Model I used to generate the graphical editor, all Nodes inherit from one super class called Nodes, Please see attached as EuGENiaModel.

After writing the EVL and EOL codes (Please see below), the validation works, but it does not recognize that Goals and SubGoals have been refined to leaf goals (please see Figure 1), I guess this is because I have not included the AND/OR nodes in the codes for the (EVL, and EOL) constraints, and I am finding this very challenging, Please I need your help. I will be willing to share the project on dropbox folder if you wish.