Website development for cloud-based verification
The main objectives of this report is to provide a comprehensive idea on the web-based simulator component of the PAT (Process Analysis Toolkit) application. It will explain the primary functions that were tasked to be developed for the existing web application. Currently, the two functionalities t...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Final Year Project (FYP) |
| Language: | English |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10356/69168 |
| _version_ | 1826125351096418304 |
|---|---|
| author | Nur Amira Azmir |
| author2 | School of Computer Engineering |
| author_facet | School of Computer Engineering Nur Amira Azmir |
| author_sort | Nur Amira Azmir |
| collection | NTU |
| description | The main objectives of this report is to provide a comprehensive idea on the web-based simulator component of the PAT (Process Analysis Toolkit) application. It will explain the primary functions that were tasked to be developed for the existing web application.
Currently, the two functionalities that were already built on the Web Application include Check Grammar and Verification. The main focus for this phase of the development is to plan to build a web-based process analysis tool to simulate the state space generation in model checking. This refers to the famous data model checker - PAT. The design of the architecture of the web application is constructed based on the simulator in PAT. How the simulation component is built for desktop application is studied and it adds as a crucial step in eventually mimicking the same idea on the web application.
The simulation component will require the check grammar functionality that was built previously on the web before it displays the graph. It will also allow users to view individual processes of the graphs and provide information on them. Some ideas in this report include using a JavaScript Graph Library as an anchor to output the graphs.
This report will provide the necessary information such as, libraries (Cytoscape.js), web development frameworks used (e.g. MEAN, EdgeJS) to develop the web application. Some visualization is presented to clearly show how these frameworks interact with each other. Eventually, the web-based Simulator will be built to cater the needs of the PAT users and this will then integrate with developed components of Check Grammar and Verification. |
| first_indexed | 2024-10-01T06:34:55Z |
| format | Final Year Project (FYP) |
| id | ntu-10356/69168 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T06:34:55Z |
| publishDate | 2016 |
| record_format | dspace |
| spelling | ntu-10356/691682023-03-03T20:37:15Z Website development for cloud-based verification Nur Amira Azmir School of Computer Engineering Liu Yang DRNTU::Engineering::Computer science and engineering The main objectives of this report is to provide a comprehensive idea on the web-based simulator component of the PAT (Process Analysis Toolkit) application. It will explain the primary functions that were tasked to be developed for the existing web application. Currently, the two functionalities that were already built on the Web Application include Check Grammar and Verification. The main focus for this phase of the development is to plan to build a web-based process analysis tool to simulate the state space generation in model checking. This refers to the famous data model checker - PAT. The design of the architecture of the web application is constructed based on the simulator in PAT. How the simulation component is built for desktop application is studied and it adds as a crucial step in eventually mimicking the same idea on the web application. The simulation component will require the check grammar functionality that was built previously on the web before it displays the graph. It will also allow users to view individual processes of the graphs and provide information on them. Some ideas in this report include using a JavaScript Graph Library as an anchor to output the graphs. This report will provide the necessary information such as, libraries (Cytoscape.js), web development frameworks used (e.g. MEAN, EdgeJS) to develop the web application. Some visualization is presented to clearly show how these frameworks interact with each other. Eventually, the web-based Simulator will be built to cater the needs of the PAT users and this will then integrate with developed components of Check Grammar and Verification. Bachelor of Engineering (Computer Science) 2016-11-14T03:10:51Z 2016-11-14T03:10:51Z 2016 Final Year Project (FYP) http://hdl.handle.net/10356/69168 en Nanyang Technological University 40 p. application/pdf |
| spellingShingle | DRNTU::Engineering::Computer science and engineering Nur Amira Azmir Website development for cloud-based verification |
| title | Website development for cloud-based verification |
| title_full | Website development for cloud-based verification |
| title_fullStr | Website development for cloud-based verification |
| title_full_unstemmed | Website development for cloud-based verification |
| title_short | Website development for cloud-based verification |
| title_sort | website development for cloud based verification |
| topic | DRNTU::Engineering::Computer science and engineering |
| url | http://hdl.handle.net/10356/69168 |
| work_keys_str_mv | AT nuramiraazmir websitedevelopmentforcloudbasedverification |