Validating Architectural Feature Descriptions using LOTOS
Kenneth J. Turner · Stirling Online Research Repository (University of Stirling) · 1998
ABSTRACT. ANISE (Architectural Notions In Service Engineering) can be used to describe a range of telecommunications services, including those from the Intelligent Network. The approach is supported by the ANGEN (ANISE Generator) language for combining features, the ANISE language for defining features, and the ANTEST (ANISE Test) language for defining validation scenarios. It is explained how all three are translated into LOTOS (Language of Temporal Ordering Specification), permitting any number of features to be validated in isolation or in combination. The toolset to permit this and the ANISE feature library are discussed. Typical results are presented from the automated analysis of telecommunications services. RÉSUMÉ. ANISE (Architectural Notions In Service Engineering) est utilisé pour la description d’une gamme variée de services de télécommunication, incluant ceux du Réseau Intelligent. L’approche offre le langage ANGEN (ANISE Generator) pour la combinaison des services, le langage ANISE pour la description des services, et le langage ANTEST (ANISE Test) pour la définition des scénarios de test. L’article explique comment traduire ces trois langages en LOTOS (Language of Temporal Ordering Specification). Ceci permet la validation des services spécifiés, soit individuellement soit combinés les uns aux autres. Les outils impliqués de même que la bibliothèque de services d’ANISE sont décrits. Des résultats typiques provenant de l’analyse automatisée de services de télécommunication sont présentés.