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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Murugesan, S., Desphande, Y. (eds.): Web Engineering. LNCS, vol. 2016, p. 3. Springer, Heidelberg (2001)
Murugesan, S., et al.: Web Engineering: A New Discipline for Development of Web-based Systems. In: Lomas, M. (ed.) Security Protocols 1996. LNCS, vol. 1189. Springer, Heidelberg (1997)
Deshpande, Y., et al.: Web Engineering: Beyond CS, IS and SE. In: Proceedings of the First ICSE Workshop on Web Engineering, Los Angeles, pp. 171–176 (1999)
Abrial, J.R.: The B book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
Sekerinski, E., Sere, K. (eds.): Program Development by Refinement Case Studies Using the B Method. Springer, Heidelberg (1998)
Luigia, P., et al.: A Methodology for Integrating of Formal Methods in a Healthcare Case Study. Technical Report 436 TUCS (2001)
Butler, M., Waldén, M.: Distributed system development in B. In: Proceedings of the 1st Conference on the B Method, Nantes, France, pp. 155–168 (1996)
Abrial, J.-R., Cansell, D.: Click’n’Prove- Interactive Proofs Within Set Theory, Version 23 (2003), http://www.loria.fr/~cansell/cnp.html
(Atelier B Web Page), http://www.atelierb.societe.com/
(B4free Web Page), http://www.b4free.com/
Abrial, J.-R.: Extending B without changing it (for developing Distributed Systems). In: Abrias, H. (ed.) Proceedings of the 1st Conference on the B Method, pp. 169–191 (1996)
Abrial, J.-R., Mussat, L.: Introducing Dynamic Constraints in B. In: Bert, D. (ed.) B 1998. LNCS, vol. 1393, pp. 83–128. Springer, Heidelberg (1998)
Waldén, M., Sere, K.: Reasoning About Action Systems Using the B-Method. Formal Methods in Systems Design 13, 5–35 (1998)
Back, R., Sere, K.: Superposition Refinement of Reactive Systems. Formal Aspects of Computing 8, 324–346 (1996)
Ferreira, C., Butler, M.: Using B Refinement to Analyse Compensating Business Processes. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol. 2651, pp. 477–496. Springer, Heidelberg (2003)
Butler, M.J.: Stepwise Refinement of Communicating Systems. Science of Computer Programming 27, 139–173 (1996)
Rezazadeh, A., Butler, M.: Event-Based Modelling and Refinement of Distributed Monitoring and Control Systems. In: Refinement of Critical Systems (RCS 2003), Turku (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rezazadeh, A., Butler, M. (2005). Some Guidelines for Formal Development of Web-Based Applications in B-Method. In: Treharne, H., King, S., Henson, M., Schneider, S. (eds) ZB 2005: Formal Specification and Development in Z and B. ZB 2005. Lecture Notes in Computer Science, vol 3455. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11415787_27
Download citation
DOI: https://doi.org/10.1007/11415787_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25559-8
Online ISBN: 978-3-540-32007-4
eBook Packages: Computer ScienceComputer Science (R0)