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

13 years 10 months ago

Download eprints.ecs.soton.ac.uk

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 diﬀerent areas such as banking, ﬁnance, 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 quantiﬁable 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 diﬀerent components of a web-based system are the main issues that we have...

Abdolbaghi Rezazadeh, Michael J. Butler

Real-time Traffic