Abstract - Scenarier erkänns i allt högre grad som ett effektivt sätt att få fram, validera och dokumentera programvarukrav. Detta dokument är inriktat på användning av scenarier för kravuppmanande och undersöker processen för att sluta formella specifikationer av mål och krav från scenariobeskrivningar. Scenarier betraktas här som typiska exempel på systemanvändning; de tillhandahålls i form av sekvenser av interaktion steg mellan den avsedda programvaran och dess miljö. Sådana scenarier är i allmänhet partiella, procedurmässiga och lämnar nödvändiga egenskaper om det avsedda systemet implicit. I slutändan måste sådana egenskaper anges tydligt, förklarande termer för överensstämmelse/fullständighetsanalys som ska utföras. En formell metod föreslås för att stödja processen för att dra slutsatser om specifikationer av systemmål och krav induktivt från interaktionsscenarier som tillhandahålls av intressenter. Metoden är baserad på en inlärningsalgoritm som tar scenarier som exempel/motexempel och genererar en uppsättning målspecifikationer i temporal logik som täcker alla positiva scenarier samtidigt som alla negativa. Utmatningsspråket där mål och krav anges är KAOS målbaserade specifikationsspråk. I dokumentet diskuteras också hur den scenariobaserade slutsatsen av målspecifikationerna integreras i KAOS-metoden för målbaserad kravteknik. Framför allt visas fördelarna med att sluta förklarande specifikationer för mål från operativa scenarier genom exempel på formell analys på målnivå, inklusive konfliktanalys, hinderanalys, slutsatser om mål på högre nivå och härledning av alternativa scenarier som bättre uppnår de underliggande målen. Indexvillkor - Scenariobaserade krav som framkallar, induktiva slutsatser av specifikationer, målinriktad kravteknik, specifikationsförfining och analys, lätta formella metoder.
I REF studeras processen att sluta formella specifikationer av mål och krav från scenariobeskrivningar.
Inferring Declarative Requirements Specifications from Operational Scenarios
{'venue': 'IEEE Trans. Software Eng.', 'journal': None, 'mag_field_of_study': ['Computer Science']}