Skip to content
  Projet Triskell  

Declarative Specification Generation

Document Actions
This section describes the setup of different parameters required to generate an Alloy declarative model for a new or an existing meta-model. We then show how an Alloy model can be generated from the input meta-model.


1. Let us take the example of Simple UML Class Diagrams as the input meta-model in the directory:


2. Open the file "platform:/resource/Pramana/demo/MDD4DRES/SimpleUMLCD/bin/metamodel2AlloyModel.kmt"

3. You can now set the parameters in this file. In the operation initialize of the Class Main you will find the following options.

operation initialize():Void is do
        //Setting Input Kermeta Meta-model Path
         self.inputModelPath := "platform:/resource/Pramana/demo/MDD4DRES/SimpleUMLCD/input/metamodel/"
        //Setting Output Meta-model Path
        self.outputModelPath := "platform:/resource/Pramana/demo/MDD4DRES/SimpleUMLCD/output/alloyModel/simpleUML_MM_gts.als"
        //Setting Synthesis Scope for Classes
        self.synthesisScope := 20
        //Setting Synthesis Scope for Integer
        self.integerScope := 5
        //Setting Synthesis Scope for Sequences
        self.sequenceScope := 5
        //Setting Synthesis Scope for String
        self.stringScope := 5
        //Use Integer instead of String
        self.useIntForString := true
        //Setting Experiment/Strategy
        self.experimentSelection := Experiment.GenerateAndTestSimple
        //self.experimentSelection := Experiment.GenerateAndTestCustom
        //self.experimentSelection := Experiment.ModelFragmentsAllRanges
        //self.experimentSelection := Experiment.ModelFragmentsAllPartitions

4. To Generate an Alloy Model : Right Click -> Run As -> Kermeta Application

5. An Alloy model is generated for the GenerateAndTestSimple strategy in: