Wireless Standards such as ANSI-41 and WIN are dynamic in nature, continuously evolving to meet subscriber requirements with ever shorter intervals for standards development. The current timelines at which a new version of the specification is to be completed to the needed level of precision, quality and completeness cannot be accommodated using existing specification techniques. A key assumption is that future standards work must apply techniques that can be automated. The use of formal documentation techniques using commercial tools will shorten the standards development cycle, introduce a formal test methodology, and assist in rapid validation and verification, harmonization, and evolution of ANSI-41/WIN standards. This paper begins with an introduction of certain relevant documentation techniques. The techniques utilized for the creation of ANSI-41 and the Wireless Intelligent Network (WIN) standard are examined and analyzed. This is used to identify opportunities to utilize documentation techniques to enhance ANS1- 41/WIN standards development from an efficacy and timeliness perspective. The requirement to develop global capabilities and services to support third generation wireless networks provides further challenges, necessitating a fundamental change in the specification techniques used in the future.


  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

FormForVirtualLibrary edit

Title Accelerating Wireless Intelligent Network Standards Through Formal Techniques
Authors J. Hodges and J. Visser
Type Conference
Conference/Journal Title IEEE 1999 Vehicular Technology Conference (VTC'99), Houston, Texas, USA
Month -
Year 1999
DOI 10.1109/VETEC.1999.778276
Keywords Formal Techniques, Wireless Intelligent Networks, Use Case Maps, LOTOS, SDL, MSC, TTCN
Topic attachments
I Attachment Action Size Date Who Comment
vtc99.pdfpdf vtc99.pdf manage 42 K 17 Oct 2005 - 22:28 JameleddineHassine vtc99
Topic revision: r3 - 14 Nov 2009, AnisurRahman
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback