diff --git a/models/Builder.model b/models/Builder.model
new file mode 100644
index 0000000..85fa2df
--- /dev/null
+++ b/models/Builder.model
@@ -0,0 +1,8 @@
+channel CIO{
+    out Builder(n1:Int, setName(n:Int)) == 1
+}
+
+channel Build{
+    in Builder(n2, build(n2:Int)) == 1
+    out Hero(h:Int, build(n2)) == 1
+}
\ No newline at end of file
diff --git a/models/Decorator.model b/models/Decorator.model
new file mode 100644
index 0000000..a31845d
--- /dev/null
+++ b/models/Decorator.model
@@ -0,0 +1,4 @@
+channel C1{
+    in simpleTroll(st2:Int, updatePower(power)) == power
+    out clubbedTroll(ct:Int, updatePower(power)) == power + 10
+}
\ No newline at end of file
diff --git a/models/Iterator.model b/models/Iterator.model
new file mode 100644
index 0000000..910c571
--- /dev/null
+++ b/models/Iterator.model
@@ -0,0 +1,8 @@
+channel CIO{
+    out treasureChest(items, getItems(itemType:Str)) == pair(0,0)
+}
+
+channel C1{
+    in treasureChest(i2, getItems(itemType)) == pair(0,0)
+    out treasureIterator(itemName:Str, getItems(itemType)) == itemName
+}
\ No newline at end of file
diff --git a/models/Memento.model b/models/Memento.model
new file mode 100644
index 0000000..8703d4d
--- /dev/null
+++ b/models/Memento.model
@@ -0,0 +1,4 @@
+channel CIO1{
+    out star(s:Tuple, timePasses(nil)) == tuple(starType:Str, tuple(years:Int,mass:Int))
+}
+