You are here: UCM Web>UCMVirtualLibrary>VirLibRE99 (15 Nov 2009)


This paper presents how UCMs can be used to describe and validate distributed systems requirements. Telephony features are used as an example. UCMs allow the integration of features and the avoidance of undesirable interactions. Then, LOTOS is used for the validation of the requirements and the detection of some remaining interactions. Validation is done through functional testing.


  • 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 Use Case Maps for the Capture and Validation of Distributed Systems Requirements
Authors D. Amyot, L. Logrippo, R.J.A. Buhr, and T. Gray
Type Conference
Conference/Journal Title Fourth International Symposium on Requirements Engineering (RE'99), Limerick, Ireland
Publisher IEEE CS Press
Month June
Year 1999
Pages 44-53
DOI 10.1109/ISRE.1999.777984
Keywords Feature Interaction, Requirements Engineering, Scenarios, Use Case Maps
Topic attachments
I Attachment Action Size Date Who Comment
pdfpdf fi_ucm98rep.pdf manage 652.3 K 17 Oct 2005 - 23:24 Jameleddine Hassine extracted from this report (a more complete report)
pdfpdf re99.pdf manage 238.0 K 17 Oct 2005 - 23:13 Jameleddine Hassine RE99
psps manage 998.4 K 17 Oct 2005 - 23:16 Jameleddine Hassine RE99
Topic revision: r3 - 15 Nov 2009 - 23:15:53 - 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