Feature Description and Feature Interaction
Analysis with Use Case Maps and LOTOS

D. Amyot, L. Charfi, N. Gorse, L. Logrippo, J. Sincennes, B. Stepien
TSERG/SITE, University of Ottawa
{damyot, lcharfi, ngorse, luigi, jack, bernard}@site.uottawa.ca

T. Gray, T. Ware
Mitel Corp., Ottawa, Canada
{tom_gray, tom_ware}@mitel.com

Abstract

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.