From 64d0cba15b19f4d3731a6f4baa544f19fbcca2af Mon Sep 17 00:00:00 2001 From: Martina Rapp Date: Thu, 9 Jan 2025 11:17:37 +0100 Subject: [PATCH] corrected wrong property names --- .../reconfigurations_active/nodeRecovery.qvto | 22 +++++++++---------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/examples/org.palladiosimulator.simexp.pcm.examples.loadbalancer.faulttolerant/reconfiguration-rules/reconfigurations_active/nodeRecovery.qvto b/examples/org.palladiosimulator.simexp.pcm.examples.loadbalancer.faulttolerant/reconfiguration-rules/reconfigurations_active/nodeRecovery.qvto index c63592af..f94fdcd0 100644 --- a/examples/org.palladiosimulator.simexp.pcm.examples.loadbalancer.faulttolerant/reconfiguration-rules/reconfigurations_active/nodeRecovery.qvto +++ b/examples/org.palladiosimulator.simexp.pcm.examples.loadbalancer.faulttolerant/reconfiguration-rules/reconfigurations_active/nodeRecovery.qvto @@ -33,8 +33,8 @@ modeltype PCM_STOEX uses 'http://sdq.ipd.uka.de/StochasticExpressions/2.2'; */ transformation nodeRecovery( in pcmAllocation : PCM_ALLOC ) { - configuration property serverNode1 : String; // node1 availability - configuration property serverNode2 : String; // node2 availability + configuration property node1 : String; // node1 availability + configuration property node2 : String; // node2 availability /** @@ -44,10 +44,10 @@ transformation nodeRecovery( in pcmAllocation : PCM_ALLOC ) { main() { log('Transformation rule [nodeRecovery] ...'); - if ((serverNode1 != "available") or (serverNode2 != "available")) { + if ((node1 != "available") or (node2 != "available")) { log('Start node recovery ...'); - if ((serverNode1.toString() = 'available') and (serverNode2.toString() != 'available')){ - log("serverNode1 : '" + serverNode1.toString() + "', serverNode2: '" + serverNode2.toString() + "'"); + if ((node1.toString() = 'available') and (node2.toString() != 'available')){ + log("node1 : '" + node1.toString() + "', node2: '" + node2.toString() + "'"); var probBranch1 : Real = 1.0; var probBranch2 : Real = 0.0; pcmAllocation.rootObjects()[Allocation]->forAll( @@ -55,8 +55,8 @@ transformation nodeRecovery( in pcmAllocation : PCM_ALLOC ) { setBranchProbabilities(allocation.allocationContexts_Allocation, probBranch1, probBranch2) ); }; - if ((serverNode1 = "available") and (serverNode2 = "available")){ - log("serverNode1 : '" + serverNode1.toString() + "', serverNode2: '" + serverNode2.toString() + "'"); + if ((node1 = "available") and (node2 = "available")){ + log("node1 : '" + node1.toString() + "', node2: '" + node2.toString() + "'"); var probBranch1 : Real = 1.0; var probBranch2 : Real = 0.0; pcmAllocation.rootObjects()[Allocation]->forAll( @@ -64,8 +64,8 @@ transformation nodeRecovery( in pcmAllocation : PCM_ALLOC ) { setBranchProbabilities(allocation.allocationContexts_Allocation, probBranch1, probBranch2) ); }; - if ((serverNode1 != "available") and (serverNode2 = "available")){ - log("serverNode1 : '" + serverNode1.toString() + "', serverNode2: '" + serverNode2.toString() + "'"); + if ((node1 != "available") and (node2 = "available")){ + log("node1 : '" + node1.toString() + "', node2: '" + node2.toString() + "'"); var probBranch1 : Real = 0.0; var probBranch2 : Real = 1.0; pcmAllocation.rootObjects()[Allocation]->forAll( @@ -73,8 +73,8 @@ transformation nodeRecovery( in pcmAllocation : PCM_ALLOC ) { setBranchProbabilities(allocation.allocationContexts_Allocation, probBranch1, probBranch2) ); }; - if ((serverNode1 != "available") and (serverNode2 != "available")){ - log("serverNode1 : '" + serverNode1.toString() + "', serverNode2: '" + serverNode2.toString() + "'"); + if ((node1 != "available") and (node2 != "available")){ + log("node1 : '" + node1.toString() + "', node2: '" + node2.toString() + "'"); var probBranch1 : Real = 0.0; var probBranch2 : Real = 0.0; pcmAllocation.rootObjects()[Allocation]->forAll(