Nowadays the B/S (Browser/Server) architecture has be- come one of the most popular approaches to implement the web service. Because of the instability of the web environ- ment, keeping the consistency of the data is of essential im- portance. Consequently we turn to formal methods intend- ing to avoid inconsistencies in the B/S architecture. This paper describes a service-oriented system with the B/S ar- chitecture using the CSP (Communicating Sequential Pro- cesses) 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 in- consistency free system, which means the inconsistency can be avoided or fixed.
展开▼
机译：如今，B / S（浏览器/服务器）架构已成为实现Web服务的最流行的方法之一。由于Web环境的不稳定性，保持数据的一致性是必不可少的。因此，我们转向正式方法，旨在避免在B / S架构中不一致。本文介绍了使用CSP（通信顺序序列）方法的B / S AR晶系的面向服务的系统。我们定义系统中的进程和它们的行为。在定义之后，我们分析了不一致的原因，并证明我们所做的正式定义和机制可以实施一致性的自由系统，这意味着可以避免或修复不一致。
展开▼
