Vi studerar relationen mellan specifikationer av komponentbeteenden och kontrakt som ger medel för att specificera antaganden om miljöer samt komponentgarantier. Vi visar hur ett kontraktsramverk kan byggas på ett generiskt sätt utöver varje specifikationsteori som stödjer komposition och specifikationsförfining. Vårt kontraktsramverk lyfter förfining till kontraktsnivån och föreslår ett begrepp om kontraktssammansättning på grundval av dominerande kontrakt. Kontraktssammansättningen uppfyller en universell egenskap och kan på ett konstruktivt sätt definieras om den underliggande specifikationsteorin är fullständig, dvs. Det erbjuder operatörer för quotientering och sammanjämkning av specifikationer. Vi illustrerar vår allmänna konstruktion av kontrakt genom att flytta en specifikationsteori för modala övergångssystem till kontrakt och vi visar att en (tidigare föreslagen) spårbaserad kontraktsteori är ett exempel på vårt ramverk.
Förhållandet mellan specifikationer av komponentbeteenden och kontrakt studeras ytterligare av Bauer et al. REF där ett kontraktsramverk kan byggas utöver varje specifikationsteori utrustad med en kompositionsoperatör och ett förfiningsförhållande som uppfyller vissa egenskaper.
Moving from Specifications to Contracts in Component-Based Design
{'venue': 'FASE', 'journal': None, 'mag_field_of_study': ['Computer Science']}