From Requirements to Formal Specification Using UML and B

Abstract : It is essential to write requirements for every system. They specify what the system is to do, and they are not supposed to say how the system is to achieve those results - that is the responsibility of the design. Requirements must be readable by the different stakeholders. But in addition, they must define exactly and completely the system behaviour. Therefore, they must be consistent. To ensure this last property, the only solution is to use formal methods. But formal notations are recognized as being unreadable and difficult to apply by the customer. We propose a method for the elicitation of requirements and the expression of formal specifications. The approach, expressed in a five-step process, does not introduce a new language but builds on known techniques: the UML semi-formal technique and the B formal technique. It gives methodological support for requirements elicitation and specification development, including the definition of the system tests. The approach is developed on a vending machine case study.
Type de document :
Communication dans un congrès
International Conference on Computer Systems and technologies - CompSysTech'2002, 2002, Sofia, Bulgarie, 6 p, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00100758
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:50:18
Dernière modification le : lundi 21 mai 2018 - 10:18:06

Identifiants

  • HAL Id : inria-00100758, version 1

Collections

Citation

Nicole Lévy, Rafael Marcano Kamenoff, Jeanine Souquières. From Requirements to Formal Specification Using UML and B. International Conference on Computer Systems and technologies - CompSysTech'2002, 2002, Sofia, Bulgarie, 6 p, 2002. 〈inria-00100758〉

Partager

Métriques

Consultations de la notice

146