Abstrakt. Modeller används i stor utsträckning inom programvaruteknik och tillsammans med sina system utvecklas de med tiden. Att hantera deras förändringar är därför en viktig utmaning för systemets hållbarhet. Befintliga metoder för modelldiversifiering är inriktade på heuristik som matchar modellelement och på att hitta och presentera skillnader på en konkret eller abstrakt syntaktisk nivå. Även om dessa metoder visar viss framgång, är de i sig begränsade till att jämföra syntaktiska strukturer. Denna uppsats är ett manifest för forskning om semantiska modeller som skiljer sig åt. Vi presenterar vår vision att utveckla semantiska diff-operatörer för modelljämförelser: operatörer vars insats består av två modeller och vars resultat är en uppsättning diff-vittnen, fall av en modell som inte är fall av den andra. I synnerhet, om modellerna är syntaktiskt olika men det inte finns några diff vittnen, modellerna är semantiskt likvärdiga. Vi visar vår vision med hjälp av två konkreta diff-operatörer, för klassdiagram och för aktivitetsdiagram. Vi motiverar användningen av semantiska diff-operatörer, diskuterar kortfattat algoritmerna för att beräkna dem, listar relaterade utmaningar och visar deras tillämpning och potentiella användning som nya grundläggande byggstenar för förändringshantering inom modelldriven teknik.
Maoz m.fl. definiera en semantisk diff som en operatör som tar som inmatning två modeller och utgångar en uppsättning diff vittnen, dvs. fall av en modell som inte är fall av den andra REF.
A Manifesto for Semantic Model Differencing
{'venue': "Proceedings Int. Workshop on Models and Evolution (ME'10), co-located with MoDELS'10. J. Dingel and A. Solberg (Eds.): MoDELS Workshops, LNCS 6627, pp. 194 - 203, 2010", 'journal': None, 'mag_field_of_study': ['Computer Science']}