Error in mcsta when calling a separate subprocess
When executing the dynamic power mangagement model dynamic-power-management.modest in mcsta the following error occurs:
``Initialising...
Unbehandelte Ausnahme: System.Collections.Generic.KeyNotFoundException: Der angegebene Schlüssel war nicht im Wörterbuch angegeben. bei System.ThrowHelper.ThrowKeyNotFoundException() bei System.Collections.Generic.Dictionary`2.get_Item(TKey key) bei Modest.Language.ProcessSymbol.CreateInstanceRelabeling.Traverse(ProcessCall element) in C:\Users\Michaela\Downloads\toolset\Language\Symbols\ProcessSymbol.cs:Zeile 502. bei Modest.Language.ProcessCall.AcceptTraverse(SyntaxTransformer transformer) in C:\Users\Michaela\Downloads\toolset\Language\Constructs\ProcessCall.cs:Zeile 158. bei Modest.Language.SyntaxTransformer.DispatchTraverse(Construct element) in C:\Users\Michaela\Downloads\toolset\Language\SyntaxTransformer.cs:Zeile 27. bei Modest.Language.SyntaxTransformer.DispatchTraverse(Construct element, Boolean& changed) in C:\Users\Michaela\Downloads\toolset\Language\SyntaxTransformer.cs:Zeile 32. bei Modest.Language.SyntaxTransformer.Traverse(Sequence element) in C:\Users\Michaela\Downloads\toolset\Language\SyntaxTransformer.cs:Zeile 221. bei Modest.Language.Sequence.AcceptTraverse(SyntaxTransformer transformer) in C:\Users\Michaela\Downloads\toolset\Language\Constructs\Sequence.cs:Zeile 103. bei Modest.Language.SyntaxTransformer.DispatchTraverse(Construct element) in C:\Users\Michaela\Downloads\toolset\Language\SyntaxTransformer.cs:Zeile 27. bei Modest.Language.SyntaxTransformer.DispatchTraverse(Construct element, Boolean& changed) in C:\Users\Michaela\Downloads\toolset\Language\SyntaxTransformer.cs:Zeile 32. bei Modest.Language.SyntaxTransformer.Traverse(Sequence element) in C:\Users\Michaela\Downloads\toolset\Language\SyntaxTransformer.cs:Zeile 221.
... ``
It somehow is related to calling a second process within another one because the same error occured in the first version of the nondeterministic polling system when the complete
actions in the Server()
are outsourced into a separate process.