Language, Notation, Model + Template DSL

Jun 26, 2010 20:53

Хотел бы продолжить обсуждение Product-related классов, начатое в записи Виктора ( http://community.livejournal.com/praxos/4595.html).
Там не были затронуты классы, связанные с моделированием: ModelUnitUsage, Language, Notation. При типизации ISO 24744 у меня был ряд сомнений, поэтому прошу оценить, предложенный вариант. Получилось воспользоваться ( Read more... )

Leave a comment

Comments 5

vvagr June 27 2010, 09:42:14 UTC
Всё-таки дерево метамодели упирается верхушкой не в Thing, а в AbstractObject :-)

Element - AbstractObject

EndeavourElement - очень хочется сказать что это ClassOfIndividual, так как он объединяет инстансы на уровне предпринятия, а это уже индивидуалы вроде.

MethodologyElement - это Class.

Template - ClassOfClass.

А про Resource опять-таки хочется сказать что это ClassOfIndividual, так как он опять таки содержит только инстансы на уровне предпринятия и не содержит классов, как обсуждали http://community.livejournal.com/praxos/6194.html

Далее, меня мучают вопросы методологической правильности в соответствии с 15926. Сейчас сделаю об этом пост.

Reply

kir_lis June 28 2010, 08:11:57 UTC
"Element - AbstractObject"
Согласен.

Логичный и красивый подход:
EndeavourElement - ClassOfIndividual
MethodologyElement - Class
Template - ClassOfClass
Resource - ClassOfIndividual

Но зависит от того, как интерпретировать, например, Action и WorkPerformance и их Kind, а также, например, Сonstraint (подкласс Resource). Один из вариантов, как ClassOfRelationship и ClassOfClassOfRelationship.
В таком случае:
EndeavourElement - AbstractObject
MethodologyElement - AbstractObject (включает и Class, и Relationship)
Template - ClassOfAbstractObject (включает и ClassOfClass, и ClassOfRelationship)
Resource - ClassOfAbstractObject (включает и Class, и Relationship).

Первый вариант лучше мне кажется. Разбираюсь. Надо проанализировать аналогично вашим рассуждениям про ModelUnitUsage, имеет ли смысл их классификация как ClassOfRelationship.

Reply

vvagr June 28 2010, 09:32:35 UTC
"EndeavourElement - AbstractObject
MethodologyElement - AbstractObject"

Вы Class забыли!

Как интерпретироватьAction и WorkPerformance как раз не важно:

Class включает class_of_relationship

Все Kinds - ClassOfClassOf..., то есть не важно, классифицируем ли мы конкретные EndeavourElements как ClassOfIndividual или ClassOfRelationship, всё равно Templates будут ClassOfClass.

Reply

kir_lis June 28 2010, 11:15:31 UTC
Согласен.

"В таком случае:
EndeavourElement - AbstractObject
MethodologyElement - Class
Template - ClassOfAbstractObject (включает и ClassOfClass, и ClassOfRelationship)
Resource - ClassOfAbstractObject (включает и ClassOfClass, и ClassOfRelationship)."

Reply


Leave a comment

Up