Abstract Modellomvandling är en av de grundläggande principerna för modelldriven arkitektur. För att bygga ett programvarusystem utförs en sekvens av omvandlingar, från krav och slutar med implementering. Kraven är dock oftast i form av text, men inte en modell som lätt kan förstås av datorer; därför är automatiserade omvandlingar från krav till analysmodeller inte lätta att uppnå. Det övergripande syftet med denna systematiska utvärdering är att undersöka befintliga litteraturverk som omvandlar textkrav till analysmodeller, lyfter fram öppna frågeställningar och ger förslag på potentiella riktningar för framtida forskning. Den systematiska utvärderingen ledde till en analys av 20 primära studier (16 tillvägagångssätt) som erhållits efter ett noggrant utformat förfarande för att välja ut artiklar publicerade i tidskrifter och konferenser mellan 1996 och 2008 och Software Engineering läroböcker. En konceptuell ram är utformad för att tillhandahålla gemensamma begrepp och terminologi och för att definiera en enhetlig omvandlingsprocess. Detta underlättar jämförelsen och utvärderingen av de granskade dokumenten. En av de grundläggande principerna för modelldriven arkitektur (MDA) [29] är modellomvandling. För att bygga ett programvarusystem utförs en serie transformationer: omvandling från krav till plattformsoberoende modell (PIM) (analysmodellen), omvandling från PIM till plattformsspecifik modell (PSM) (designmodellen) och omvandling från PSM till kod. Omvandlingen från krav till analysmodell är dock inte en del av MDA:s livscykel, som utgår från en analysmodell och avslutas med utplacerad kod [29]. Anledningen till detta undantag är kanske att kraven till största delen är i textform, vilket inte är en modell som är formell nog att förstås av datorer. Som ett resultat, krav är inte lämpliga för automatiserade transformationer, och endast manuella heuristik, såsom Abbotts heuristik [4], följs i allmänhet [9, 32]. Men om en (semi-) automatiserad omvandlingsteknik från krav till analysmodell utarbetades skulle den bidra till att fylla en viktig lucka i MDA:s programvaruutvecklingslivscykel. Om dessa omvandlingar kan automatiseras kan fullständig spårbarhet erhållas från kraven (genom PIM och PSM) till den ultimata programvarukoden samtidigt. Spårbarhet är förmågan att koppla krav till motsvarande analys- och designmodeller, kod, testfall och andra programvaruartefakter. Spårbarhet är viktigt under programvaruutveckling eftersom det gör det möjligt för ingenjörer att förstå kopplingarna mellan olika artefakter i ett programvarusystem, och det används också för att avgöra om
Modellomvandling är en av de grundläggande principerna för modelldriven arkitektur REF.
A systematic review of transformation approaches between user requirements and analysis models
{'venue': 'Requirements Engineering', 'journal': 'Requirements Engineering', 'mag_field_of_study': ['Computer Science']}