Stepwise refinement of communicating systems
Science of Computer Programming
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Reasoning about Action Systems using the B-Method
Formal Methods in System Design
Program Development by Refinement: Case Studies Using the B Method
Program Development by Refinement: Case Studies Using the B Method
Web Engineering, Software Engineering and Web Application Development
Web Engineering, Software Engineering and Web Application Development
Introducing Dynamic Constraints in B
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Using B refinement to analyse compensating business processes
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
A language-driven approach for the design of interactive applications
Interacting with Computers
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation
Electronic Notes in Theoretical Computer Science (ENTCS)
Rigorous design of fault-tolerant transactions for replicated database systems using event b
Rigorous Development of Complex Fault-Tolerant Systems
Hi-index | 0.00 |
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.