A library of reusable service specifications
Dusan Jokanovic, M. Ohta · 2002
The authors discuss reusing LOTOS specifications in the framework of an application generator. The generator, which comprises a set of software tools, is intended to support prototyping of new services for intelligent networks. In order to improve the efficiency of service design, a library of specifications is being developed to be a part of a graphical LOTOS editor. The main issues involved are organization, retrieval, and modification of library items. A specification-based approach to retrieving existing LOTOS specifications from the library is presented. A modification mechanism for their reuse is proposed which may extend them with the help of only a standard LOTOS combinator. Both procedures rely on behavioral equivalences defined on a LOTOS specifications semantic model.>