You are here: UCM Web>UCMVirtualLibrary>VirLibFiw00lotos (09 Aug 2006)


A methodology for feature design, specification, and validation is presented. The methodology is based on Use Case Maps for the description of features and on LOTOS with its tools for animation of the features, for feature validation, and for feature interaction detection. It has been developed as a collaborative project between the University of Ottawa and Mitel Corporation, and is being used experimentally to design, specify and validate the features of Mitel's new PBX.


  • 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 Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS
Authors D. Amyot, L. Charfi, N. Gorse, T. Gray, L. Logrippo, J. Sincennes, B. Stepien, and T. Ware
Type Conference
Conference/Journal Title Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW'00)
Publisher IOS Press
Month May
Year 2000
Pages 274-289
Keywords Feature interaction, LOTOS, Scenarios, Use Case Maps
Topic attachments
I Attachment Action Size Date Who Comment
pdfpdf fiw00lotos.pdf manage 169.5 K 21 Oct 2005 - 16:14 Unknown User Paper
pdfpdf fiw00lotospres.pdf manage 142.7 K 21 Oct 2005 - 16:24 Unknown User Presentation
Topic revision: r3 - 09 Aug 2006 - 11:31:08 - Daniel Amyot
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