File(s) not publicly available

Modelling the WAP transaction service using coloured petri nets

conference contribution
posted on 05.06.2019, 00:00 by Steven GordonSteven Gordon, J Billington
The Wireless Application Protocol (WAP) is an architecture designed to support the provision of wireless Internet services to mobile users with hand-held devices. The Wireless Transaction Protocol is a layer of WAP that provides a reliable request/response service suited for Web applications. In this paper Coloured Petri nets are used to model and generate the possible primitive sequences of the request/response Transaction Service. From the results we conclude that the service specification lacks an adequate description of what constitutes the end of a transaction. No other deficiencies were found in the Transaction Service.

History

Editor

Leong HV; Lee W-C; Li B; Yin L

Parent Title

Mobile data acces: first international conference, MDA '99: proceedings

Volume

LCNS 1748

Start Page

109

End Page

118

Number of Pages

10

Start Date

16/12/1999

Finish Date

17/12/1999

ISBN-10

3540668780

ISBN-13

9783540668787

Location

Hong Kong, China

Publisher

Springer Verlag

Place of Publication

Berlin

Peer Reviewed

No

Open Access

No

Name of Conference

1st International Conference on Mobile Data Access (MDA 1999)