Skip to content
This repository was archived by the owner on Oct 7, 2025. It is now read-only.

Commit dfc296a

Browse files
committed
feat(pcm-models): implement and add all violations and corresponding constraints
1 parent 59db7d6 commit dfc296a

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

52 files changed

+207
-271
lines changed

bundles/org.dataflowanalysis.examplemodels/casestudies/pcm/CoronaWarnApp/default.nodecharacteristics

Lines changed: 35 additions & 35 deletions
Original file line numberDiff line numberDiff line change
@@ -2,121 +2,121 @@
22
<nodecharacteristics:Assignments xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:DataDictionaryCharacterized="http://dataflowanalysis.org/pcm/extension/dictionary/characterized/1.0" xmlns:nodecharacteristics="http://dataflowanalysis.org/pcm/extension/nodecharacteristics/0.1.0">
33
<assignee xsi:type="nodecharacteristics:ResourceAssignee" id="_chqQMLCAEe6WaprXsFzjcg">
44
<characteristics id="_OwkPcAa5Ee680PEp2Dhvig">
5-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
6-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@0"/>
5+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
6+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@0"/>
77
</characteristics>
88
<resourcecontainer href="default.resourceenvironment#_g7XcgLN2Ee2o46d27a6tVQ"/>
99
</assignee>
1010
<assignee xsi:type="nodecharacteristics:ResourceAssignee" id="_ds-MwLCAEe6aA6Z5yTjc7Q">
1111
<characteristics id="_XHnZ8Aa5Ee680PEp2Dhvig">
12-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
13-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@7"/>
12+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
13+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@7"/>
1414
</characteristics>
1515
<resourcecontainer href="default.resourceenvironment#_YzICsLN5Ee2o46d27a6tVQ"/>
1616
</assignee>
1717
<assignee xsi:type="nodecharacteristics:ResourceAssignee" id="_fGar8LCAEe6pRbUT8siogQ">
1818
<characteristics id="_cS4k8Aa5Ee680PEp2Dhvig">
19-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
20-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@2"/>
19+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
20+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@2"/>
2121
</characteristics>
2222
<resourcecontainer href="default.resourceenvironment#_pGlxgLN2Ee2o46d27a6tVQ"/>
2323
</assignee>
2424
<assignee xsi:type="nodecharacteristics:ResourceAssignee" id="_gdpkoLCAEe6s8Kyjj6bM_w">
2525
<characteristics id="_gLPWkAa5Ee680PEp2Dhvig">
26-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
27-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@4"/>
28-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@0"/>
26+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
27+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@4"/>
28+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@0"/>
2929
</characteristics>
3030
<resourcecontainer href="default.resourceenvironment#_Buy2ULN3Ee2o46d27a6tVQ"/>
3131
</assignee>
3232
<assignee xsi:type="nodecharacteristics:ResourceAssignee" id="_i8Of4LCAEe6-z852jUud-g">
3333
<characteristics id="_mgaI4Aa5Ee680PEp2Dhvig">
34-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
35-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@3"/>
34+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
35+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@3"/>
3636
</characteristics>
3737
<resourcecontainer href="default.resourceenvironment#_rlXhELN2Ee2o46d27a6tVQ"/>
3838
</assignee>
3939
<assignee xsi:type="nodecharacteristics:ResourceAssignee" id="_kERtELCAEe6Z0_dj6sM3mw">
4040
<characteristics id="_pYCdUAa5Ee680PEp2Dhvig">
41-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
42-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@1"/>
41+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
42+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@1"/>
4343
</characteristics>
4444
<resourcecontainer href="default.resourceenvironment#_itmPILN2Ee2o46d27a6tVQ"/>
4545
</assignee>
4646
<assignee xsi:type="nodecharacteristics:ResourceAssignee" id="_lqAUwLCAEe6776fvZiib_A">
4747
<characteristics id="_sLBiUAa5Ee680PEp2Dhvig">
48-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
49-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@5"/>
48+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
49+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@5"/>
5050
</characteristics>
5151
<resourcecontainer href="default.resourceenvironment#_E9SLkLN3Ee2o46d27a6tVQ"/>
5252
</assignee>
5353
<assignee xsi:type="nodecharacteristics:ResourceAssignee" id="_nU_28LCAEe6LPJCsFvPa7w">
5454
<characteristics id="_uSKN8Aa5Ee680PEp2Dhvig">
55-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
56-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@6"/>
55+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@1"/>
56+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@1.literals@6"/>
5757
</characteristics>
5858
<resourcecontainer href="default.resourceenvironment#_HCgLoLN3Ee2o46d27a6tVQ"/>
5959
</assignee>
6060
<assignee xsi:type="nodecharacteristics:UsageAssignee" id="_ot91ALCAEe68v9cyPGWAcQ">
6161
<characteristics id="_6LtO0Aa5Ee680PEp2Dhvig">
62-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
63-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@2"/>
62+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
63+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@2"/>
6464
</characteristics>
6565
<usagescenario href="default.usagemodel#_tyGHQLOKEe2o46d27a6tVQ"/>
6666
</assignee>
6767
<assignee xsi:type="nodecharacteristics:UsageAssignee" id="_p1O_ELCAEe6pBfYXXWKfLg">
6868
<characteristics id="_947HcAa5Ee680PEp2Dhvig">
69-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
70-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@1"/>
69+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
70+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@1"/>
7171
</characteristics>
7272
<usagescenario href="default.usagemodel#_FsTsULRJEe25KMRnMCaMfw"/>
7373
</assignee>
7474
<assignee xsi:type="nodecharacteristics:UsageAssignee" id="_rUgZcLCAEe6LBs1suoOjmA">
7575
<characteristics id="_Hh-sYAa6Ee680PEp2Dhvig">
76-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
77-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@1"/>
76+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
77+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@1"/>
7878
</characteristics>
7979
<usagescenario href="default.usagemodel#_oJ2UALRIEe25KMRnMCaMfw"/>
8080
</assignee>
8181
<assignee xsi:type="nodecharacteristics:UsageAssignee" id="_s55p8LCAEe63RIn-8H6Dmg">
8282
<characteristics id="_M4alkAa6Ee680PEp2Dhvig">
83-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
84-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@0"/>
83+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
84+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@0"/>
8585
</characteristics>
8686
<usagescenario href="default.usagemodel#_tCK-YLZ4Ee2xLZp9hElpuA"/>
8787
</assignee>
8888
<assignee xsi:type="nodecharacteristics:UsageAssignee" id="_ufH7ULCAEe61r8ID243oxg">
8989
<characteristics id="_P0vz0Aa6Ee680PEp2Dhvig">
90-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
91-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@0"/>
90+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
91+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@0"/>
9292
</characteristics>
9393
<usagescenario href="default.usagemodel#_KL5GkLZ5Ee2xLZp9hElpuA"/>
9494
</assignee>
9595
<assignee xsi:type="nodecharacteristics:UsageAssignee" id="_vkY6QLCAEe6u_cr8YFifTw">
9696
<characteristics id="_SaqtMAa6Ee680PEp2Dhvig">
97-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
98-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@0"/>
97+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
98+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@0"/>
9999
</characteristics>
100100
<usagescenario href="default.usagemodel#_TcJfELZ7Ee2xLZp9hElpuA"/>
101101
</assignee>
102102
<assignee xsi:type="nodecharacteristics:UsageAssignee" id="_wyu8sLCAEe6rgP_TcFvM6g">
103103
<characteristics id="_VwxGUAa6Ee680PEp2Dhvig">
104-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
105-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@0"/>
104+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
105+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@0"/>
106106
</characteristics>
107107
<usagescenario href="default.usagemodel#_L3WtYLZ6Ee2xLZp9hElpuA"/>
108108
</assignee>
109109
<assignee xsi:type="nodecharacteristics:UsageAssignee" id="_x59DcLCAEe6hvLZwjdFocw">
110110
<characteristics id="_YwpX0Aa6Ee680PEp2Dhvig">
111-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
112-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@0"/>
111+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
112+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@0"/>
113113
</characteristics>
114114
<usagescenario href="default.usagemodel#_mA1FwLZ8Ee2xLZp9hElpuA"/>
115115
</assignee>
116116
<assignee xsi:type="nodecharacteristics:UsageAssignee" id="_zGfIALCAEe64MN7-07aVWQ">
117117
<characteristics id="_bYinIAa6Ee680PEp2Dhvig">
118-
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
119-
<values href="cwa.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@0"/>
118+
<type xsi:type="DataDictionaryCharacterized:EnumCharacteristicType" href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicTypes@0"/>
119+
<values href="default.pddc#_ZSNvMLHIEe2fRLFFhL_FWA-characteristicEnumerations@0.literals@0"/>
120120
</characteristics>
121121
<usagescenario href="default.usagemodel#_K0XpkLZ-Ee2xLZp9hElpuA"/>
122122
</assignee>

0 commit comments

Comments
 (0)