search

OpenPonk / openponk

The OpenPonk modeling platform
https://openponk.github.io/
MIT License
43 stars 9 forks source link

[Bug] Mode generalization not accepted by model verificator #77

Closed sdasda7777 closed 2 years ago

sdasda7777 commented 2 years ago

According to the verificator, a Mode cannot be subtype of another Mode. However according to the written constraints and the examples from the OntoUML documentation, this should most likely be allowed.

image

JanBliznicenko commented 2 years ago

Yes, there seems to be inconsistency even in the documentation (from which OP verifications are built), thank you. Passing the problem to colleagues responsible for documentation and verifications.

JanBliznicenko commented 2 years ago

According to my colleagues, it seems this behavior is correct and there is an error in the documentation which they will fix. Mode has its identity and cannot therefore be subtyped by another mode with its own identity - only by subkind, phase and role. Since I am personally not that knowledgable about OntoUML, ask @roper79 or your tutorials teacher if you are interested in more info :)