If the content doesn't show well on your browser, please make the window bigger or zoom out the webpage (to 60%, for example).įor a more detailed tutorial, please read our user study survey, which contains tutorials for creating both rules and properties. Note that our webpage was originally designed for large screen. In general, you can use "localhsot:4200//localhsot:4200//" to retrieve properties and rules you've written in that workspace. In the above example, "user" is the username and "1" is the task id. Note that we use two fields to identify a workspace: username and task id, where username is a string and task id is a number. Then from the root directory of this project: Our backend process will use port 8000 and the frontend will use port 4200. Setting up the AutoTap web applicationįirst, follow the instructions in INSTALL.md in order to build the docker images for the three components.īefore setting up the server, make sure that these 2 ports are not occupied by other processes: 80. The following instructions will show how to set up a local server and play with AutoTap. There are three components - the database, the backend, and the frontend - that supports this web-application. This repository consists of AutoTap as a web-application. AutoTap tells whether a provided TAP program satisfies the specified properties if not, AutoTap synthesizes TAP programs or program modifications to satisfy the properties. It allows users to specify properties they want in their smart home through an easy click-only interface. The software AutoTap is for novice end-users to create and modify trigger-action programs (TAP) for smart devices at home. No specific knowledge from the reviewers is assumed as our application aims at novice users.
AutoTap: A user-friendly synthesizing/debugging tool for trigger-action programs in smart home How to get the artifact
0 kommentar(er)
