|
|
@@ -73,20 +73,20 @@ vocabulary <http://ua.be/sdo2l/vocabulary/formalisms/pm#> as pm {
|
|
|
restricts relation ctrlTo to exactly 1
|
|
|
]
|
|
|
concept CtrlInputPort :> CtrlSink, Port [
|
|
|
- restricts relation ctrlFrom to exactly 1
|
|
|
+ //restricts relation ctrlFrom to exactly 1
|
|
|
]
|
|
|
concept DataOutputPort :> DataSource, Port [
|
|
|
restricts relation dataTo to exactly 1
|
|
|
]
|
|
|
concept DataInputPort :> DataSink, Port [
|
|
|
- restricts relation dataFrom to exactly 1
|
|
|
+ //restricts relation dataFrom to exactly 1
|
|
|
]
|
|
|
|
|
|
concept Initial :> element, CtrlSource [
|
|
|
restricts relation ctrlTo to exactly 1
|
|
|
]
|
|
|
concept Final :> element, CtrlSink [
|
|
|
- restricts relation ctrlFrom to exactly 1
|
|
|
+ //restricts relation ctrlFrom to exactly 1
|
|
|
]
|
|
|
|
|
|
concept Artifact :> element, Named, DataSource, DataSink [
|
|
|
@@ -105,7 +105,7 @@ vocabulary <http://ua.be/sdo2l/vocabulary/formalisms/pm#> as pm {
|
|
|
]
|
|
|
|
|
|
concept ForkJoin :> element, CtrlSink, CtrlSource [
|
|
|
- restricts relation ctrlFrom to min 1
|
|
|
+ //restricts relation ctrlFrom to min 1
|
|
|
restricts relation ctrlTo to min 1
|
|
|
]
|
|
|
|