The bridge from domain modeling to formal specification in the service creation process

Describes an approach to the generation and validation of specifications of telecommunications services, based on the integration of a domain modeling technique with a formal specification language. this integration is needed to foster advanced intelligent network service creation goals such as economy, timeliness, user validation, reuse, and traceability, and it is needed in particular for the development of integrated software tools. The authors begin by defining a domain modeling technique. AREA (attributes, relations, entities, actions), that addresses the need to describe both behavior and data, and they outline a tool-oriented methodology for generating AREA descriptions. They describe a bridge between AREA and the ISO formal description technique LOTOS, thus providing the basis for an architectural semantics for the application of such a formal description technique to service creation. Required extensions to the ISO standard are identified