A Formal method communicating sequential processes
(CSP) design for a component-based(client server database) e-commerce application.

---

Clarification of Question by arasan-ga on 25 Jan 2003 04:10 PST

A Formal method communicating sequential processes  
(CSP) design for a component-based(client server database) e-commerce
application.
 
Related documents or papers. 
 
I found similar work modelled in Z specification in the following web sites
but I require the same work in CSP.
 
http://www.ssgrr.it/en/ssgrr2000/papers/024.pdf 
http://citeseer.nj.nec.com/447155.html

---

Clarification of Question by arasan-ga on 26 Jan 2003 13:11 PST

I am facing this project which I need to design a
component-based(client server and database) e-commerce application. I
have to design the three components (client server and database) in
CSP running in parallel.

E.G.

three processes running in parallel (II).

USER = CLIENT II SERVER II DATABASE

---

Clarification of Question by arasan-ga on 27 Jan 2003 07:15 PST

I need some help on Communicating Sequencial Processes(CSP). My
project based on " Component-based architecture design of an
e-commerce system using FORMAL METHOD (Communicating Sequencial
Processes)".

Basically I have to design an e-commerce system using CSP, the main
three components (client, server and database) which I have to
initiate these three components and model the communications between
them. The three components are running parallel so the processes need
to be synchronised.

E.G.

SYSTEM  =     CLIENT    SERVER   DATABASE

The components CLIENT(or browser), SERVER and DATABASE running in
parallel. Also there can be more than 1 client but only one server and
one database.

Can you explain what'll happen if two clients running on different
places are not synchrosied? Is the server allowed to spawn different
process or atleast threads? Do you want to build a e-commerce
application based on this model or you only want to monitor or
simulate or standardise the communication between these components.

Can you explain one last thing please.. what is CSP different from
normal e-commerce application Which consists of mainly these 3
components only:
i)Front end(GUI)
ii)Middle Ware (Business logic layer) or server
iii) Database 
This is how it works in J2EE or similar technologies.
Also communication between different processes are synchronised and
are in parallel(If by parallel you mean "dividing work and running at
same time" [parden me for my layman definition of this term, but i
believe this is somewhat closer to exact definition].
Also, processes in these technologies are synchronised, as they wait
for each other response.

Hope this helps.. Let me know if you have some different notions about
this.

Thanks,
Born2kill

Hi born2kill

First of all thanks for your interest in answering my question.

Secondly Communicating Sequential Processes (CSP) is a formal language
used to describe parallel systems, which created by C. A. R. ("Tony")
Hoare. The primary purpose of CSP is to describe the ways in which
different components interact at the level of communication.  Also CSP
algebra allows us to make formal specifications of systems (and all
their components) and to verify the correctness of a range of
increasingly refined implementations.

Thirdly I only need to design the communication between the e-commerce
components using Formal methods (CSP). Basically the SYSTEM that I
have to design consists of three components (CLIENT SERVER and
DATABASE ) which I have to initiate these three components and model
the communications between them. The three components are running
parallel.
  
E.g. The components CLIENT (or browser), SERVER and DATABASE, running
in parallel in CSP notation (II).

 
SYSTEM  =     CLIENT	II 	SERVER	II	DATABASE 

Now I need to initialise these components and model the processes
between them.

CLIENT   =  ???????????	 

SERVER	 =  ???????????

DATABASE =  ???????????


Note I can not present the CSP notation properly so have a look at the
following websites for more information on CSP.

http://www.afm.sbu.ac.uk/csp/
http://web.comlab.ox.ac.uk/oucl/publications/books/concurrency/
http://citeseer.nj.nec.com/cache/papers/cs/22739/http:zSzzSzwww.ssgrr.itzSzenzSzssgrr2000zSzpaperszSz024.pdf/a-formal-design-framework.pdf

I hope this would help to understand the requirement. It would be
helpful if you have any similar work or paper so that I can use that
as a prototype to design my system.