search

Eden-06 / FRaMED-2.0

FRaMED 2.0 is the reimplementation of the Full-fledged Role Modeling EDitor allowing the graphical specification of Role-based Software Systems by means of compartments (aka. contexts), objects, roles, and relationships.
Eclipse Public License 2.0
3 stars 0 forks source link

More checks when creating connections #4

Open SriousTaken opened 6 years ago

SriousTaken commented 6 years ago

There are little to no checks when creating connections if there are already equivalent ones. E.g. that there can only be one inheritance between the same two rigid types and there can be a cycle of inheritances.

SriousTaken commented 4 years ago

Example: Inheritance cycles The edit policies should forbid creating inheritance cycles. forbiideninh

zointblackbriar commented 4 years ago

We need to implement a cycle detection algorithm in directed graph algorithm as below:

https://www.geeksforgeeks.org/detect-cycle-undirected-graph/