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 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)

Exports