description <http://ua.be/simple_car/description/traces#> as traces {
	uses <http://ua.be/sdo2l/vocabulary/processtraces#> as traces
	uses <http://ua.be/sdo2l/vocabulary/base#> as base
	uses <http://ua.be/sdo2l/vocabulary/shaclproperty#> as sp
	uses <http://ua.be/sdo2l/vocabulary/violation#> as violation
	extends <http://ua.be/simple_car/description/workflows#> as wf
	extends <http://ua.be/simple_car/description/requirements#> as requirements
	extends <http://ua.be/simple_car/description/structuralModels#> as components

	// Traces

	ci car-trace : traces:Trace [
		base:hasIdentifier "t01"
		base:hasCanonicalName "Car System - Trace 01"
		traces:enacts wf:pm-car-system
		traces:startedBy staev-req-elicitation
	]

	// Artifacts and relationships to workflow artifacts

	ci shacl-properties : sp:SHACL-Property [
		base:hasIdentifier "sp01"
		base:hasCanonicalName "SHACL property file"
		sp:hasFilePathname "shacl/shacl.ttl"
		base:hasVersion "01"
	]

	ci violations : violation:ViolationReport [
		base:hasIdentifier "vr01"
		base:hasCanonicalName "Violation report file"
		violation:hasFilePathname "build/report/shacl.ttl"
		base:hasVersion "01"
	]

	ri reqList-car-relatesTo-reqList-usage : traces:RelatesTo [
		from requirements:reqlist-car-system
		to wf:reqList-usage
	]

	ri carStructuralModel-relatesTo-car-structural-model-usage : traces:RelatesTo [
		from components:car-structural-model
		to wf:car-structural-model-usage
	]

	ri shacl-props-relatesTo-carprops-usage : traces:RelatesTo [
		from shacl-properties
		to wf:car-properties-usage
	]

	ri violation-relatesTo-violationReport-usage : traces:RelatesTo [
		from violations
		to wf:violation-report-usage
	]

	// Events

	ci staev-req-elicitation : traces:StartingEvent [
		traces:isFollowedBy endev-req-elicitation
		traces:starts wf:requirement-elicitation-act
	]

	ci endev-req-elicitation : traces:EndingEvent [
		traces:provides requirements:reqlist-car-system
		traces:isFollowedBy staev-arch-design
		traces:terminates wf:requirement-elicitation-act
	]

	ci staev-arch-design : traces:StartingEvent [
		traces:receives requirements:reqlist-car-system
		traces:isFollowedBy endev-arch-design
		traces:starts wf:architectural-design-act
	]
	ci endev-arch-design : traces:EndingEvent [
		traces:provides components:car-structural-model
		traces:isFollowedBy staev-property-design
		traces:terminates wf:architectural-design-act
	]

	ci staev-property-design : traces:StartingEvent [
		traces:starts wf:property-design-act
		traces:isFollowedBy endev-property-design
	]
	ci endev-property-design : traces:EndingEvent [
		traces:provides shacl-properties
		traces:terminates wf:property-design-act
		traces:isFollowedBy staev-ver
	]

	ci staev-ver : traces:StartingEvent [
		traces:receives components:car-structural-model
		traces:receives shacl-properties
		traces:starts wf:property-verification-act
		traces:isFollowedBy endev-ver
	]
	ci endev-ver : traces:EndingEvent [
		traces:terminates wf:property-verification-act
		traces:provides violations
	]


}
