Abstrakt. Component-Based Software Engineering (CBSE) är en av metoderna för att behärska utvecklingen av storskalig programvara. I detta sammanhang är kontrollfrågan fortfarande en utmaning. I det aktuella arbetet behandlas komponenternas och deras tjänsters kompatibilitet. En komponentmodell (Kmelia) införs; en tillhörande formalism, enkel men uttrycksfull; den beskriver tjänsterna som utvidgade LTS och deras struktur som komponenter. Komponenternas kompatibilitet definieras på grundval av tjänsternas jämförbarhet. För att säkerställa att komponentsammansättningen är korrekt kontrollerar vi att en montering är möjlig genom kontroll av kompatibiliteten hos de länkade tjänsterna och deras beteendekompatibilitet. För att mekanisera vårt tillvägagångssätt översätts tjänsterna och komponenterna till Lotos formalism. Slutligen används verktygslådan Lotos CADP för att utföra experiment.
I REF, författarna behandlar kompatibiliteten av komponenter.
Checking Component Composability
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}