När det gäller kraven har olika intressenter ofta olika syn på hur ett föreslaget system bör bete sig, vilket leder till inkonsekvenser mellan deras beskrivningar. Samförstånd kanske inte behövs för varje detalj, men det kan vara svårt att avgöra om en viss oenighet påverkar systemets kritiska egenskaper. I denna papel; beskriver vi Xbel ramverket för sammanslagning och resonemang om flera, inkonsekventa tillstånd maskin modeller. Xbel tillåter analytikern att välja hur man kombinerar information ur flera synvinklar, där varje synpunkt beskrivs med hjälp av en underliggande logik med flera värden. De olika värderingarna i våra logiker representerar typiskt digerenta nivåer av överenskommelser. Vår multivärderade modellkontroll, Xchek, låter oss kontrollera den sammanslagna modellen mot egenskaper som uttrycks i en temporal logik. Den resulterande ramen kan användas som ett prospekteringsverktyg för att stödja kravförhandlingar, genom att bestämma vilka egenskaper som bevaras för olika kombinationer av inkonsekventa synpunkter.
Påskbrook och Chechik REF utvecklar ramen χ bel för sammanslagning av statliga maskinmodeller som beskriver olika beteenden.
A framework for multi-valued reasoning over inconsistent viewpoints
{'venue': 'Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001', 'journal': 'Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001', 'mag_field_of_study': ['Computer Science']}