Detta dokument behandlar formulerings- och formuleringskontroll av en klass av problem som "modelleringslösningar" tillämpas på. Två huvudsakliga mål är att utveckla ett förfarande för problemformulering och att föreslå indikatorer för den formulerade problemkontrollen. Den klass av problem som beaktas analyseras i två kategorier som kräver normativa eller beskrivande lösningar. En detaljerad studie av varje kategori resulterar i ett förfarande för att vägleda analytikern under problemformuleringen. Detta förfarande illustreras av ett trafikkorsningsproblem. Det formulerade problemet mäts med hjälp av indikatorer för att utföra en utvärdering för den formulerade problemverifieringen. Indikatorer utvecklas för att mäta 1) sannolikheten för att misslyckas med att lösa det faktiska problemet, 2) godtagbarheten av en alternativ uppsättning möjliga resultat, och 3) hur väl det formulerade problemet är strukturerat. Ett utvärderingsformulär, som ingår i bilagan, används vid tillämpningen av de föreslagna indikatorerna.
Balci och Nance i REF presenterade ett förfarande på hög nivå för att vägleda analytikern under problemformuleringen; han identifierade behovet av att formulera problemet objektivt och gjorde åtskillnad mellan problem som kräver normativa eller beskrivande lösningar.
Formulated problem verification as an explicit requirement of model credibility
{'venue': None, 'journal': 'Simulation', 'mag_field_of_study': ['Computer Science']}