Integrerade utvecklingsmiljöer som Eclipse gör det möjligt för användare att skriva program snabbt genom att presentera en uppsättning rekommendationer för kodkomplettering. På samma sätt, ordbehandling verktyg såsom Microsoft Word presentera korrigeringar för grammatiska fel i meningar. Båda dessa befintliga strukturredigerare använder en uppsättning begränsningar som uttrycks i form av en naturlig grammatik för att begränsa/korrigera användaren (syntaxledd redigering) eller formell grammatik (språkriktad redigering) för att underlätta slutförandet av dokumentet. För att gå vidare med denna idé presenterar vi i detta dokument ett integrerat programvarusystem som kan generera rekommendationer för modellkomplettering av partiella modeller som är inbyggda i redaktörer för domänspecifika modelleringsspråk. Vi presenterar en metod för att syntetisera modellredigerare utrustade med automatisk komplettering från ett modellspråks deklarativa specifikation som består av en metamodell med en visuell syntax. Denna meta-modell regisserade kompletteringsfunktion drivs av en första ordningens relationslogikmotor implementerad i ALLOY. Vi införlivar automatisk komplettering i generativt verktyg AToM 3. Vi använder de ändliga tillståndsmaskinerna modellera språket som ett koncist kör exempel. Vår strategi utnyttjar en korrekt genom konstruktion filosofi som gör efterföljande simulering av modeller betydligt mindre fel-benägen.
En annan användning av legering beaktas i REF, där författarna presenterar en meta-modell riktad modellkomplettering funktion, i samband med kodkomplettering stöd i redaktörer för domänspecifika modellering språk.
Towards Domain-specific Model Editors with Automatic Model Completion
{'venue': None, 'journal': 'SIMULATION', 'mag_field_of_study': ['Computer Science']}