ComputingComputer ScienceFormal MethodsProgramming LanguagesSemanticsCompositional SemanticsData TypesFeature ConstructionSpecification LanguagesFeature SpecificationStructural Operational SemanticsTransformational Semantics
The concept of feature has emerged in telephone systems analysis as a way of describing optional services to which telephone users may subscribe [1, 3, 5]. Features oered by telephone companies include call-forwarding, automatic-call-back, and voice-mail. Features are not restricted to telephone systems, however. Any part or aspect of a