Sammanhang: Anpassning är en avgörande fråga när man bygger nya tillämpningar genom att återanvända befintliga programvarutjänster som inte ursprungligen utformats för att samarbeta med varandra. Anpassningsavtal beskriver sammansättningsbegränsningar och anpassningskrav för dessa tjänster. Att skriva denna specifikation av en designer är en svår och felbenägen uppgift, särskilt när interaktionsprotokoll beaktas i servicegränssnitt. Mål: I den här artikeln föreslår vi ett verktygsbaserat, interaktivt tillvägagångssätt för att stödja kontraktsutformningsprocessen. Metod: Vårt tillvägagångssätt inkluderar: (i) en grafisk notation för att definiera portbindningar, och ett gränssnitt kompatibilitet åtgärd för att jämföra protokoll och föreslå vissa portanslutningar till designern, (ii) kompositions- och hierarkiska tekniker för att underlätta specifikationen av anpassningskontrakt genom att bygga dem stegvis, (iii) validerings- och verifieringstekniker för att kontrollera att kontraktet kommer att få de inblandade tjänsterna att fungera korrekt och som förväntas av designern. Resultat: Våra resultat visar en minskning både i den mängd arbete som designern måste göra för att bygga kontraktet, samt i antalet fel som förekommer i slutresultatet (särskilt högre när det gäller manuell specifikation). Slutsats: Vi drar slutsatsen att det är viktigt att tillhandahålla integrerat verktygsstöd för specifikation och kontroll av anpassningskontrakt, eftersom deras felaktiga specifikation leder till felaktiga utföranden av systemet. Såvitt vi vet har sådant stöd inte tillhandahållits genom något annat tillvägagångssätt hittills, och därför anser vi att de tekniker som beskrivs i detta dokument är ett viktigt bidrag till området för anpassning av beteendeprogram.
Dessutom tillhandahåller REF ett integrerat verktygsstöd för specifikation och validering och verifiering av anpassningsavtal.
Interactive Specification and Verification of Behavioural Adaptation Contracts
{'venue': 'QSIC', 'journal': None, 'mag_field_of_study': ['Computer Science']}