Одним из важных факторов разработки современного программного обеспечения является формализованный подход, обеспечивающий строгое и однозначное описание создаваемого программного продукта. Наилучший эффект применения формализованных средств достигается в случае их адекватного использования на всех необходимых этапах разработки, начиная от постановки задачи до этапа непосредственной реализации и внедрения программного продукта. Такой подход обеспечивает возможность компактного описания и принятия обоснованных решений по методам реализации. Основу формализованного подхода составляет построение формальной модели, с помощью которой обеспечивается не только описание соответствующих компонент программного продукта на всех этапах жизненного цикла программного обеспечения, но и проведение предварительных исследований по выбору адекватных методов разработки и реализации. В работе предлагается один из подходов к построению специализированной объектно-ориентированной модели для создания... Это и многое другое вы найдете в книге Специализированные модели для разработки информационных систем (Арслан Еникеев und Тахар Бендума)