Formal methods for mobility standards
- 22 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Precise specification and exacting verification and validation of protocol standards are essential for their successful development and implementation. Currently, several languages (called FDT for formal description techniques) are available to address this issue. FDT have reached various degrees of acceptance, but their use in standard development in North America has been limited. This paper represents an attempt towards divulging the knowledge of what exists and how it can be used effectively based on the methods that were found most useful in our work on mobility protocols. The FDT considered are, in alphabetical order: the Abstract Syntax Notation 1 (ASN 1), the Language of Temporal Ordering Specifications (LOTOS), Message Sequence Charts (MSC), the Specification and Description Language (SDL) and the Tree and Tabular Combined Notation (TTCN). Also considered is a new, emerging non-formal technique, called Use Case Maps (UCM).Keywords
This publication has 8 references indexed in Scilit:
- Use case maps for the capture and validation of distributed systems requirementsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Use case maps as architectural entities for complex systemsIEEE Transactions on Software Engineering, 1998
- Scenarios in system development: current practiceIEEE Software, 1998
- Formal methods after 15 years: Status and trends a paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, october 1995Computer Networks and ISDN Systems, 1996
- SDL basicsComputer Networks and ISDN Systems, 1996
- A framework for evaluating specification methods for reactive systems-experience reportIEEE Transactions on Software Engineering, 1996
- LOTOSphere: Software Development with LOTOSPublished by Springer Nature ,1995
- TTCN: the international notation for specifying tests of communications systemsComputer Networks and ISDN Systems, 1992