Some Guidelines for Formal Development of Web-based Applications in B-Method

Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores of mission-critical Web-based systems in different areas such as banking, finance, e-commerce and government. The development process of these systems needs a sound methodology, which ensures quality, consistency and integrity. Formal Methods provide systematic and quantifiable approaches to create coherent systems. Despite this there has been limited work on the formal modelling of Web-based applications. In this paper our aim is to provide researchers with some guidelines based on results from ongoing work to model a Web-based system using the B-Method. Session and state management, developing formal models for complex data types, abstraction of distributed database systems and formal representation of communication links between different components of a web-based system are the main issues that we have examined

Alatan audit dokumentasi jaminan kualiti IPTA di FSKSM

Audit Documentation Tool for IPTA Quality Assurance System is developed with the purpose to assist the process in documenting the IPTA Quality Assurance at FSKSM. The main problem with current system is that it is difficult to manage the documents and information effectively and systematically. The features of audit documentation had been applied as the guideline and support in preparing documents with a good quality. These features are planning, implementing, reports monitoring, feedback and updating the information. Audit Documentation Tool for IPTA Quality Assurance System is developed by using the audit documentation’s features in order to the documentation process of IPTA Quality Assurance at FSKSM. The system is developed using prototype methodology and Structured System Analysis Development Methodology (SSDAM). In this study, PHP is chosen as the programming language and MySQL as the database management system. It is hoped that this system will benefit the Faculty Committee Member and will assist them in documenting Academic Quality Assurance

Some Guidelines for Formal Development of Web-Based Applications in B-Method

Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores of mission-critical Web-based systems in different areas such as banking, finance, e-commerce and government. The development process of these systems needs a sound methodology, which ensures quality, consistency and integrity. Formal Methods provide systematic and quantifiable approaches to create coherent systems. Despite this there has been limited work on the formal modelling of Web-based applications. In this paper our aim is to provide researchers with some guidelines based on results from ongoing work to model a Web-based system using the B-Method. Session and state management, developing formal models for complex data types, abstraction of distributed database systems and formal representation of communication links between different components of a web-based system are the main issues that we have examined