Декларативное определение условий непротиворечивости в ERM-метасхеме А. М. Бабанов, А. В. Петров
Material type: ArticleOther title: Declarative definition of consistency conditions in erm metaschema [Parallel title]Subject(s): RM-модели | непротиворечивость репозитория | схема данных | метасхема модели данных | разработка, управляемая моделямиGenre/Form: статьи в журналах Online resources: Click here to access online In: Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 51. С. 94-101Abstract: Продолжено описание реализации ERM-репозитория и представлен альтернативный способ создания механизма, обеспечивающего непротиворечивость схем. Он заключается в расширении метасхемы ERM-модели за счет включения в нее условий непротиворечивости элементов схем. При таком декларативном подходе (в противоположность преимущественно процедурному подходу, реализованному в текущем прототипе репозитория) появление новых условий не будет сопровождаться программированием соответствующих проверок элементов репозитория, так как верификацию будет выполнять универсальная программа интерпретации метасхемы.Библиогр.: 10 назв.
Продолжено описание реализации ERM-репозитория и представлен альтернативный способ создания механизма, обеспечивающего непротиворечивость схем. Он заключается в расширении метасхемы ERM-модели за счет включения в нее условий непротиворечивости элементов схем. При таком декларативном подходе (в противоположность преимущественно процедурному подходу, реализованному в текущем прототипе репозитория) появление новых условий не будет сопровождаться программированием соответствующих проверок элементов репозитория, так как верификацию будет выполнять универсальная программа интерпретации метасхемы.
There are no comments on this title.