О методически правильной типизации
Если в исходной метамодели SEMDM определённым образом проведено разделение на классы и отношения, правильно ли будет некоторые классы типизировать как отношения 15926, ибо нам кажется, что такова их природа?
Что же касается ModelUnitUsage/Kind, то тут вообще типизация его как онтошения представляется мне ошибочной: метамодель 24744 позволяет (возможно, только формально?) нескольким разным экземплярам ModelUnitUsage связывать одни и те же ModelUnit и Model (то есть один ModelUnit формально может использоваться в одной Model несколькими различаемыми способами). А для relationship 15926 это невозможнно, ибо оно - просто упорядоченная пара.
A relationship is something that one thing has to do with another (see 5.2.11 and Figure 187). In this
part of ISO 15926, a relationship is defined as the classification of an ordered pair. The pair is
repeated to record another relationship. No two relationships of the same classification have the
same pair in the same order.
Что же касается ModelUnitUsage/Kind, то тут вообще типизация его как онтошения представляется мне ошибочной: метамодель 24744 позволяет (возможно, только формально?) нескольким разным экземплярам ModelUnitUsage связывать одни и те же ModelUnit и Model (то есть один ModelUnit формально может использоваться в одной Model несколькими различаемыми способами). А для relationship 15926 это невозможнно, ибо оно - просто упорядоченная пара.
A relationship is something that one thing has to do with another (see 5.2.11 and Figure 187). In this
part of ISO 15926, a relationship is defined as the classification of an ordered pair. The pair is
repeated to record another relationship. No two relationships of the same classification have the
same pair in the same order.