@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",
}