diff --git a/AlgebraicDataflowArchitectureModel/models/WeatherObservationSystem.model b/AlgebraicDataflowArchitectureModel/models/WeatherObservationSystem.model
new file mode 100644
index 0000000..a13a38b
--- /dev/null
+++ b/AlgebraicDataflowArchitectureModel/models/WeatherObservationSystem.model
@@ -0,0 +1,11 @@
+channel CIO {
+	out temp_f(p:Int, observe(x)) == x
+}
+channel C1{
+	in  temp_f(q:Int, conversion(y)) == y
+	out temp_c(r:Int, conversion(z)) == (z-32) / 1.8
+}
+channel C2{
+	in temp_f(q:Int, update(y)) == y
+	out highest(r:Int, update(z)) == if(gt(z, r), z, r)
+}
\ No newline at end of file