📖 Специализированные модели для разработки информационных систем. Формализованная модель на основе комбинации средств UML и CSP-OZ.

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