You are here: UCM Web>UCMVirtualLibrary>VirLiblfm2000 (21 Oct 2005)


Over the last few years, several alternatives for adding mobility to Asynchronous Transfer Mode (ATM) signaling protocols have been presented in the literature. However, most of the current approaches for wireless mobile ATM (Wm ATM?) network development include only text and information flows. As a result of the complexity involved in handling mobility, communication, and handoff procedures for Wm ATM? networks, current approaches can lead to ambiguities, gaps, inconsistencies and undesirable interactions at the later stages of the development process where changes can be costly and provoke backward incompatibility. With these problems in mind, this work proposes a development approach that includes a technique called Use Case Maps (UCMs), and the following formal methods: Language of Temporal Ordering Specifications (Lo TOS?) and Message Sequence Charts (MSCs). UCMs are applied at the requirements capture and analysis stages, followed by Lo TOS? and MSCs at the design stage. Besides providing a better and more precise description of the system at the early stages, our main goal is to combine these techniques and to help solve design problems like the ones mentioned above. As a case study, Wm ATM? network procedures are specified using the proposed approach.


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

Form For Virtual Library edit

Title Applying Use Case Maps and Formal Methods to the Development of Wireless Mobile ATM Networks
Authors R. Andrade
Type Conference
Conference/Journal Title Lfm2000: The Fifth NASA Langley Formal Methods Workshop
Month June
Year 2000
Keywords Causal Scenarios, Use Case Maps, Formal Techniques, Language of Temporal Ordering Specifications,
Message Sequence Charts, Wireless Mobile ATM Networks.
Topic attachments
I Attachment Action Size Date Who Comment
pdfpdf lfm2000.pdf manage 111.7 K 21 Oct 2005 - 16:09 Unknown User Paper
Topic revision: r1 - 21 Oct 2005 - 16:10:08 - Yong He?
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