Contratos para el diseño de sistemas

Título original:

Contracts for System Design

Contenido del libro:

Recientemente se ha propuesto el diseño basado en contratos como enfoque "ortogonal" que complementa las metodologías de diseño de sistemas propuestas hasta ahora para hacer frente a la complejidad del diseño de sistemas.

El diseño basado en contratos proporciona un andamiaje riguroso para la verificación, el análisis, la abstracción/refinamiento e incluso la síntesis. Se han obtenido varios resultados en este campo, pero faltaba un tratamiento unificado del tema que ayudara a poner en perspectiva el diseño basado en contratos.

Contracts for System Design ofrece un tratamiento de este tipo en el que los contratos se definen y caracterizan con precisión para que puedan utilizarse en metodologías de diseño sin ambigüedades. Identifica la esencia del diseño de sistemas complejos mediante contratos a través de una "metateoría" matemática, en la que todas las propiedades de la metodología se derivan de una noción muy abstracta y genérica de contrato. Esta metateoría proporciona vínculos profundos y esclarecedores con las teorías existentes sobre contratos e interfaces, así como directrices para diseñar nuevas teorías.

Abarca contratos tanto para software como para sistemas, haciendo hincapié en estos últimos. Contracts for System Design ilustra el uso de contratos con dos ejemplos: la ingeniería de requisitos para la gestión de un aparcamiento, y el desarrollo de contratos para la temporización y la programación en el contexto de la metodología AUTOSAR utilizada en el sector de la automoción.