Framsteg inom genomträngande teknik har gjort det möjligt att överväga storskaliga tillämpningstyper som potentiellt spänner över heterogena organisationer, tekniker och utrustningstyper. Denna typ av tillämpning kommer att ha en flerskiktsarkitektur, där varje skikt sannolikt kommer att använda språk och teknik som är lämplig för dess egna intressen. Ett exempel är ett geografiskt storskaligt krishanteringssystem. Vanligtvis, sådana applikationer är skyldiga att dynamiskt anpassa sitt beteende baserat på nuvarande omständigheter, med anpassningar som potentiellt påverkar alla skikt av programmet. De komplexiteter som är förknippade med dynamisk anpassning av flerskiktstillämpningar kommer i hög grad att gynnas av formella metoder för specifikationen. I denna artikel presenteras en ny metod för flexibel, multilayer applikationsanpassning, med lagerspecifika anpassningslösningar mallar bundna till program missmatchningar som är organiserade i hierarkiska taxonomier. Mallar kan länkas antingen genom direkta anrop eller genom anpassningsevenemang som stöder flexibel anpassning över lager. Metoden illustrerar användningen av olika formalismer för olika delar av specifikationen. I synnerhet kombinerar vi semiformell metamodeling teknik för systemmodell specifikation med formella Petri nät, som används för att fånga mall matchmaking med hjälp av nåbarhetsanalys. Detta arbete visar hur befintliga formalismer kan användas för specifikationen av en generisk anpassningsmodell för genomträngande tillämpningar. Allmänna villkor: Algoritmer Ytterligare nyckelord och fraser: Cross-layer anpassning, multilayer applikationer, taxonomier av program missmatchningar, anpassningsmallar, matchmaking, context-aware system, Petri nät ACM Referensformat: Popescu, R., Staikopoulos, A., Brogi, A., Liu, P., och Clarke, S. 2012. En formaliserad, taxonomidriven metod för anpassning mellan skikt.
En metod för dynamisk och flexibel anpassning av flerskiktstillämpningar föreslås i REF.
A formalized, taxonomy-driven approach to cross-layer application adaptation
{'venue': 'TAAS', 'journal': None, 'mag_field_of_study': ['Computer Science']}