Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS
Daniel Amyot · 2000
. 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. 1 Introduction A methodology for feature design, specification, and validation, is being developed in a joint project between Mitel Corporation and the University of Ottawa. This methodology uses Use Case Maps (UCMs) [5][7] for the design and documentation of features, and LOTOS [12] for the formal specification of features and for their formal verification, including the detection of undesirable interactions. The UCM notation allows designers to describe scenarios visually. System-wide scenario paths connec...