Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/66747
Title: Website development for Cloud based verification
Authors: Li, Yichang
Keywords: DRNTU::Engineering::Computer science and engineering
Issue Date: 2016
Abstract: Process Analysis Toolkit (PAT) is a self-contained framework to support composing, simulating and reasoning of concurrent, real-time systems and other possible domains. As web applications have become the primary means to allow ubiquitous access to backend systems via a web browser. With the hope to transform PAT into a web service hence users around the world can take the advantage of Internet to work on PAT easily and economically, Asst. Prof. Liu Yang proposed this project. In this project, I conducted the development of web-based PAT with MEAN stack. Firstly, I developed the web interface which includes an editor to allow users to input their system models. Then I built a web server and deployed the PAT framework into Node.js server to provide grammar checking and model verification services. Finally, I designed and implemented RESTful APIs for the communication between web server and the interface. My primary focus in this project was to implement the functions related to check grammar and model verification. However, future growth, especially extensibility was considered during the whole process of this project. To add new functionality in this web-based PAT, a developer only needs to add new endpoints and configure the API routing. Though in the current project, I used MongoDB to store user information for authentication purpose, it can be easily replaced by another user database. In this report, I will present the complement architecture and technical details of the web-based PAT. The content covers from project management, requirement analysis, system design to implementation.
URI: http://hdl.handle.net/10356/66747
Rights: Nanyang Technological University
Fulltext Permission: restricted
Fulltext Availability: With Fulltext
Appears in Collections:SCSE Student Reports (FYP/IA/PA/PI)

Files in This Item:
File Description SizeFormat 
FYP_Li_Yichang.pdf
  Restricted Access
1.17 MBAdobe PDFView/Open

Google ScholarTM

Check

Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.