Szerződések a rendszertervezéshez

Eredeti címe:

Contracts for System Design

Könyv tartalma:

A közelmúltban a szerződésalapú tervezést olyan "ortogonális" megközelítésként javasolták, amely kiegészíti az eddig javasolt rendszertervezési módszereket, hogy megbirkózzon a rendszertervezés összetettségével.

A szerződésalapú tervezés szigorú keretet biztosít a verifikációhoz, az elemzéshez, az absztrakcióhoz/finomításhoz, sőt a szintézishez is. Számos eredmény született ezen a területen, de hiányzik a téma egységes kezelése, amely segíthet a szerződésalapú tervezés perspektívába helyezésében.

A Contracts for System Design ilyen kezelést nyújt, amelyben a szerződések pontosan definiálva és jellemezve vannak, hogy a tervezési módszertanokban félreérthetetlenül használhatók legyenek. A szerződést használó komplex rendszertervezés lényegét egy matematikai "metaelméleten" keresztül határozza meg, ahol a módszertan minden tulajdonsága a szerződés egy nagyon absztrakt és általános fogalmából származik. Ez a metaelmélet mély és megvilágító kapcsolatokat biztosít a meglévő szerződés- és interfészelméletekkel, valamint iránymutatásokat ad új elméletek kialakításához.

Mind a szoftverekre, mind a rendszerekre vonatkozó szerződéseket felöleli, hangsúlyt fektetve az utóbbiakra. A szerződések a rendszertervezéshez című könyv két példán keresztül szemlélteti a szerződések használatát: egy parkolóház-üzemeltetés követelménytervezése, valamint az autóiparban használatos AUTOSAR módszertan keretében az időzítésre és ütemezésre vonatkozó szerződések kidolgozása.