För att utveckla komplexa ingenjörssystem krävs konsolidering av modeller från en rad olika områden såsom ekonomi, mekanik och programvaruteknik. Dessa modeller skapas vanligtvis med hjälp av olika formalismer och av intressenter som har olika åsikter om samma problematik. Den utmanande frågan är: vad krävs för att se till att alla dessa olika modeller förblir konsekventa under designprocessen? En genomgång av den relaterade litteraturen visar att detta fortfarande är en öppen utmaning och ännu inte har undersökts på en grundläggande nivå inom ramen för modellbaserad systemteknik (MBSE). Därför är detta dokument särskilt inriktat på att undersöka grunderna för en konsekvent förvaltning. Vi visar att vissa inkonsekvenser inte kan upptäckas och drar slutsatsen att det är omöjligt att säga om ett system är fullständigt konsekvent eller inte. I detta dokument introducerar vi först en matematisk grund för att definiera konsekvens på ett formellt sätt. Ett beslutsbaserat tillvägagångssätt för design studeras sedan och tillämpas på utvecklingen av ett verkligt exempel. Forskningen avslöjar flera olika typer av inkonsekvenser som kan uppstå under konstruktion och utveckling av ett system. Vi visar att dessa inkonsekvenser ytterligare kan delas in i två grupper: intern och extern konsekvens. Av dessa insikter konstrueras ontologin av inkonsekvenser. Slutligen föreslås krav på eventuellt verktygsstöd och metoder för att identifiera och hantera specifika typer av överensstämmelsefrågor.
Detta resulterade i Herzig et al. undersöka grunderna för konsekvent hantering i modeller av komplexa system REF.
A Conceptual Framework for Consistency Management in Model-Based Systems Engineering
{'venue': 'Volume 2: 31st Computers and Information in Engineering Conference, Parts A and B', 'journal': 'Volume 2: 31st Computers and Information in Engineering Conference, Parts A and B', 'mag_field_of_study': ['Engineering']}