Paper Info
Title
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.
Year
DOI
Venue
2005
10.1007/11415787_27
ZB
Keywords
Field
DocType
web-based application,formal representation,formal modelling,database system,coherent system,different component,web-based system,mission-critical web-based system,formal development,formal model,different area,development process,formal method,e commerce,web based applications,b method,complex data
Web Accessibility Initiative,Web design,Data science,Computer science,Web standards,Web engineering,Formal specification,Web modeling,Web application security,Artificial intelligence,Social Semantic Web,Distributed computing
Conference
Volume
ISSN
ISBN
3455
0302-9743
3-540-25559-1
Citations 
PageRank 
References 
6
0.55
9
Authors
2
Name
Order
Citations
PageRank
Abdolbaghi Rezazadeh1547.78
Michael Butler21768104.74