Skip to main content
summaryrefslogtreecommitdiffstats
blob: 43829d79d1425ffe24368e7f902a59253bcec2dc (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
<?xml version="1.0" encoding="ASCII"?>
<!--
  Copyright (c) 2016-2017 Thales Global Services S.A.S.
  This program and the accompanying materials are made
  available under the terms of the Eclipse Public License 2.0
  which is available at https://www.eclipse.org/legal/epl-2.0/
  
  SPDX-License-Identifier: EPL-2.0
   
    Contributors:
        Abel Hegedus, Tamas Borbas, Daniel Segesdi (IncQuery Labs Ltd.) - initial API and implementation
 -->
<cps:CyberPhysicalSystem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:cps="http://org.eclipse.viatra/model/cps" identifier="testModel6504822858552">
  <appTypes identifier="simple.cps.app.FirstAppClass0">
    <instances identifier="simple.cps.app.FirstAppClass0.inst0" allocatedTo="simple.cps.host.SecondHostClass0.inst1"/>
    <behavior identifier="simple.cps.app.FirstAppClass0.sm0" initial="simple.cps.app.FirstAppClass0.sm0.s0">
      <states identifier="simple.cps.app.FirstAppClass0.sm0.s0">
        <outgoingTransitions identifier="simple.cps.app.FirstAppClass0.sm0.s0.t0" targetState="simple.cps.app.FirstAppClass0.sm0.s3" action="waitForSignal(6)"/>
        <outgoingTransitions identifier="simple.cps.app.FirstAppClass0.sm0.s0.t3" targetState="simple.cps.app.FirstAppClass0.sm0.s4" action="waitForSignal(3)"/>
      </states>
      <states identifier="simple.cps.app.FirstAppClass0.sm0.s1"/>
      <states identifier="simple.cps.app.FirstAppClass0.sm0.s2">
        <outgoingTransitions identifier="simple.cps.app.FirstAppClass0.sm0.s2.t1" targetState="simple.cps.app.FirstAppClass0.sm0.s1" action="waitForSignal(7)"/>
      </states>
      <states identifier="simple.cps.app.FirstAppClass0.sm0.s3">
        <outgoingTransitions identifier="simple.cps.app.FirstAppClass0.sm0.s3.t2" targetState="simple.cps.app.FirstAppClass0.sm0.s2" action="waitForSignal(7)"/>
      </states>
      <states identifier="simple.cps.app.FirstAppClass0.sm0.s4"/>
    </behavior>
  </appTypes>
  <appTypes identifier="simple.cps.app.SecondAppClass0">
    <instances identifier="simple.cps.app.SecondAppClass0.inst0" allocatedTo="simple.cps.host.SecondHostClass0.inst2"/>
    <behavior identifier="simple.cps.app.SecondAppClass0.sm0" initial="simple.cps.app.SecondAppClass0.sm0.s0">
      <states identifier="simple.cps.app.SecondAppClass0.sm0.s0">
        <outgoingTransitions identifier="simple.cps.app.SecondAppClass0.sm0.s0.t1" targetState="simple.cps.app.SecondAppClass0.sm0.s2" action="waitForSignal(7)"/>
        <outgoingTransitions identifier="simple.cps.app.SecondAppClass0.sm0.s0.t2" targetState="simple.cps.app.SecondAppClass0.sm0.s1" action="waitForSignal(7)"/>
      </states>
      <states identifier="simple.cps.app.SecondAppClass0.sm0.s1">
        <outgoingTransitions identifier="simple.cps.app.SecondAppClass0.sm0.s1.t4" targetState="simple.cps.app.SecondAppClass0.sm0.s2"/>
      </states>
      <states identifier="simple.cps.app.SecondAppClass0.sm0.s2">
        <outgoingTransitions identifier="simple.cps.app.SecondAppClass0.sm0.s2.t0" targetState="simple.cps.app.SecondAppClass0.sm0.s0"/>
        <outgoingTransitions identifier="simple.cps.app.SecondAppClass0.sm0.s2.t3" targetState="simple.cps.app.SecondAppClass0.sm0.s1"/>
      </states>
    </behavior>
  </appTypes>
  <hostTypes identifier="simple.cps.host.FirstHostClass0">
    <instances identifier="simple.cps.host.FirstHostClass0.inst0" nodeIp="simple.cps.host.FirstHostClass0.inst0"/>
    <instances identifier="simple.cps.host.FirstHostClass0.inst1" nodeIp="simple.cps.host.FirstHostClass0.inst1"/>
    <instances identifier="simple.cps.host.FirstHostClass0.inst2" nodeIp="simple.cps.host.FirstHostClass0.inst2"/>
    <instances identifier="simple.cps.host.FirstHostClass0.inst3" nodeIp="simple.cps.host.FirstHostClass0.inst3"/>
    <instances identifier="simple.cps.host.FirstHostClass0.inst4" nodeIp="simple.cps.host.FirstHostClass0.inst4"/>
  </hostTypes>
  <hostTypes identifier="simple.cps.host.SecondHostClass0">
    <instances identifier="simple.cps.host.SecondHostClass0.inst0" nodeIp="simple.cps.host.SecondHostClass0.inst0" communicateWith="simple.cps.host.FirstHostClass0.inst3 simple.cps.host.FirstHostClass0.inst1 simple.cps.host.FirstHostClass0.inst2 simple.cps.host.FirstHostClass0.inst0 simple.cps.host.FirstHostClass0.inst4"/>
    <instances identifier="simple.cps.host.SecondHostClass0.inst1" nodeIp="simple.cps.host.SecondHostClass0.inst1" applications="simple.cps.app.FirstAppClass0.inst0" communicateWith="simple.cps.host.FirstHostClass0.inst4 simple.cps.host.FirstHostClass0.inst1 simple.cps.host.FirstHostClass0.inst2 simple.cps.host.FirstHostClass0.inst0 simple.cps.host.FirstHostClass0.inst3"/>
    <instances identifier="simple.cps.host.SecondHostClass0.inst2" nodeIp="simple.cps.host.SecondHostClass0.inst2" applications="simple.cps.app.SecondAppClass0.inst0" communicateWith="simple.cps.host.FirstHostClass0.inst3 simple.cps.host.FirstHostClass0.inst2 simple.cps.host.FirstHostClass0.inst0 simple.cps.host.FirstHostClass0.inst4 simple.cps.host.FirstHostClass0.inst1"/>
    <instances identifier="simple.cps.host.SecondHostClass0.inst3" nodeIp="simple.cps.host.SecondHostClass0.inst3" communicateWith="simple.cps.host.FirstHostClass0.inst2 simple.cps.host.FirstHostClass0.inst1 simple.cps.host.FirstHostClass0.inst0 simple.cps.host.FirstHostClass0.inst4 simple.cps.host.FirstHostClass0.inst3"/>
    <instances identifier="simple.cps.host.SecondHostClass0.inst4" nodeIp="simple.cps.host.SecondHostClass0.inst4" communicateWith="simple.cps.host.FirstHostClass0.inst3 simple.cps.host.FirstHostClass0.inst2 simple.cps.host.FirstHostClass0.inst1 simple.cps.host.FirstHostClass0.inst4 simple.cps.host.FirstHostClass0.inst0"/>
  </hostTypes>
</cps:CyberPhysicalSystem>

Back to the top