Abstract-Det är väl känt att kravteknik spelar en avgörande roll för programvarukvaliteten. Användningsfallsmetoden är en teknik för att framkalla krav som vanligen används i industriella tillämpningar. Programvarukrav anges som en samling användningsfall, som var och en är skriven i användarens perspektiv och beskriver ett specifikt flöde av händelser i systemet. Användningsfallet erbjuder flera praktiska fördelar i detta användningsfall krav är relativt lätt att beskriva, förstå och spåra. Tyvärr finns det ett par stora nackdelar. Eftersom användningsfall ofta anges på naturliga språk, saknar de formell syntax och semantik. Dessutom är det svårt att analysera deras globala systembeteende för fullständighet och konsekvens, delvis eftersom användningsfall beskriver endast partiella beteenden och eftersom interaktioner mellan dem sällan representeras explicit. I detta dokument föreslår vi en strategi för begränsningsbaserade modulära Petri Nets (CMPN) som ett effektivt sätt att formalisera de informella aspekterna av användningsfall. CMPN, en utvidgning av plats-/övergångsnäten, möjliggör en formell och stegvis specifikation av kraven. De viktigaste bidragen i vårt dokument, förutom de formella definitionerna av CMPN, är utvecklingen av 1) ett systematiskt förfarande för att omvandla användningsfall som anges i naturligt språk till en CMPN-modell, och 2) en uppsättning riktlinjer för att hitta inkonsekvens och ofullständighet i CMPN. Vi demonstrerar en tillämpning av vårt tillvägagångssätt med användningsfall som utvecklats för telekommunikationstjänster.
I REF föreslås en variant av Petri Nets (konstraintsbaserade modulära petrinät-CMPN) för modellering av användningsfall.
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
{'venue': 'IEEE Trans. Software Eng.', 'journal': None, 'mag_field_of_study': ['Computer Science']}