Abstract-Använda modeller för att uttrycka rättsliga krav är nu vanligt inom kravteknik. Modeller för rättsliga krav, å ena sidan, underlättar kommunikationen mellan programvaruingenjörer och juridiska experter, och å andra sidan utgör en grund för systematisk och automatiserad analys. Den vanligaste tillämpningen av rättsliga krav modeller är för att kontrollera att programvarusystem överensstämmer med lagar och förordningar. I detta erfarenhetsdokument undersöker vi en kompletterande tillämpning av rättsliga kravmodeller, nämligen simulering. Vi konstaterar att på områden som beskattning ger samma modeller som ligger till grund för analysen av regelefterlevnad ett viktigt mervärde genom att möjliggöra simulering. Konkret rapporterar detta dokument om den modellbaserade simuleringen av utvalda rättsliga krav (politik) som härrör från Luxemburgs inkomstskattelag. Det simuleringsscenario som behandlas i dokumentet syftar till att analysera effekterna av ett aktuellt förslag till skattelagstiftningsreform i Luxemburg. Vi beskriver vårt tillvägagångssätt för simulering tillsammans med empiriska resultat som visar på genomförbarheten och noggrannheten i tillvägagångssättet. Vi presenterar vidare de lärdomar som dragits av erfarenheterna.
Slutligen, Soltana et al. REF undersökte den potentiella användningen av rättsliga kravmodeller i simulerade scenarier, t.ex. beskattning.
Model-Based Simulation of Legal Requirements: Experience from Tax Policy Simulation
{'venue': '2016 IEEE 24th International Requirements Engineering Conference (RE)', 'journal': '2016 IEEE 24th International Requirements Engineering Conference (RE)', 'mag_field_of_study': ['Computer Science']}