Zmluvy pre návrh systému

Pôvodný názov:

Contracts for System Design

Obsah knihy:

Nedávno bol navrhnutý návrh založený na zmluve ako "ortogonálny" prístup, ktorý dopĺňa doteraz navrhnuté metodiky návrhu systému, aby sa vyrovnal so zložitosťou návrhu systému.

Návrh založený na zmluvách poskytuje prísne lešenie pre verifikáciu, analýzu, abstrakciu/zjemnenie a dokonca aj syntézu. V tejto oblasti sa dosiahlo niekoľko výsledkov, ale chýbalo jednotné spracovanie tejto témy, ktoré by pomohlo priblížiť návrh založený na zmluvách.

Kontrakty pre návrh systému poskytujú takéto spracovanie, v ktorom sú kontrakty presne definované a charakterizované tak, aby sa mohli bez nejasností používať v metodikách návrhu. Identifikuje podstatu komplexného systémového návrhu pomocou kontraktov prostredníctvom matematickej "metateórie", kde sú všetky vlastnosti metodiky odvodené od veľmi abstraktného a všeobecného pojmu kontrakt. Táto meta-teória poskytuje hlboké a poučné prepojenia s existujúcimi teóriami kontraktov a rozhraní, ako aj usmernenia na navrhovanie nových teórií.

Zahŕňa kontrakty pre softvér aj systémy, pričom dôraz sa kladie na posledne menované. Kontrakty pre návrh systému ilustrujú použitie kontraktov na dvoch príkladoch: inžinierstvo požiadaviek na riadenie parkovacích garáží a vývoj kontraktov pre časovanie a plánovanie v kontexte metodiky AUTOSAR používanej v automobilovom sektore.