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) {}

    TypeMapping TM_SimpleClassDiagrams {
        name = "TM_SimpleClassDiagrams"
        location = "models/SimpleClassDiagrams/type_mapping"
        permissions = "221"
    }

    group (TM_SimpleClassDiagrams, admin_group) {}
    owner (TM_SimpleClassDiagrams, admin_user) {}

    Model TypeMapping {
        name = "TypeMapping"
        location = "models/TypeMapping/model"
        permissions = "221"
    }

    group (TypeMapping, admin_group) {}
    owner (TypeMapping, admin_user) {}

    TypeMapping TM_TypeMapping {
        name = "TM_TypeMapping"
        location = "models/TypeMapping/type_mapping"
        permissions = "221"
    }

    group (TM_TypeMapping, admin_group) {}
    owner (TM_TypeMapping, admin_user) {}

    Model Tracability {
        name = "Tracability"
        location = "models/Tracability/model"
        permissions = "221"
    }

    group (Tracability, admin_group) {}
    owner (Tracability, admin_user) {}

    TypeMapping TM_Tracability{
        name = "TM_Tracability"
        location = "models/Tracability/type_mapping"
        permissions = "221"
    }

    group (TM_Tracability, admin_group) {}
    owner (TM_Tracability, admin_user) {}

    Model ProcessModel {
        name = "ProcessModel"
        location = "models/ProcessModel/model"
        permissions = "221"
    }

    group (ProcessModel, admin_group) {}
    owner (ProcessModel, admin_user) {}

    TypeMapping TM_ProcessModel {
        name = "TM_ProcessModel"
        location = "models/ProcessModel/type_mapping"
        permissions = "221"
    }

    group (TM_ProcessModel, admin_group) {}
    owner (TM_ProcessModel, admin_user) {}

    Model ActionLanguage {
        name = "ActionLanguage"
        location = "models/ActionLanguage/model"
        permissions = "221"
    }

    group (ActionLanguage, admin_group) {}
    owner (ActionLanguage, admin_user) {}

    TypeMapping TM_ActionLanguage {
        name = "TM_ActionLanguage"
        location = "models/ActionLanguage/type_mapping"
        permissions = "221"
    }

    group (TM_ActionLanguage, admin_group) {}
    owner (TM_ActionLanguage, admin_user) {}

    Model ManualOperation {
        name = "ManualOperation"
        location = "models/ManualOperation/model"
        permissions = "221"
    }

    group (ManualOperation, admin_group) {}
    owner (ManualOperation, admin_user) {}

    TypeMapping TM_ManualOperation {
        name = "TM_ManualOperation"
        location = "models/ManualOperation/type_mapping"
        permissions = "221"
    }

    group (TM_ManualOperation, admin_group) {}
    owner (TM_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) {}

    TypeMapping TM_conformance_mv {
        name = "TM_conformance_mv"
        location = "models/Conformance_MV/type_mapping"
        permissions = "221"
    }

    group (TM_conformance_mv, admin_group) {}
    owner (TM_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) {}

    TypeMapping TM_CoreFormalism {
        name = "TM_CoreFormalism"
        location = "models/CoreFormalism/type_mapping"
        permissions = "221"
    }

    group (TM_CoreFormalism, admin_group) {}
    owner (TM_CoreFormalism, admin_user) {}

    Model Core {
        name = "core"
        location = "models/core/model"
        permissions = "220"
    }

    group (Core, admin_group) {}
    owner (Core, admin_user) {}

    TypeMapping TM_Core {
        name = "TM_core"
        location = "models/core/type_mapping"
        permissions = "220"
    }

    group (TM_Core, admin_group) {}
    owner (TM_Core, admin_user) {}

    Model bottom {
        name = "bottom"
        location = "models/bottom/model"
        permissions = "221"
    }

    group (bottom, admin_group) {}
    owner (bottom, admin_user) {}

    TypeMapping TM_bottom {
        name = "TM_bottom"
        location = "models/bottom/type_mapping"
        permissions = "221"
    }

    group (TM_bottom, admin_group) {}
    owner (TM_bottom, admin_user) {}

    instanceOf inst_SCD (SimpleClassDiagrams, SimpleClassDiagrams) {}
    instanceOf inst_TM (TypeMapping, SimpleClassDiagrams) {}
    instanceOf inst_trace (Tracability, SimpleClassDiagrams) {}
    instanceOf inst_pm (ProcessModel, SimpleClassDiagrams) {}
    instanceOf inst_al (ActionLanguage, SimpleClassDiagrams) {}
    instanceOf inst_man (ManualOperation, SimpleClassDiagrams) {}
    instanceOf inst_conf (conformance_mv, ActionLanguage) {}
    instanceOf inst_cf (CoreFormalism, SimpleClassDiagrams) {}
    instanceOf inst_core (Core, CoreFormalism) {}
    instanceOf inst_bottom (bottom, SimpleClassDiagrams) {}

    instanceOf TM_inst_SCD (TM_SimpleClassDiagrams, TypeMapping) {}
    instanceOf TM_inst_TM (TM_TypeMapping, TypeMapping) {}
    instanceOf TM_inst_trace (TM_Tracability, TypeMapping) {}
    instanceOf TM_inst_pm (TM_ProcessModel, TypeMapping) {}
    instanceOf TM_inst_al (TM_ActionLanguage, TypeMapping) {}
    instanceOf TM_inst_man (TM_ManualOperation, TypeMapping) {}
    instanceOf TM_inst_conf (TM_conformance_mv, TypeMapping) {}
    instanceOf TM_inst_cf (TM_CoreFormalism, TypeMapping) {}
    instanceOf TM_inst_core (TM_Core, TypeMapping) {}
    instanceOf TM_inst_bottom (TM_bottom, TypeMapping) {}

    typing (inst_SCD, TM_SimpleClassDiagrams) {}
    typing (inst_TM, TM_TypeMapping) {}
    typing (inst_trace, TM_Tracability) {}
    typing (inst_pm, TM_ProcessModel) {}
    typing (inst_al, TM_ActionLanguage) {}
    typing (inst_man, TM_ManualOperation) {}
    typing (inst_conf, TM_conformance_mv) {}
    typing (inst_cf, TM_CoreFormalism) {}
    typing (inst_core, TM_Core) {}
    typing (inst_bottom, TM_bottom) {}

    semantics (inst_SCD, conformance_mv) {}
    semantics (inst_TM, 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) {}

    semantics (TM_inst_SCD, conformance_mv) {}
    semantics (TM_inst_TM, conformance_mv) {}
    semantics (TM_inst_trace, conformance_mv) {}
    semantics (TM_inst_pm, conformance_mv) {}
    semantics (TM_inst_al, conformance_mv) {}
    semantics (TM_inst_man, conformance_mv) {}
    semantics (TM_inst_conf, conformance_mv) {}
    semantics (TM_inst_cf, conformance_mv) {}
    semantics (TM_inst_core, conformance_mv) {}
    semantics (TM_inst_bottom, conformance_mv) {}
}

export core to models/core