チャンネル内のメッセージがリソースの状態に依存し,かつ参照するリソースのパスがチャンネル内のメッセージに依存するような複雑な依存関係がある場合に正しくイベントを実行できていなかったので,設計を大きく変更した.具体的には,Eventクラス内で,1)メッセージへの制約の計算,2)メッセージ制約からパスパラメータの導出,3)パスパラメータが決定されたリソースの状態を参照を,依存関係を考慮しながら適切な順番で行うようにした.
1 parent d8a0448 commit 6f90c4d3465dd8286d821687b13ac65cdbc7c568
Naoya Nitta authored on 8 Jul
Showing 11 changed files
View
AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/DataTransferChannel.java
View
AlgebraicDataflowArchitectureModel/src/simulator/ChannelState.java
View
AlgebraicDataflowArchitectureModel/src/simulator/Event.java
View
AlgebraicDataflowArchitectureModel/src/simulator/Resource.java
View
AlgebraicDataflowArchitectureModel/src/simulator/ResourceIdentifier.java
View
AlgebraicDataflowArchitectureModel/src/simulator/Simulator.java
View
AlgebraicDataflowArchitectureModel/src/simulator/SystemState.java
View
AlgebraicDataflowArchitectureModel/src/simulator/states/JsonResourceState.java
View
AlgebraicDataflowArchitectureModel/src/simulator/states/ListResourceState.java
View
AlgebraicDataflowArchitectureModel/src/simulator/states/MapResourceState.java
View
AlgebraicDataflowArchitectureModel/src/tests/SimulatorTest.java