Abstract-Model-driven analys syftar till att upptäcka konstruktionsfel tidigt i högnivådesignmodeller genom att automatiskt härleda matematiska modeller. Dessa analysmodeller undersöks därefter med hjälp av formella verktyg för kontroll och validering (V&V), som kan hitta spår som bryter mot ett visst krav. Syftet med back-annotation är att kartlägga resultaten av V&V-verktyg till designmodellen för att belysa den verkliga orsaken till felet, för att underlätta nödvändiga ändringar. Här föreslår vi en teknik för back-annotering av simuleringsspår baserat på förändringsdrivna modellomvandlingar. Simuleringar spår av analys modeller kommer att finnas kvar som en förändring modell med hög nivå förändring kommandon som representerar makro steg av ett spår. Detta spår är bakåt annoterat till designmodellen med hjälp av förändringsdrivna omvandlingsregler, som överbryggar de begreppsmässiga skillnaderna mellan makrosteg i analysen och mönsterspår. Våra koncept kommer att demonstreras på back-annotation problem för att analysera BPEL processer med hjälp av en Petri nätsimulator.
Hegedüs m.fl. I REF föreslås en teknik för bakutbredning av simuleringsspår baserat på förändringsdrivna modellomvandlingar från spår som genereras av SAL-modellkontrollramen till den specifika animatorn BPEL Animation Controller.
Back-annotation of Simulation Traces with Change-Driven Model Transformations
{'venue': '2010 8th IEEE International Conference on Software Engineering and Formal Methods', 'journal': '2010 8th IEEE International Conference on Software Engineering and Formal Methods', 'mag_field_of_study': ['Computer Science']}