Website development for Cloud based verification

• Main Author: Li, Yichang
• Other Authors: Liu Yang
• Format: Final Year Project
• Language: English
• Published: 2016
• Subjects: DRNTU::Engineering::Computer science and engineering
• Online Access: http://hdl.handle.net/10356/66747
• Institution: Nanyang Technological University

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.