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
