description <http://flandersmake.be/cdf/description/my_pm#> as my_pm {
	
	extends <http://flandersmake.be/cdf/description/my_ftg#> as my_ftg
	
	uses <http://flandersmake.be/cdf/vocabulary/pm#> as pm
	uses <http://flandersmake.be/cdf/vocabulary/object_diagram#> as object_diagram
	uses <http://flandersmake.be/cdf/vocabulary/immutable#> as immutable

	ci start : pm:Start [
		pm:ctrlTo ctrlIn
	]
	
	ci activity : pm:Activity [
		pm:hasName "activity"
		pm:hasPort ctrlIn
		pm:hasPort ctrlOut
		pm:isTransformation my_ftg:t1
	]
	ci ctrlIn : pm:CtrlInputPort [
		pm:hasName "c_in"
	]
	ci ctrlOut : pm:CtrlOutputPort [
		pm:hasName "c_out"
		pm:ctrlTo final
	]
	
	ci final : pm:Final []
	
	
	ci model : pm:Model [
		immutable:hasUUID "pm1" // this will turn 'model' also in an immutable thing
		object_diagram:hasObject start
		object_diagram:hasObject activity
		object_diagram:hasObject ctrlIn
		object_diagram:hasObject ctrlOut
		object_diagram:hasObject final
	]
}