Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTurner, Kenneth J-
dc.contributor.editorKimbler, Kristofer-
dc.contributor.editorBouma, L G-
dc.description.abstractThe 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.en_UK
dc.publisherIOS Press-
dc.relationTurner KJ (1998) Validating Architectural Feature Descriptions using LOTOS In: Kimbler Kristofer, Bouma L G (ed.) Feature Interactions in Telecommunications and Software Systems V, Amsterdam: IOS Press. FIW 1998: Feature Interactions in Telecommunications and Software Systems V, 29.9.1998 - 1.10.1998, Malmo, Sweden, pp. 247-261.-
dc.rightsPublished by IOS Press, copyright 1998.-
dc.titleValidating Architectural Feature Descriptions using LOTOSen_UK
dc.typeConference Paperen_UK
dc.type.statusPost-print (author final draft post-refereeing)-
dc.citation.btitleFeature Interactions in Telecommunications and Software Systems V-
dc.citation.conferencelocationMalmo, Sweden-
dc.citation.conferencenameFIW 1998: Feature Interactions in Telecommunications and Software Systems V-
dc.contributor.affiliationComputing Science - CSM Dept-
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings

Files in This Item:
File Description SizeFormat 
val-feat.pdf137.92 kBAdobe PDFView/Open

This item is protected by original copyright

Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.