Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: With most of formal methods, an initial formal model can be refined in multiple steps, until the final refinement contains enough details for an implementation. Most of the time, this initial model is built from the description obtained by the requirements analysis. Unfortunately, this transition from the requirements phase to the formal specification phase is one of the most painful steps and is still ambiguous. In fact, building this initial model requires a high level of competence and a lot of practice, especially as there is no ll-defined process to assist designers. For that purpose,  propose a goal-based approach in which initial formal models (in Event-B) are built incrementally driven by a goal-oriented requirements engineering (GORE) paradigm.
['Abderrahman Matoussi', 'Frédéric Gervais', 'Régine Laleau']
I am writing a research paper on a idea A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification
[{"from": "human", "value": "I am writing a research paper on a idea A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: With most of formal methods, an initial formal model can be refined in multiple steps, until the final refinement contains enough details for an implementation. Most of the time, this initial model is built from the description obtained by the requirements analysis. Unfortunately, this transition from the requirements phase to the formal specification phase is one of the most painful steps and is still ambiguous. In fact, building this initial model requires a high level of competence and a lot of practice, especially as there is no ll-defined process to assist designers. For that purpose,  propose a goal-based approach in which initial formal models (in Event-B) are built incrementally driven by a goal-oriented requirements engineering (GORE) paradigm."}]