Conference Paper (published)

Validating Architectural Feature Descriptions using LOTOS

Details

Citation

Turner KJ (1998) Validating Architectural Feature Descriptions using LOTOS. In: Kimbler K & Bouma LG (eds.) Feature Interactions in Telecommunications and Software Systems V. FIW 1998: Feature Interactions in Telecommunications and Software Systems V, Malmo, Sweden, 29.09.1998-01.10.1998. Amsterdam: IOS Press, pp. 247-261. http://books.google.co.uk/books?id=q7BSGKJrWxsC&dq

Abstract
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for translating ANISE descriptions to LOTOS (Language of Temporal Ordering Specification), thus providing a formal basis. It is shown how modular ANISE descriptions of features can be defined and then merged. Potential feature interactions can be identified statically through structural overlaps. A scenario language is introduced to express validation tests for features in a modular fashion, and a number of examples are given. Scenarios are automatically translated to LOTOS and analysed through LOTOS simulation. This allows features to be validated in isolation, and dynamically in combination with other features. The design of the translation and validation tools is discussed, showing typical results when investigating feature descriptions. The paper concludes with a guide to extending the approach for new features.

StatusPublished
Publication date31/12/1998
URLhttp://hdl.handle.net/1893/563
Related URLshttp://dblp2.uni-trier.de/db/conf/fiw/
PublisherIOS Press
Publisher URLhttp://books.google.co.uk/books?id=q7BSGKJrWxsC&dq
Place of publicationAmsterdam
ISBN9051994311
ConferenceFIW 1998: Feature Interactions in Telecommunications and Software Systems V
Conference locationMalmo, Sweden
Dates

People (1)

Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science

Files (1)