Spécification et conception de systèmes communicants:
une approche rigoureuse basée sur des scénarios d'usage

D. Amyot, L. Logrippo, and R.J.A. Buhr

Abstract

This paper illustrates a rigorous approach, based on scenarios (Use Case
Maps), which goes from informal requirements to a formal specification
(in LOTOS) and provides a way to evaluate alternative architectures
and to generate functional test cases. An example is given: a Group
Communication Server.