« بازگشت به University of Duisburg-Essen

Automatical check of syntactical correctness of synchronizers

Combination View Flat View Tree View
شاخه [ Previous | بعدی ]
toggle
Automatical check of syntactical correctness of synchronizers
community class cardinality documentation
Answer
3/27/14 11:42 AM
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
8/27/13 1:23 PM به عنوان پاسخ ارسال شد به: پيغام #{1} توسط {2}.
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
3/7/14 2:42 PM به عنوان پاسخ ارسال شد به: پيغام #{1} توسط {2}.
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