Formal Engineering Methods, International Conference on (1997)
Nov. 12, 1997 to Nov. 14, 1997
Bruno Mermet , Universite' Henri Poincare'
Dominique Mery , Universite' Henri Poincare'
This paper presents the specification of telecommunication services using B abstract machines, and it defines the feature interaction problem as an interference issue among processes sharing common resources. The work reported here is experimental in nature as we explore the way in which to use the B method to tackle the feature interaction problem in telecommunication services. The B method is a tool for specifying, refining and developing systems in a mathematical and rigorous, but simple, way. Services are specified using the B method and the feature interaction problem is modeled as a violation of invariant properties. The B method is supported by software that helps the specifier of services and features. We have not only modeled services within the B technology, but we have also extended the B methodology with a novel way of combining abstract machines.
B. Mermet and D. Mery, "Incremental Specification of Telecommunication Services," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, 1997, pp. 60.