« Back

Automatical check of syntactical correctness of synchronizers

Combination View Flat View Tree View
Threads [ Previous | Next ]
toggle
Automatical check of syntactical correctness of synchronizers
community class cardinality documentation
Answer
27/03/14 11:42
Is a solution, maybe previously implemented in ADOxx, known, which checks the snytactical correctness of Synchronizers (for example AND/OR-concrepts) in modelling?
The idea behind this is that arbitrary(random) connections of edges will be forbidden, permitting only those who emerge from a previously formed branch.
We think that that is not trivial, but maybe there is a similar solution that might work for this problem as well.

RE: Automatical check of syntactical correctness of synchronizers
Answer
27/08/13 13:23 as a reply to Endrju S. & Sobhi A..
The validation of syntactical correctness of directed graphs is a rather complex issues. A proposal from our end would relate to apply a simulation based approach as defined in this post http://www.adoxx.org/live/faq/-/message_boards/message/27518?p_p_auth=0XAmfWl8 - Alternative B. This would also validate if the model is syntactically correct with respect to the simulation model of a path analysis.
In case for a more comprehensive solution, we would propose a logic/business rule based development approach. This could be realized by calling external services or calling validation functions implemented in AdoScript for validation.

RE: Automatical check of syntactical correctness of synchronizers
Answer
07/03/14 14:42 as a reply to Wilfrid Utz.
Hello Wilfrid,

this issue is still relevant for us. Thanks very much for your answer, we will come back to this when our implementation is far enough.

Kind regards