Konformiteten mellan strukturella modeller och deras genomförande förenklas vanligtvis i praktiken, vilket begränsar resonemanget till enkla kartläggningar mellan modellering och genomförandekonstruktioner. Detta är inte lämpligt för att tillgodose den vanliga genomförandefriheten för abstrakta begrepp. Ett mer flexibelt överensstämmelsebegrepp måste åtgärdas genom verktyg för kontroll av överensstämmelse och modelldriven utveckling. I detta dokument föreslår vi en formell ram för att definiera överensstämmelserelationer mellan strukturella objektmodeller och objektorienterade program. I vårt ramverk måste en syntaktisk kartläggning mellan modell- och programelement tillhandahållas, vilket ger ett kopplingsförhållande, som används inom ramen för moment för specifika överensstämmelserelationer. Dessutom, som i praktiken vissa mellanliggande program stater inte är relevanta för konformitet, vi inkluderar begreppet högar av intresse, som omfattar filtrerade stabila tillstånd för en mindre strikt konformitet kontroll. Ramverket tillämpas för att etablera ett överensstämmelseförhållande i en teknik för modelldriven refaktoring av program.
Massoni, Gheyi och Borba REF tar upp frågan om "konformitet" mellan objektmodeller och program.
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}