Abstrakt. Webbtjänster har utvecklats som en viktig teknik i dag. Det finns två typer av krav som är avgörande för webbtjänstens sammansättning, som är funktionella och icke-funktionella krav. Funktionella krav fokuserar på funktionaliteten hos den sammansatta tjänsten, t.ex., med tanke på en bokningstjänst, ett exempel på funktionskrav är att en flygbiljett med högre pris än $ 2000 aldrig kommer att köpas. Icke-funktionella krav gäller kvaliteten på tjänsten (QoS), t.ex. ett exempel på bokningstjänstens icke-funktionella krav är att tjänsten kommer att svara på användaren inom 5 sekunder. Icke-funktionella krav är viktiga för webbtjänstens sammansättning och är ofta en viktig klausul i servicenivåavtal. Även om de funktionella kraven är uppfyllda, kan en långsam eller opålitlig tjänst fortfarande inte antas. I vårt dokument föreslår vi ett automatiserat tillvägagångssätt för att verifiera kombinerade funktionella och icke-funktionella krav direkt baserat på semantiken i webbtjänstens sammansättning. Vår strategi har implementerats och utvärderats i de verkliga fallstudierna, som visar hur effektiv vår metod är.
I REF föreslår vi ett tillvägagångssätt för att verifiera de funktionella och icke-funktionella kraven för webbtjänstens sammansättning.
Verification of Functional and Non-functional Requirements of Web Service Composition
{'venue': 'ICFEM', 'journal': None, 'mag_field_of_study': ['Computer Science']}