Abstract

L'obtention d'une spécification à partir d'exigences informelles peut s'avérer une tâche fastidieuse et parsemée d'embûches si une approche méthodique ou rigoureuse n'est pas employée. Un nombre croissant de concepteurs s'intéressent aux approches basées sur les scénarios, ce qui leur permet de se concentrer sur les principaux aspects fonctionnels du système à spécifier. Nous démontrons comment une approche basée sur les scénarios d'usage peut mener à une spécification formelle tout en procurant des avantages indéniables tels que la documentation de la conception, l'évaluation d'architectures alternatives et la génération de tests fonctionnels. Nous présentons cette approche à l'aide d'un exemple : un serveur de communication pour groupes.

Deriving a specification from informal requirements can be a tedious and dangerous task unless a methodical or rigorous approach is used. An increasing number of designers are interested in scenario-driven approaches that allow them to focus on the main functional aspects of the system to be specified. We show how our approach, based on use cases (scenarios), leads to a formal specification and provides a way to evaluate alternative architectures and to generate functional test cases. We present it using an example : a Group Communication Server.

HTML version of paper available at http://www.csi.uottawa.ca/~damyot/phd/cfip97/cfip97.html

-- GunterMussbacher - 13 Oct 2005

Discussion

  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

FormForVirtualLibrary edit

Title Spécification et conception de systèmes communicants : une approche rigoureuse basée sur des scénarios d'usage
Authors D. Amyot, L. Logrippo, and R.J.A. Buhr
Type Conference
Conference/Journal Title Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'97)
Volume/Number
Editors
Publisher Hermès
Month October
Year 1997
Pages 159-174
Keywords Scénarios, Use Case Maps, ingénierie des exigences, architecture, spécifications formelles, LOTOS, conception, tests, Scenarios, Requirements Engineering, Formal Specifications, Design, Testing
Topic attachments
I Attachment Action Size Date Who Comment
cfip97.pdfpdf cfip97.pdf manage 191 K 12 Oct 2005 - 22:07 GunterMussbacher CFIP97 paper, in French
Topic revision: r2 - 09 Aug 2006, DanielAmyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback