会议专题

Automata Models for Services with Unboundedly Many Clients

We consider the problem of modelling client-server systems with one server and unbounded number of clients. Such systems are abundantly found in the realm of Web Services. We take into account two types of client-server interaction patterns: passive, where client sends a request of a particular type of service and waits for a response (positive or negative) and active, where client interacts nontrivially with the server between a send-request and receive-response. The models are automata based and are explained with an example each.

web services client-server systems automata models

S. Sheerazuddin

The Institute of Mathematical Sciences CIT Campus, Chennai 600113, India

国际会议

2010 International Conference on Software and Computing Technology(2010年软件与计算机技术国际会议 ICSCT 2010)

昆明

英文

416-420

2010-10-17(万方平台首次上网日期,不代表论文的发表时间)