Pierre-Alain, EtiqueHubaux, Jean-PierreLogean, Xavier2004-08-312004-08-312004-08-311998https://infoscience.epfl.ch/handle/20.500.14299/223503We propose an object-oriented specification language, FUS , for expressing the functional behaviors and the desired properties of each telecommunications service at the analysis phase. Our approach is based on Fusion, an object-oriented method that consists of analysis, design, and implementation phases for software development. Accompanying FUS is a tool we developed for translating FUS specifications to Promela statementstext::journal::journal article::research article