En programvaruarkitektur beskriver strukturen i ett datorsystem genom att ange programvarukomponenter och deras interaktioner. Att kartlägga en programvaruarkitektur till en implementation är en välkänd utmaning. En viktig del i denna kartläggning är arkitekturens beskrivning av data och kontrollflödesinteraktioner mellan komponenter. Karaktäriseringen av dessa interaktioner kan vara ganska abstrakt eller mycket konkret, vilket ger mer eller mindre genomförande vägledning, programmeringsstöd och statisk verifiering. I detta dokument utforskar vi en punkt i designutrymmet mellan abstrakta och konkreta komponentinteraktionsspecifikationer. Vi introducerar en idé om interaktionsavtal som uttrycker tillåtna interaktioner mellan komponenter, beskriver både data och kontroll-flöde begränsningar. Denna deklaration är en del av arkitekturbeskrivningen, möjliggör generering av omfattande programmeringsstöd och möjliggör olika verifieringar. Vi snabbar in vårt tillvägagångssätt i ett arkitekturbeskrivningsspråk för Sense/Compute/Control-applikationer, och beskriver tillhörande sammanställnings- och verifieringsstrategier.
Cassou m.fl. utforskade konstruktionsutrymmet mellan abstrakta och konkreta komponentinteraktionsspecifikationer REF.
Leveraging software architectures to guide and verify the development of sense/compute/control applications
{'venue': "ICSE '11", 'journal': None, 'mag_field_of_study': ['Computer Science']}