Hi Sándor,
welcome to Eclipse 4diac. I'm very happy that you are interested in the OCL GSoC topic. This is a topic that we wished to have already for a longer time.
Your firs prototype seems to be quite interesting. I think that checking types (e.g., basic function blocks) has some even lower hanger fruits. BTW any feedback to improve our ECore models is also very appreciated.
Regarding your proposal question: we don't have a specific Eclipse 4diac template. The generic structure would be fine for us. You can also submit a first proposal as draft and give us a link here if you want first feedback from us.
Cheers, Alois
On Fri, 2020-03-27 at 11:07 +0100, Sándor Bácsi wrote: Hi, I am a 1st year PhD student at the University of Technology, Hungary. I got interested in the OCL project, since it is related to my research. I spent the last few weeks getting to know the 4diac IDE and the IEC 61499 standard. I implemented a simple feature that allows checking the validation results for an Application. I converted the lib.ecore model to an OCLinEcore document, which makes more convenient to specify OCL constraints in the OCLinEcore Editor. The validation results can be displayed choosing "Validate" from the context menu of an application.
So far, I only created simple OCL constraints, like an OCL invariant for checking the value for certain VarDeclarations. For example, a DTMustHaveValue invariant tested on the BlinkApp tutorial:
I know these results are rudimentary, but I wanted to share this little progress. I realized that I need to gain more experience in the IEC 61499 standard so that I can find out more advanced constraints which are capable of identifying inconsistencies in the models. I would like to submit a proposal to the 4diac OCL topic, but I am a bit confused regarding the proposal. Is there a conventional 4diac specific template for the proposal? On the official GSOC page ( https://summerofcode.withgoogle.com/organizations/4590106242973696/), there is a guidance for submitting a proposal (Abstract, Detailed Information, Experience, Background, etc.). Is it okay to follow this format? Regards, Sándor _______________________________________________ 4diac-dev mailing list 4diac-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/4diac-dev
|
