L0 = <http://www.simantics.org/Layer0-1.1>


L0.Migration <T L0.Entity
    >-- L0.Migration.from --> L0.Integer <R L0.HasProperty : L0.TotalFunction
    >-- L0.Migration.format --> L0.String <R L0.HasProperty : L0.TotalFunction
    >-- L0.Migration.step --> L0.MigrationStep <R L0.HasProperty
    >-- L0.Migration.priority --> L0.Double <R L0.HasProperty : L0.TotalFunction

/* 
 * Migration step
 */
L0.MigrationStep <T L0.Entity
   

/*
 * A sequence of migration steps
 */
L0.MigrationSequence <T L0.MigrationStep <T L0.List


/* 
 * If a migration step inherits SCLMigrationStep,
 * the migration step action is obtained with scl command L0.MigrationStep.stepAction
 * Given SCL expression must return MigrationStep
 */
L0.SCLMigrationStep <T L0.Entity
    >-- L0.MigrationStep.stepAction --> L0.SCLMigrationStep.SCLMigrationStepAction <R L0.HasProperty : L0.FunctionalRelation

L0.SCLMigrationStep.SCLMigrationStepAction <T L0.SCLValue
    @L0.assert L0.HasValueType "MigrationStep"      
    
    
/*
 * Namespace migration is a basic transformation needed for import
 *
 * Consists of L0.NamespaceMigrationStep.Prefix
 */
L0.NamespaceMigrationStep <T L0.MigrationStep  <T L0.List

L0.NamespaceMigrationStep.Prefix <T L0.Entity
    >-- L0.NamespaceMigrationStep.Prefix.base --> L0.String <R L0.HasProperty : L0.TotalFunction
    >-- L0.NamespaceMigrationStep.Prefix.from --> L0.String <R L0.HasProperty : L0.TotalFunction
    >-- L0.NamespaceMigrationStep.Prefix.to --> L0.String <R L0.HasProperty : L0.TotalFunction

/*
 * Due to poor MigrationStep and Model/SHared Library implementation, we need alternative implementation for
 * Shared Librarty NameSpace migrations
 */
L0.SLNamespaceMigrationStep <T L0.MigrationStep  <T L0.List

/*
 * Ordered sets may be replaced with lists.
 * Consists of L0.OrderedSetToListStep.change
 */
L0.OrderedSetToListMigrationStep <T L0.MigrationStep <T L0.List

L0.OrderedSetToListMigrationStep.Change <T L0.Entity
    >-- L0.OrderedSetToListMigrationStep.entityType --> L0.String <T L0.HasProperty : L0.TotalFunction
    >-- L0.OrderedSetToListMigrationStep.orderedSetRelation --> L0.String <T L0.HasProperty : L0.TotalFunction
    >-- L0.OrderedSetToListMigrationStep.orderedSetType --> L0.String <T L0.HasProperty : L0.TotalFunction
    >-- L0.OrderedSetToListMigrationStep.listRelation --> L0.String <T L0.HasProperty : L0.TotalFunction
    >-- L0.OrderedSetToListMigrationStep.listType --> L0.String <T L0.HasProperty : L0.TotalFunction

L0.InstanceOfMigrationStep <T L0.MigrationStep <T L0.List
    L0.HasDescription """Simple migration step that switches one InstanceOf statement for another.
Useful for cases where the type hierarchy in an ontology changes.
The list is expected to contain an even number of URI string literals
where the first literal specifies the type whose instances shall have
their InstanceOf statements changed to the type pointed to by the second URI.
The list can contain multiple of these pairs."""