СПЕЦИАЛИЗИРОВАННЫЕ МОДЕЛИ ДЛЯ РАЗРАБОТКИ ПРИЛОЖЕНИЙ БАЗ ДАННЫХ НА ОСНОВЕ КОМБИНАЦИИ СРЕДСТВ UML И CSP-OZ // Ученые записки КФУ. Физико-математические науки 2009 N3

Abstract

В работе предлагается один из подходов к построению специализированной модели для разработки приложений баз данных, основанный на соединении средств описания диаграмм UML с формальным аппаратом теории CSP-OZ. Предлагаемый подход демонстрируется на реляционной модели данных.