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