import models/CoreFormalism as CF

CF core {
    Group admin_group {
        name = "admin"
    }

    Group nobody {
        name = "nobody"
    }

    User admin_user {
        name = "admin"
        admin = True
        password = "c7ad44cbad762a5da0a452f9e854fdc1e0e7a52a38015f23f3eab1d80b931dd472634dfac71cd34ebc35d16ab7fb8a90c81f975113d6c7538dc69dd8de9077ec"
    }

    ownedBy (admin_group, admin_user) {}
    belongsTo (admin_user, admin_group) {}

    Model SimpleClassDiagrams {
        name = "SimpleClassDiagrams"
        location = "models/SimpleClassDiagrams/model"
        permissions = "221"
    }
    group (SimpleClassDiagrams, admin_group) {}
    owner (SimpleClassDiagrams, admin_user) {}

    Model Tracability {
        name = "Tracability"
        location = "models/Tracability/model"
        permissions = "221"
    }
    group (Tracability, admin_group) {}
    owner (Tracability, admin_user) {}

    Model ProcessModel {
        name = "ProcessModel"
        location = "models/ProcessModel/model"
        permissions = "221"
    }
    group (ProcessModel, admin_group) {}
    owner (ProcessModel, admin_user) {}

    Model ActionLanguage {
        name = "ActionLanguage"
        location = "models/ActionLanguage/model"
        permissions = "221"
    }
    group (ActionLanguage, admin_group) {}
    owner (ActionLanguage, admin_user) {}

    Model ManualOperation {
        name = "ManualOperation"
        location = "models/ManualOperation/model"
        permissions = "221"
    }
    group (ManualOperation, admin_group) {}
    owner (ManualOperation, admin_user) {}

    ActionLanguage conformance_mv {
        name = "conformance_mv"
        location = "models/Conformance_MV/model"
        permissions = "221"
    }
    group (conformance_mv, admin_group) {}
    owner (conformance_mv, admin_user) {}

    transformInput (conformance_mv, SimpleClassDiagrams) {
        name = "model"
    }
    transformInput (conformance_mv, SimpleClassDiagrams) {
        name = "metamodel"
    }

    Model CoreFormalism {
        name = "CoreFormalism"
        location = "models/CoreFormalism/model"
        permissions = "221"
    }
    group (CoreFormalism, admin_group) {}
    owner (CoreFormalism, admin_user) {}

    Model Core {
        name = "core"
        location = "models/core/model"
        permissions = "220"
    }
    group (Core, admin_group) {}
    owner (Core, admin_user) {}

    Model bottom {
        name = "bottom"
        location = "models/bottom/model"
        permissions = "221"
    }
    group (bottom, admin_group) {}
    owner (bottom, admin_user) {}

    instanceOf inst_SCD (SimpleClassDiagrams, SimpleClassDiagrams) {
        typing_location = "models/SimpleClassDiagrams/type_mapping"
    }
    instanceOf inst_trace (Tracability, SimpleClassDiagrams) {
        typing_location = "models/Tracability/type_mapping"
    }
    instanceOf inst_pm (ProcessModel, SimpleClassDiagrams) {
        typing_location = "models/ProcessModel/type_mapping"
    }
    instanceOf inst_al (ActionLanguage, SimpleClassDiagrams) {
        typing_location = "models/ActionLanguage/type_mapping"
    }
    instanceOf inst_man (ManualOperation, SimpleClassDiagrams) {
        typing_location = "models/ManualOperation/type_mapping"
    }
    instanceOf inst_conf (conformance_mv, ActionLanguage) {
        typing_location = "models/Conformance_MV/type_mapping"
    }
    instanceOf inst_cf (CoreFormalism, SimpleClassDiagrams) {
        typing_location = "models/CoreFormalism/type_mapping"
    }
    instanceOf inst_core (Core, CoreFormalism) {
        typing_location = "models/core/type_mapping"
    }
    instanceOf inst_bottom (bottom, SimpleClassDiagrams) {
        typing_location = "models/bottom/type_mapping"
    }

    semantics (inst_SCD, conformance_mv) {}
    semantics (inst_trace, conformance_mv) {}
    semantics (inst_pm, conformance_mv) {}
    semantics (inst_al, conformance_mv) {}
    semantics (inst_man, conformance_mv) {}
    semantics (inst_conf, conformance_mv) {}
    semantics (inst_cf, conformance_mv) {}
    semantics (inst_core, conformance_mv) {}
    semantics (inst_bottom, conformance_mv) {}
}

export core to models/core