Abstract | ||
---|---|---|
The transition from a requirements document to a formal specification in Event-B is usually manual and ad-hoc. In order to bridge this gap, we propose a method based on Behavior-Driven Development, an agile approach, and that uses a structured natural language conformant to the formalism of the Semantics of Business Vocabulary and Business Rules (SBVR) standard. This method will successively refine a list of high-level business goals into an Event-B model using transformations. In this paper we present our research idea, describing the steps of this method and showing an example based on the Train System scenario described by Abrial. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1109/FormaliSE.2017..5 | FormaliSE@ICSE |
Keywords | Field | DocType |
formal methods, requirements, method, Event-B, BDD, SBVR | Semantics of Business Vocabulary and Business Rules,Programming language,Business goals,Computer science,Agile approach,Formal specification,Natural language,Formal methods,Formalism (philosophy),Vocabulary | Conference |
ISSN | Citations | PageRank |
2380-873X | 1 | 0.37 |
References | Authors | |
6 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fábio Levy Siqueira | 1 | 22 | 5.64 |
Thiago C. Sousa | 2 | 7 | 1.13 |
Paulo Sérgio Muniz Silva | 3 | 23 | 5.24 |