diff --git a/AlgebraicDataflowArchitectureModel/models/SimpleUI.model b/AlgebraicDataflowArchitectureModel/models/SimpleUI.model
new file mode 100644
index 0000000..f393c9d
--- /dev/null
+++ b/AlgebraicDataflowArchitectureModel/models/SimpleUI.model
@@ -0,0 +1,19 @@
+native channel ScreenUpdate {
+	in screen(curSc: Json, update(nextSc)) = nextSc
+}
+
+native channel SetVisible(wid: Str) {
+	in screen.widgets.{wid}.visible(curVisible: Bool, setVisible(nextVisible)) = nextVisible
+}
+
+native channel SetText(wid: Str) {
+	in screen.widgets.{wid}.text(curText: Str, setText(nextText)) = nextText
+}
+
+native channel MouseEvent(wid: Str) {
+	out screen.widgets.{wid}.state(curState: Int, mouseEvent(nextState)) = nextState
+}
+
+native channel TextEvent(wid: Str) {
+	out screen.widgets.{wid}.text(curText: Str, textEvent(nextText)) = nextText
+}