Abstract-Scenario-baserade specifikationer såsom Message Sequence Charts (MSC) är användbara som en del av en kravspecifikation. Ett scenario är en partiell berättelse som beskriver hur systemkomponenter, miljö och användare arbetar samtidigt och interagerar för att ge systemnivåfunktioner. Scenarier måste kombineras för att ge en mer fullständig beskrivning av systemets beteende. Följaktligen är scenariosyntesen central för en effektiv användning av scenariobeskrivningar. Hur ska en uppsättning scenarier tolkas? Hur förhåller de sig till varandra? Vad är den underliggande semantiken? Vilka antaganden görs när man syntetiserar beteendemodeller från flera scenarier? I detta dokument presenterar vi en strategi för scenariosyntes baserad på en tydlig sund semantik, som kan stödja och integrera många av de befintliga strategierna för scenariosyntes. Tidningens bidrag är trefaldiga. Vi definierar först ett MSC språk med ljud abstrakt semantik i termer av märkta övergångssystem och parallell sammansättning. Språket integrerar befintliga metoder baserade på scenariosammansättning genom att använda MSC på hög nivå (hMSC) och metoder baserade på statlig identifiering genom att införa uttrycklig komponentstatsmärkning. Denna kombination gör det möjligt för intressenterna att dela upp scenariospecifikationerna i hanterbara delar och återanvända scenarier med hjälp av hMCS; den gör det också möjligt för dem att införa ytterligare domänspecifik information och allmänna antaganden uttryckligen i scenariospecifikationen med hjälp av statliga etiketter. För det andra tillhandahåller vi en ljudsyntesalgoritm som omvandlar scenarier till en beteendespecifikation i form av Finite Sequential Processes. Denna specifikation kan analyseras med Labeled Transition System Analyzer med hjälp av modellkontroll och animation. Slutligen visar vi hur många av de antaganden som ingår i befintliga syntesmetoder som kan göras explicita och modellerade i vår strategi. Därför utgör vi grunden för en gemensam strategi för scenariobaserad specifikation, syntes och analys.
REF synthesize en beteendespecifik specifikation i form av en Finite Sequential Process, som kan kontrolleras med hjälp av deras märkta övergångssystem analysator.
Synthesis of Behavioral Models from Scenarios
{'venue': 'IEEE Trans. Software Eng.', 'journal': 'IEEE Trans. Software Eng.', 'mag_field_of_study': ['Computer Science']}