diff --git a/AlgebraicDataflowArchitectureModel/models/tableUI.model b/AlgebraicDataflowArchitectureModel/models/tableUI.model
new file mode 100644
index 0000000..8019ee0
--- /dev/null
+++ b/AlgebraicDataflowArchitectureModel/models/tableUI.model
@@ -0,0 +1,114 @@
+init {
+	screenTemplates := {
+		"000": {
+			"widgets": {
+				"001": {"type": "textInput", "text": "", "state": 0, "visible": true},
+				"002": {"type": "table", "text": "testTeble", "state": 0, "visible": true, 
+					"data": {"_": {"name": "_", "age": 0}}, 
+					"rowHeight": 40,
+					"colWidth": 100,
+					"columns": append(append(nil, "name"), "age"),
+					"primaryKeyName": "id",
+				}
+			},
+			"layout": true
+		}
+	}
+	screen1 := "000"
+	w002 := "002"
+}
+
+native channel ScreenUpdate {
+	in screen(curSc: Json, update(curSc, nextSc)) = nextSc
+}
+
+native channel SetLayout {
+	in screen.layout(curLayout: Bool, setLayout(nextLayout)) = nextLayout
+}
+
+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 SetX(wid: Str) {
+	in screen.widgets.{wid}.x(curX: Int, setX(nextX)) = nextX
+}
+
+native channel SetY(wid: Str) {
+	in screen.widgets.{wid}.y(curY: Int, setY(nextY)) = nextY
+}
+
+native channel SetWidth(wid: Str) {
+	in screen.widgets.{wid}.width(curWidth: Int, setWidth(nextWidth)) = nextWidth
+}
+
+native channel SetHeight(wid: Str) {
+	in screen.widgets.{wid}.height(curHeight: Int, setHeight(nextHeight)) = nextHeight
+}
+
+native channel MouseEvent(wid: Str) {
+	out screen.widgets.{wid}.state(curState: Int, mouseEvent(nextState)) = nextState
+}
+
+native channel OnTableChanged(wid: Str) {
+	in screen.widgets.{wid}.data(curData: Map, tableChanged(nextData)) = nextData
+}
+
+native channel TextEvent(wid: Str) {
+	out screen.widgets.{wid}.text(curText: Str, textEvent(nextText)) = nextText
+}
+
+channel ChangeCurScreen {
+	out curScreen(curScId: Str, changeCurScreen(nextScId)) = nextScId
+}
+
+channel ScreenTransition {
+	in curScreen(curScId: Str, transScreen(nextScId, screen)) = nextScId
+	ref screenTemplates.{nextScId}(screen, transScreen(nextScId, screen))
+	out screen(curS, transScreen(nextScId, screen)) = screen
+}
+
+channel EventDispatch(wid: Str) {
+	in screen.widgets.{wid}.state(curState: Int, dispatchEvent(curScId, wid, nextState)) = nextState
+	ref curScreen(curScId: Str, dispatchEvent(curScId, wid, nextState))
+	out screenTemplates.{curScId}.widgets.{wid}.state(curState: Int, dispatchEvent(curScId, wid, nextState)) = nextState
+}
+
+
+channel EventHandler1(scId: Str, wid: Str) {
+	in screenTemplates.{scId="000"}.widgets.{wid="002"}.state(curState: Int, handleEvent1(nextState)) = nextState
+	out curScreen(curScId: Str, handleEvent1(nextState)) = if(nextState == 0, "001", curScId)
+}
+ 
+channel EventHandler2(scId: Str, wid: Str) {
+	in screenTemplates.{scId="001"}.widgets.{wid="004"}.state(curState: Int, handleEvent2(nextState)) = nextState
+	out curScreen(curScId: Str, handleEvent2(nextState)) = if(nextState == 0, "000", curScId)
+}
+
+channel EventHandler3(curScId: Str, wid: Str) {
+	in screenTemplates.{curScId="000"}.widgets.{wid="002"}.data(curData: Map, handleEvent3(nextData, wid)) = nextData
+	out screen.widgets.{wid}.data(curData: Map, handleEvent3(nextData, wid)) = nextData
+}
+
+channel addAccount {
+	out accounts(accounts: Map, addAccount(id: Str, name: Str, age: Int)) = insert(accounts, id, {"name": name, "age": age})
+}
+
+channel changeNameOfAccount(id: Str) {
+	out accounts.{id}.name(curName: Str, changeName(nextName: Str)) = nextName
+}
+
+channel changeNameOfAccount(id: Str) {
+	out accounts.{id}.age(curAge: Int, changeAge(nextAge: Int)) = nextAge
+}
+
+channel sendAccountToTable {
+	in accounts(cur: Map, sendAccount(next: Map, scId:Str, wid:Str)) = next
+	ref screen1(scId:Str, sendAccount(next, scId, wid))
+	ref w002(wid: Str, sendAccount(next, scId, wid))
+	out screenTemplates.{scId}.widgets.{wid}.data(cur: Map, sendAccount(next, scId, wid)) = next 
+}