This page is hosted for free by
zzz.com.ua, if you are owner of this page, you can remove this message and gain access to many additional features by upgrading your hosting to PRO or VIP for just 8.33 UAH.
Do you want to support owner of this site?
Click here and buy hosting plan!
В работе обсуждается использование языков формальных спецификаций, в частности, RSL для проектирования реляционных
баз данных на примере небольшого проекта GSAU - "Коммуникационная Компонента Системы Управления Заправочной Станцией".
В проекте описываются две пары таблиц, попарно связанных отношением один- ко - многим.
Одна пара содержит реальное состояние насосов заправочной станиции, другая служит для передачи управляющих
сигналов от операторов к контроллеру насосов.