« Tilbake til University of Duisburg-Essen

Automatical check of syntactical correctness of synchronizers

Kombinasjonsvisning Flat visning Trådet visning
Tråder [ Forrige | Neste ]
toggle
Automatical check of syntactical correctness of synchronizers
community class cardinality documentation
Svar
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
Svar
27.08.13 13:23 Postet som et svar til melding #{1} av {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
Svar
07.03.14 14:42 Postet som et svar til melding #{1} av {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