// Hardcoded example of a process trace
description <http://ua.be/sdo2l/description/traces/my_pt#> as my_pt {
    extends <http://ua.be/sdo2l/description/artifacts/MyPM_pm#> as my_pm

    uses <http://ua.be/sdo2l/vocabulary/formalisms/processtraces#> as traces
    uses <http://ua.be/sdo2l/vocabulary/base/base#> as base
    uses <http://www.w3.org/2001/XMLSchema#> as xsd

    extends <http://ua.be/sdo2l/description/artifacts/my_xopp#> as my_xopp
/*
    instance start_trace_event : traces:StartTraceEvent [
        traces:relatesTo my_pm:model
        traces:hasTimestamp "2011-06-01T19:16:58.869Z"^^xsd:dateTime
    ]

    instance start_activity0 : traces:StartActivityEvent [
        traces:isPrecededBy start_trace_event
        traces:relatesTo my_pm:activity_0_port_0 // ctrl inport
        traces:hasTimestamp "2011-06-02T19:16:58.869Z"^^xsd:dateTime
    ]

    instance sketch-v1.xopp : traces:Artifact [
        traces:hasLocation "sketch-v1.xopp"
        base:hasTag "v1"
        base:hasGUID "sketch.xopp-v1"
        traces:relatesTo my_pm:artifact_0
        traces:isModel my_xopp:model // example: an artifact can be a 'model'
        base:previousVersionOf sketch-v2.xopp
        traces:addedAt "2011-06-04T19:16:58.869Z"^^xsd:dateTime
    ]


    instance end_activity0 : traces:EndActivityEvent [
        traces:isPrecededBy start_activity0
        traces:relatesTo my_pm:activity_0_port_1 // ctrl outport
                traces:hasTimestamp "2011-06-03T19:16:58.869Z"^^xsd:dateTime
    ]

    relation instance produced_artifact : traces:Produces [
        from end_activity0
        to sketch-v1.xopp
        traces:relatesTo my_pm:activity_0_port_2 // data outport
    ]

    instance start_activity1 : traces:StartActivityEvent [
        traces:isPrecededBy end_activity0
        traces:relatesTo my_pm:activity_1_port_0 // ctrl inport
        traces:hasTimestamp "2011-06-04T19:16:58.869Z"^^xsd:dateTime
    ]

    relation instance consumed_artifact : traces:Consumes [
        from start_activity1
        to sketch-v1.xopp
        traces:relatesTo my_pm:activity_1_port_2 // data inport
    ]

    instance end_activity1 : traces:EndActivityEvent [
        traces:isPrecededBy start_activity1
        traces:relatesTo my_pm:activity_1_port_1 // ctrl outport
                traces:hasTimestamp "2011-06-05T19:16:58.869Z"^^xsd:dateTime
    ]

    instance start_activity2 : traces:StartActivityEvent [
        traces:isPrecededBy end_activity1
        traces:relatesTo my_pm:activity_0_port_0 // ctrl inport
                traces:hasTimestamp "2011-06-06T19:16:58.869Z"^^xsd:dateTime
    ]

    instance sketch-v2.xopp : traces:Artifact [
        traces:hasLocation "sketch-v2.xopp"
        base:hasTag "v2"
        base:hasGUID "sketch.xopp-v2"
        traces:relatesTo my_pm:artifact_0
        traces:isModel my_xopp:model // example: an artifact can be a 'model'
        base:nextVersionOf sketch-v1.xopp
        traces:addedAt "2011-06-05T19:16:58.869Z"^^xsd:dateTime
    ]

    relation instance produced_artifact_v2 : traces:Produces [
        from end_activity2
        to sketch-v2.xopp
        traces:relatesTo my_pm:activity_0_port_2 // data inport
    ]

    instance end_activity2 : traces:EndActivityEvent [
        traces:isPrecededBy start_activity2
        traces:relatesTo my_pm:activity_0_port_1 // ctrl outport
        traces:hasTimestamp "2011-06-07T19:16:58.869Z"^^xsd:dateTime
    ]

    instance start_activity3 : traces:StartActivityEvent [
        traces:isPrecededBy end_activity2
        traces:relatesTo my_pm:activity_1_port_0 // ctrl inport
        traces:hasTimestamp "2011-06-08T19:16:58.869Z"^^xsd:dateTime
    ]

    relation instance consumed_artifact_v2 : traces:Consumes [
        from start_activity3
        to sketch-v2.xopp
        traces:relatesTo my_pm:activity_1_port_2 // data inport
    ]

    instance end_activity3 : traces:EndActivityEvent [
        traces:isPrecededBy start_activity3
        traces:relatesTo my_pm:activity_1_port_1 // ctrl outport
        traces:hasTimestamp "2011-06-09T19:16:58.869Z"^^xsd:dateTime
    ]

    instance start_activity4 : traces:StartActivityEvent [
        traces:isPrecededBy end_activity3
        traces:relatesTo my_pm:activity_0_port_0 // ctrl inport
        traces:hasTimestamp "2011-06-10T19:16:58.869Z"^^xsd:dateTime
    ]

    instance sketch-v3.xopp : traces:Artifact [
        traces:hasLocation "sketch-v3.xopp"
        base:hasTag "v3"
        base:hasGUID "sketch.xopp-v3"
        traces:relatesTo my_pm:artifact_0
        traces:isModel my_xopp:model // example: an artifact can be a 'model'
        base:nextVersionOf sketch-v2.xopp
        traces:addedAt "2011-06-06T19:16:58.869Z"^^xsd:dateTime
    ]

    relation instance produced_artifact_v3 : traces:Produces [
        from end_activity4
        to sketch-v3.xopp
        traces:relatesTo my_pm:activity_0_port_2 // data inport
    ]

    instance end_activity4 : traces:EndActivityEvent [
        traces:isPrecededBy start_activity4
        traces:relatesTo my_pm:activity_0_port_1 // ctrl outport
        traces:hasTimestamp "2011-06-11T19:16:58.869Z"^^xsd:dateTime
    ]

    instance start_activity5 : traces:StartActivityEvent [
        traces:isPrecededBy end_activity4
        traces:relatesTo my_pm:activity_1_port_0 // ctrl inport
        traces:hasTimestamp "2011-06-12T19:16:58.869Z"^^xsd:dateTime
    ]

    relation instance consumed_artifact_v3 : traces:Consumes [
        from start_activity5
        to sketch-v3.xopp
        traces:relatesTo my_pm:activity_1_port_2 // data inport
    ]

    instance end_activity5 : traces:EndActivityEvent [
        traces:isPrecededBy start_activity5
        traces:relatesTo my_pm:activity_1_port_1 // ctrl outport
        traces:hasTimestamp "2011-06-13T19:16:58.869Z"^^xsd:dateTime
    ]

    instance start_activity6 : traces:StartActivityEvent [
        traces:isPrecededBy end_activity5
        traces:relatesTo my_pm:activity_0_port_0 // ctrl inport
        traces:hasTimestamp "2011-06-14T19:16:58.869Z"^^xsd:dateTime
    ]

    instance end_activity6 : traces:EndActivityEvent [
        traces:isPrecededBy start_activity6
        traces:relatesTo my_pm:activity_0_port_1 // ctrl outport
        traces:hasTimestamp "2011-06-15T19:16:58.869Z"^^xsd:dateTime
    ]

    instance start_activity7 : traces:StartActivityEvent [
        traces:isPrecededBy end_activity6
        traces:relatesTo my_pm:activity_1_port_0 // ctrl inport
        traces:hasTimestamp "2011-06-16T19:16:58.869Z"^^xsd:dateTime
    ]



    instance end_trace_event : traces:EndTraceEvent [
        traces:isPrecededBy start_activity7
        traces:relatesTo my_pm:model
        traces:hasTimestamp "2011-06-17T19:16:58.869Z"^^xsd:dateTime
    ]*/
}
