Topic
Wireless transaction protocol
About: Wireless transaction protocol is a research topic. Over the lifetime, 22 publications have been published within this topic receiving 90 citations.
Papers
24 Jun 2002
TL;DR: The sweep-line method is applied to take advantage of the progress present in the protocol, notably the progression through major states of the protocol entities, and the increasing nature of the retransmission counters.
Abstract: The Wireless Transaction Protocol (WTP) is part of the Wireless Application Protocol (WAP) architecture andp rovides a reliable request-response service The state space methodof Coloured Petri Nets has been usedt o analyse a revised version of WTP, to gain a high level of confidence in the correctness of the design Full state space analysis allows us to prove properties of the protocol for maximum values of the retransmission counters usedin GSM networks (values are 4) However, the size of the state space grows rapidly as the maximum counter values are increased We apply the sweep-line method to take advantage of the progress present in the protocol, notably the progression through major states of the protocol entities, and the increasing nature of the retransmission counters The sweep-line method allows us to prove properties of the protocol for larger counter values, including those used in Internet Protocol (IP) networks (where the maximum values are 8) As a result, verification of WTP can be performed for the two most important networks (GSM and IP), the ones for which the WAP standard gives recommended maximum values for the retransmission counters
35 citations
26 Jun 2000
TL;DR: Coloured Petri nets (CPNs) are used to specify and analyse the Class 2 Wireless Transaction Protocol (WTP) and changes to WTP have been recommended to the WAP ForumSM.
Abstract: Coloured Petri nets (CPNs) are used to specify and analyse the Class 2 Wireless Transaction Protocol (WTP). The protocol provides a reliable request/response service to the Session layer in the Wireless Application Protocol (WAP) architecture. When only a single transaction is considered occurrence graph and language analysis reveals 3 inconsistencies between the protocol and service specification: (1) the initiator user can receive two TR-Invoke.cnf primitives; (2) turning User Acknowledgement on doesn't always provide the User Acknowledgement service; and (3) a transaction can be aborted without the responder user being notified. Based on the modelling and analysis, changes to WTP have been recommended to the WAP ForumSM.
26 citations
TL;DR: Coloured Petri nets are used to model and generate the possible primitive sequences of the request/response Transaction Service, and it is concluded that the service specification lacks an adequate description of what constitutes the end of a transaction.
Abstract: 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.
10 citations
Patent•
6 May 2000
TL;DR: In this paper, the authors propose a data transfer system consisting of many WAP(Wireless Application Protocol) terminals having a CDS(Circuit switch Data Service) protocol layer below a WTP (Wireless Transaction Protocol) and a WDP(Wire Wireless Data Gram Protocol) layer and generating at least WAP data which is service request data, and an IWF(InterWorking Function) unit provided with the CDS protocol layer and the TCP and IP protocol layer.
Abstract: PURPOSE: A data communication apparatus and a method therefor is to efficiently transfer data with low overhead and to effectively utilize the resource of a terminal. CONSTITUTION: A data transfer system comprises: many WAP(Wireless Application Protocol) terminals having a CDS(Circuit switch Data Service) protocol layer below a WTP(Wireless Transaction Protocol) and a WDP(Wireless Data gram Protocol) protocol layer and generating at least WAP data which is service request data; many WAP servers having at least a TCP(Transmission Control Protocol) and an IP(Internet Protocol) protocol layer below the WTP and WDP protocol layer and providing the WAP terminals with WAP server data corresponding to the WAP data, and an IWF(InterWorking Function) unit provided with the CDS protocol layer and the TCP and IP protocol layer and interfacing the WAP terminals with their corresponding WAP servers so as to be mapped.
3 citations
Patent•
15 Jun 2000
TL;DR: In this paper, a communication terminal for adopting wireless application protocol(WAP) is provided to use a terminal to which a WAP structure is adopted by embodying the WAP to a CDMA communication terminal.
Abstract: PURPOSE: A communication terminal for adopting wireless application protocol(WAP) is provided to use a terminal to which a WAP structure is adopted by embodying the WAP to a CDMA communication terminal. CONSTITUTION: An application layer(500) is a most significant communication layer for defining a wireless telephone application(WTA). A wireless session layer protocol(WSP) and wireless transaction protocol(WTP)(510) defines a logical connection located at upper portion of a transmission layer(520) and a data transmission method. The transmission layer(520) is a communication layer for defining a communication method. A link layer(530) is a circuit/packet channel processing layer and a communication layer for being linked to a bearer service. The link layer(530) divides a circuit data and a packet data to transmit.
2 citations
Related Topics (5)
Performance Metrics
| Year | Papers |
|---|---|
| 2017 | 1 |
| 2012 | 1 |
| 2010 | 1 |
| 2009 | 1 |
| 2007 | 1 |
| 2006 | 2 |