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

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.

• Type: Conference
• Year: 2000
• Where: FIW
• Authors: Daniel Amyot, Leïla Charfi, Nicolas Gorse, Tom Gray, Luigi Logrippo, Jacques Sincennes, Bernard Stepien, Tom Ware
• Keywords: Feature Design, Feature Interaction Detection, FIW 2000, FIW 2007, Use Case Maps