A brief explanation is given of the language ANISE (Architectural Notions In Service Engineering) that can be used to describe generic services as well as telecommunications services. The ANISE approach embodies a feature calculus that can be used to structure and analyse services. A description is given of the Plain Old Telephone Service using ANISE. This is extended for a number of typical features drawn from the Intelligent Network. It is shown how the description of features permits static and dynamic analysis of interactions. A partial semantics is given for ANISE using LOTOS (Language of Temporal Ordering Specification). This allows feature descriptions to be translated into LOTOS and analysed formally. Keywords Feature Calculus, Feature Interaction, Formal Method, Intelligent Network Service, LOTOS (Language of Temporal Ordering Specification), Service Architecture, Service Feature, Telecommunications
Kenneth J. Turner