« Takaisin University of Duisburg-Essen

Automatical check of syntactical correctness of synchronizers

Yhdistelmä näkymä Sisentämätön näkymä Puunäkymä
Aiheet [ Edellinen | Seuraava ]
toggle
Automatical check of syntactical correctness of synchronizers
community class cardinality documentation
Vastaus
27.3.2014 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
Vastaus
27.8.2013 13:23 vastauksena Endrju S. & Sobhi A.:aan.
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
Vastaus
7.3.2014 14:42 vastauksena Wilfrid Utz:aan.
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