An inconsistency free formalization of B/S architecture

Qin Li; Huibiao Zhu; Jifeng He

doi:10.1109/SEW.2007.93

An inconsistency free formalization of B/S architecture

Qin Li^*
, Huibiao Zhu
, Jifeng He

^*Corresponding author for this work

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

Abstract

Nowadays the B/S (Browser/Server) architecture has become one of the most popular approaches to implement the web service. Because of the instability of the web environment, keeping the consistency of the data is of essential importance. Consequently we turn to formal methods intending to avoid inconsistencies in the B/S architecture. This paper describes a service-oriented system with the B/S architecture using the CSP (Communicating Sequential Processes) method. We define the processes in the system and the behaviors of them. After the definition, we analyze the causes of inconsistencies and demonstrate that the formal definition and mechanism we made can implement an inconsistency free system, which means the inconsistency can be avoided or fixed.

Original language	English
Title of host publication	31st Annual IEEE Software Engineering Workshop, SEW-31 2007 - Proceedings
Pages	75-85
Number of pages	11
DOIs	https://doi.org/10.1109/SEW.2007.93
State	Published - 2007
Event	31st Annual IEEE Software Engineering Workshop, SEW-31 2007 - Columbia, MD, United States Duration: 6 Mar 2007 → 8 Mar 2007

Publication series

Name	Proceedings - International Conference on Software Engineering
ISSN (Print)	0270-5257

Conference

Conference	31st Annual IEEE Software Engineering Workshop, SEW-31 2007
Country/Territory	United States
City	Columbia, MD
Period	6/03/07 → 8/03/07

Access to Document

10.1109/SEW.2007.93

Cite this

@inproceedings{d749683948ef4de7a6ddaee6fdb09c37,

title = "An inconsistency free formalization of B/S architecture",

abstract = "Nowadays the B/S (Browser/Server) architecture has become one of the most popular approaches to implement the web service. Because of the instability of the web environment, keeping the consistency of the data is of essential importance. Consequently we turn to formal methods intending to avoid inconsistencies in the B/S architecture. This paper describes a service-oriented system with the B/S architecture using the CSP (Communicating Sequential Processes) method. We define the processes in the system and the behaviors of them. After the definition, we analyze the causes of inconsistencies and demonstrate that the formal definition and mechanism we made can implement an inconsistency free system, which means the inconsistency can be avoided or fixed.",

author = "Qin Li and Huibiao Zhu and Jifeng He",

year = "2007",

doi = "10.1109/SEW.2007.93",

language = "英语",

isbn = "0769528627",

series = "Proceedings - International Conference on Software Engineering",

pages = "75--85",

booktitle = "31st Annual IEEE Software Engineering Workshop, SEW-31 2007 - Proceedings",

note = "31st Annual IEEE Software Engineering Workshop, SEW-31 2007 ; Conference date: 06-03-2007 Through 08-03-2007",

}

Li, Q , Zhu, H & He, J 2007, An inconsistency free formalization of B/S architecture. in 31st Annual IEEE Software Engineering Workshop, SEW-31 2007 - Proceedings., 4402767, Proceedings - International Conference on Software Engineering, pp. 75-85, 31st Annual IEEE Software Engineering Workshop, SEW-31 2007, Columbia, MD, United States, 6/03/07. https://doi.org/10.1109/SEW.2007.93

TY - GEN

T1 - An inconsistency free formalization of B/S architecture

AU - Li, Qin

AU - Zhu, Huibiao

AU - He, Jifeng

PY - 2007

Y1 - 2007

N2 - Nowadays the B/S (Browser/Server) architecture has become one of the most popular approaches to implement the web service. Because of the instability of the web environment, keeping the consistency of the data is of essential importance. Consequently we turn to formal methods intending to avoid inconsistencies in the B/S architecture. This paper describes a service-oriented system with the B/S architecture using the CSP (Communicating Sequential Processes) method. We define the processes in the system and the behaviors of them. After the definition, we analyze the causes of inconsistencies and demonstrate that the formal definition and mechanism we made can implement an inconsistency free system, which means the inconsistency can be avoided or fixed.

AB - Nowadays the B/S (Browser/Server) architecture has become one of the most popular approaches to implement the web service. Because of the instability of the web environment, keeping the consistency of the data is of essential importance. Consequently we turn to formal methods intending to avoid inconsistencies in the B/S architecture. This paper describes a service-oriented system with the B/S architecture using the CSP (Communicating Sequential Processes) method. We define the processes in the system and the behaviors of them. After the definition, we analyze the causes of inconsistencies and demonstrate that the formal definition and mechanism we made can implement an inconsistency free system, which means the inconsistency can be avoided or fixed.

UR - https://www.scopus.com/pages/publications/47749102116

U2 - 10.1109/SEW.2007.93

DO - 10.1109/SEW.2007.93

M3 - 会议稿件

AN - SCOPUS:47749102116

SN - 0769528627

SN - 9780769528625

T3 - Proceedings - International Conference on Software Engineering

SP - 75

EP - 85

BT - 31st Annual IEEE Software Engineering Workshop, SEW-31 2007 - Proceedings

T2 - 31st Annual IEEE Software Engineering Workshop, SEW-31 2007

Y2 - 6 March 2007 through 8 March 2007

ER -

An inconsistency free formalization of B/S architecture

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this