Abstract-Krav modellering hjälper mjukvaruingenjörer att förstå ett systems nödvändiga beteende och utforska alternativa systemdesigner. Det genererar också en formell programvaruspecifikation som kan användas för testning, verifiering och felsökning. Men att utarbeta sådana modeller kräver expertis och betydande mänskliga ansträngningar. Dokumentet syftar till att minska denna insats genom att automatisera en väsentlig verksamhet av kravmodellering som består i att härleda en maskinspecifikation som uppfyller en uppsättning mål inom ett område. Den introducerar deontic inputoutput automata -en förlängning av input-output automata med behörigheter och skyldigheter-och en automatiserad syntesteknik över denna formalism för att stödja sådan här härledning. Denna teknik hjälper modeller att tidigt identifiera när ett mål inte är genomförbart i en domän och kan vägleda utforskandet av alternativa modeller för att göra målen realistiska. Syntestekniker för input-output eller gränssnittsautomata är inte lämpliga för kravmodellering.
Leater och Heaven REF föreslår att medlarsyntes används för att härleda en maskinspecifikation som uppfyller en uppsättning krav i en given miljö.
Requirements modelling by synthesis of deontic input-output automata
{'venue': "ICSE '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}