diff --git a/AlgebraicDataflowArchitectureModel/models/WeatherObservationSystem.model b/AlgebraicDataflowArchitectureModel/models/WeatherObservationSystem.model index 3f8df85..02ea307 100644 --- a/AlgebraicDataflowArchitectureModel/models/WeatherObservationSystem.model +++ b/AlgebraicDataflowArchitectureModel/models/WeatherObservationSystem.model @@ -1,10 +1,12 @@ channel CIO { out temp_f(p:Double, observe(x)) == x } + channel C1{ in temp_f(q:Double, conversion(y)) == y out temp_c(r:Double, conversion(z)) == (z-32) / 1.8 } + channel C2{ in temp_f(q:Double, update(y)) == y out highest(r:Double, update(z)) == if(gt(z, r), z, r)