СПЕЦИАЛИЗИРОВАННЫЕ МОДЕЛИ ДЛЯ РАЗРАБОТКИ
ПРИЛОЖЕНИЙ БАЗ ДАННЫХ НА ОСНОВЕ КОМБИНАЦИИ СРЕДСТВ UML И
CSP-OZ
// Ученые записки КФУ. Физико-математические науки 2009 N3
В работе предлагается один из подходов к построению
специализированной модели для разработки приложений баз данных,
основанный на соединении средств описания диаграмм UML с
формальным аппаратом теории CSP-OZ. Предлагаемый подход
демонстрируется на реляционной модели данных.